Class ExternalSettingsManager


  • public class ExternalSettingsManager
    extends java.lang.Object
    Keeps track of the external settings of the animation. Thread-safe.
    Author:
    sleemans
    • Constructor Detail

      • ExternalSettingsManager

        public ExternalSettingsManager()
    • Method Detail

      • 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)
      • setTrace2Colour

        public int setTrace2Colour​(TraceColourMap trace2colour)
      • setTimeScale

        public int setTimeScale​(double timeScale)