com.inubit.research.server.merger.animator

Class VersionChangeFinished

java.lang.Object

com.inubit.research.server.merger.animator.AnimationSequence

com.inubit.research.server.merger.animator.VersionChangeFinished

All Implemented Interfaces:

java.lang.Runnable

public class VersionChangeFinished
extends AnimationSequence

Field Summary

Fields inherited from class com.inubit.research.server.merger.animator.AnimationSequence

DEFAULT_ANIMATION_TIME, DEFAULT_DELAY

Constructor Summary

Constructors

Constructor and Description
VersionChangeFinished(ProcessEditor editor, ProcessModelMerger merger, VersionTreeManager versionTreeManager, ModelVersionDescription oldVersion, ModelVersionDescription newVersion)

Method Summary

Modifier and Type	Method and Description
void	run()

Methods inherited from class com.inubit.research.server.merger.animator.AnimationSequence

getAnimationTime, getDelay, getEditor, getLocalAnimationQueue, setAnimationTime, setDelay, setEditor

Methods inherited from class java.lang.Object

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

Constructor Detail

VersionChangeFinished

public VersionChangeFinished(ProcessEditor editor,
                             ProcessModelMerger merger,
                             VersionTreeManager versionTreeManager,
                             ModelVersionDescription oldVersion,
                             ModelVersionDescription newVersion)

Method Detail

run

public void run()