public class EdgeAnimation
extends java.lang.Object
Constructor and Description |
---|
EdgeAnimation(org.processmining.models.graphbased.directed.AbstractDirectedGraphEdge<?,?> edge,
AnimationCurve curve) |
Modifier and Type | Method and Description |
---|---|
void |
addTokenAnimation(TokenAnimation anim) |
void |
finalizeData() |
AnimationCurve |
getCurve() |
org.processmining.models.graphbased.directed.AbstractDirectedGraphEdge<?,?> |
getEdge() |
EdgeAnimationKeyframe |
getKeyframe(long time) |
protected int |
getKeyframeIndexAtTimeInserting(long time) |
int |
getTraverseCount() |
protected void |
insertKeyframeAtPosition(int position,
long time) |
public EdgeAnimation(org.processmining.models.graphbased.directed.AbstractDirectedGraphEdge<?,?> edge, AnimationCurve curve)
public org.processmining.models.graphbased.directed.AbstractDirectedGraphEdge<?,?> getEdge()
public AnimationCurve getCurve()
public EdgeAnimationKeyframe getKeyframe(long time)
public void finalizeData()
public int getTraverseCount()
public void addTokenAnimation(TokenAnimation anim)
protected int getKeyframeIndexAtTimeInserting(long time)
protected void insertKeyframeAtPosition(int position, long time)