Class HighlightDescriptor

java.lang.Object
com.amalgamasimulation.graphicaleditor.HighlightDescriptor

public class HighlightDescriptor extends Object
  • Constructor Details

    • HighlightDescriptor

      public HighlightDescriptor()
  • Method Details

    • addHighlightedPath

      public <N, A> HighlightDescriptor addHighlightedPath(Pair<List<N>,List<A>> path, javafx.scene.paint.Color color)
    • addHighlightedObject

      public HighlightDescriptor addHighlightedObject(Object object, javafx.scene.paint.Color color)
    • getHighlightedObjects

      public List<Object> getHighlightedObjects()
    • getHighlightedColors

      public Map<Object,javafx.scene.paint.Color> getHighlightedColors()
    • getHighlightedColor

      public javafx.scene.paint.Color getHighlightedColor(Object object)
    • setNavigate

      public void setNavigate(boolean navigate)
    • isNavigate

      public boolean isNavigate()
    • isZoom

      public boolean isZoom()
    • setZoom

      public void setZoom(boolean zoom)