public class DotToken2GraphVizToken
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.util.regex.Pattern |
pattern |
Constructor and Description |
---|
DotToken2GraphVizToken() |
Modifier and Type | Method and 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) |
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
java.awt.geom.NoninvertibleTransformException
com.kitfox.svg.SVGException
public static void convertToken(DotToken token, GraphVizTokens result, com.kitfox.svg.SVGDiagram svg, int traceIndex) throws java.awt.geom.NoninvertibleTransformException, com.kitfox.svg.SVGException
java.awt.geom.NoninvertibleTransformException
com.kitfox.svg.SVGException
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
dotToken
- stepIndex
- result
- svg
- java.awt.geom.NoninvertibleTransformException
com.kitfox.svg.SVGException
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
dotToken
- stepIndex
- fadeIn
- fadeOut
- result
- image
- java.awt.geom.NoninvertibleTransformException
com.kitfox.svg.SVGException
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
java.awt.geom.NoninvertibleTransformException
com.kitfox.svg.SVGException
public static java.awt.geom.AffineTransform getTotalTransform(com.kitfox.svg.SVGDiagram image, org.processmining.plugins.graphviz.dot.DotEdge edge)
public static java.lang.String getSourceLocation(LocalDotEdge edge, com.kitfox.svg.SVGDiagram image)
public static java.lang.String getFirstLocation(java.lang.String path)
public static java.lang.String getLastLocation(java.lang.String path)
public static java.lang.String getCenter(LocalDotNode node, com.kitfox.svg.SVGDiagram image) throws com.kitfox.svg.SVGException
com.kitfox.svg.SVGException
public static java.lang.String reversePath(java.lang.String path)
path
- public static java.lang.String getArrowHeadPoint(LocalDotEdge edge, com.kitfox.svg.SVGDiagram image)