public class MarkingSetter extends AnimationSequence
Modifier and Type | Field and Description |
---|---|
static int |
ANIMATION_TIME |
static int |
DELAY |
DEFAULT_ANIMATION_TIME, DEFAULT_DELAY
Constructor and Description |
---|
MarkingSetter(ProcessEditor editor) |
Modifier and Type | Method and Description |
---|---|
void |
run() |
void |
setMergeMarkings(ProcessModelMerger merger) |
getAnimationTime, getDelay, getEditor, getLocalAnimationQueue, setAnimationTime, setDelay, setEditor
public MarkingSetter(ProcessEditor editor)
public void setMergeMarkings(ProcessModelMerger merger)
public void run()