Class ExternalSettingsManager
- java.lang.Object
-
- org.processmining.plugins.inductiveVisualMiner.animation.renderingthread.ExternalSettingsManager
-
public class ExternalSettingsManager extends java.lang.ObjectKeeps track of the external settings of the animation. Thread-safe.- Author:
- sleemans
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description classExternalSettingsManager.ExternalSettings
-
Constructor Summary
Constructors Constructor Description ExternalSettingsManager()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ExternalSettingsManager.ExternalSettingsgetExternalSettings()booleanisMostRecentSetting(int settingsId)intsetFilteredLog(IvMLogFilteredImpl ivMLogFiltered)intsetImageTransformation(java.awt.geom.AffineTransform image2user)intsetSize(int width, int height)intsetTimeScale(double timeScale)intsetTokens(GraphVizTokens animationGraphVizTokens)intsetTrace2Colour(TraceColourMap trace2colour)
-
-
-
Method Detail
-
getExternalSettings
public ExternalSettingsManager.ExternalSettings getExternalSettings()
-
isMostRecentSetting
public boolean isMostRecentSetting(int settingsId)
-
setImageTransformation
public int setImageTransformation(java.awt.geom.AffineTransform image2user)
-
setSize
public int setSize(int width, int height)
-
setTokens
public int setTokens(GraphVizTokens animationGraphVizTokens)
-
setFilteredLog
public int setFilteredLog(IvMLogFilteredImpl ivMLogFiltered)
-
setTrace2Colour
public int setTrace2Colour(TraceColourMap trace2colour)
-
setTimeScale
public int setTimeScale(double timeScale)
-
-