Package org.processmining.plugins.inductiveVisualMiner.animation

Class DotToken2GraphVizToken

java.lang.Object

org.processmining.plugins.inductiveVisualMiner.animation.DotToken2GraphVizToken

public class DotToken2GraphVizToken
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field	Description
static java.util.regex.Pattern	pattern

Constructor Summary

Constructors

Constructor	Description
DotToken2GraphVizToken()

Method Summary

Modifier and Type	Method	Description
static void	animateDotTokenStep(DotToken dotToken, int stepIndex, boolean fadeIn, boolean fadeOut, GraphVizTokens result, com.kitfox.svg.SVGDiagram svg, int traceIndex)	Record the animation of one dot token step
static void	animateDotTokenStepEdge(DotToken dotToken, int stepIndex, boolean fadeIn, boolean fadeOut, GraphVizTokens result, com.kitfox.svg.SVGDiagram image, int traceIndex)	Animate a token over one edge
static void	animateDotTokenStepNode(DotToken dotToken, int stepIndex, boolean fadeIn, boolean fadeOut, GraphVizTokens result, com.kitfox.svg.SVGDiagram image, int traceIndex)
static void	convertToken(DotToken token, GraphVizTokens result, com.kitfox.svg.SVGDiagram svg, int traceIndex)
static void	convertTokens(java.lang.Iterable<DotToken> tokens, GraphVizTokens result, com.kitfox.svg.SVGDiagram svg, int traceIndex)
static java.lang.String	getArrowHeadPoint(LocalDotEdge edge, com.kitfox.svg.SVGDiagram image)
static java.lang.String	getCenter(LocalDotNode node, com.kitfox.svg.SVGDiagram image)
static java.lang.String	getFirstLocation(java.lang.String path)
static java.lang.String	getLastLocation(java.lang.String path)
static java.lang.String	getSourceLocation(LocalDotEdge edge, com.kitfox.svg.SVGDiagram image)
static java.awt.geom.AffineTransform	getTotalTransform(com.kitfox.svg.SVGDiagram image, org.processmining.plugins.graphviz.dot.DotEdge edge)
static java.lang.String	reversePath(java.lang.String path)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

pattern

public static final java.util.regex.Pattern pattern

Constructor Detail

DotToken2GraphVizToken

public DotToken2GraphVizToken()

Method Detail

convertTokens

public static void convertTokens(java.lang.Iterable<DotToken> tokens,
                                 GraphVizTokens result,
                                 com.kitfox.svg.SVGDiagram svg,
                                 int traceIndex)
                          throws java.awt.geom.NoninvertibleTransformException,
                                 com.kitfox.svg.SVGException

Throws:

java.awt.geom.NoninvertibleTransformException

com.kitfox.svg.SVGException

convertToken

public static void convertToken(DotToken token,
                                GraphVizTokens result,
                                com.kitfox.svg.SVGDiagram svg,
                                int traceIndex)
                         throws java.awt.geom.NoninvertibleTransformException,
                                com.kitfox.svg.SVGException

Throws:

java.awt.geom.NoninvertibleTransformException

com.kitfox.svg.SVGException

animateDotTokenStep

public static void animateDotTokenStep(DotToken dotToken,
                                       int stepIndex,
                                       boolean fadeIn,
                                       boolean fadeOut,
                                       GraphVizTokens result,
                                       com.kitfox.svg.SVGDiagram svg,
                                       int traceIndex)
                                throws java.awt.geom.NoninvertibleTransformException,
                                       com.kitfox.svg.SVGException

Record the animation of one dot token step

Parameters:

dotToken -

stepIndex -

result -

svg -

Throws:

java.awt.geom.NoninvertibleTransformException

com.kitfox.svg.SVGException

animateDotTokenStepEdge

public static void animateDotTokenStepEdge(DotToken dotToken,
                                           int stepIndex,
                                           boolean fadeIn,
                                           boolean fadeOut,
                                           GraphVizTokens result,
                                           com.kitfox.svg.SVGDiagram image,
                                           int traceIndex)
                                    throws java.awt.geom.NoninvertibleTransformException,
                                           com.kitfox.svg.SVGException

Animate a token over one edge

Parameters:

dotToken -

stepIndex -

fadeIn -

fadeOut -

result -

image -

Throws:

java.awt.geom.NoninvertibleTransformException

com.kitfox.svg.SVGException

animateDotTokenStepNode

public static void animateDotTokenStepNode(DotToken dotToken,
                                           int stepIndex,
                                           boolean fadeIn,
                                           boolean fadeOut,
                                           GraphVizTokens result,
                                           com.kitfox.svg.SVGDiagram image,
                                           int traceIndex)
                                    throws java.awt.geom.NoninvertibleTransformException,
                                           com.kitfox.svg.SVGException

Throws:

java.awt.geom.NoninvertibleTransformException

com.kitfox.svg.SVGException

getTotalTransform

public static java.awt.geom.AffineTransform getTotalTransform(com.kitfox.svg.SVGDiagram image,
                                                              org.processmining.plugins.graphviz.dot.DotEdge edge)

getSourceLocation

public static java.lang.String getSourceLocation(LocalDotEdge edge,
                                                 com.kitfox.svg.SVGDiagram image)

getFirstLocation

public static java.lang.String getFirstLocation(java.lang.String path)

getLastLocation

public static java.lang.String getLastLocation(java.lang.String path)

getCenter

public static java.lang.String getCenter(LocalDotNode node,
                                         com.kitfox.svg.SVGDiagram image)
                                  throws com.kitfox.svg.SVGException

Throws:

com.kitfox.svg.SVGException

reversePath

public static java.lang.String reversePath(java.lang.String path)

Parameters:

path -

Returns:

The reversed path, assuming the original path consists of one move/line followed by one or more cubic bezier curves.

getArrowHeadPoint

public static java.lang.String getArrowHeadPoint(LocalDotEdge edge,
                                                 com.kitfox.svg.SVGDiagram image)