pipe.gui
Interface Constants
- All Known Implementing Classes:
- Animator, Arc, ArcPath, ArcPathPoint, CreateGui, DataLayer, Grid, GuiFrame, GuiView, ModuleLoader, ModuleManager, PetriNetObject, PetriNetObjectHandler, SelectionObject, StatusBar, Transition
- public interface Constants
PROPERTY_FILE_EXTENSION
public static final java.lang.String PROPERTY_FILE_EXTENSION
- See Also:
- Constant Field Values
PROPERTY_FILE_DESC
public static final java.lang.String PROPERTY_FILE_DESC
- See Also:
- Constant Field Values
ANIMATE
public static final int ANIMATE
- See Also:
- Constant Field Values
RANDOM
public static final int RANDOM
- See Also:
- Constant Field Values
START
public static final int START
- See Also:
- Constant Field Values
FIRE
public static final int FIRE
- See Also:
- Constant Field Values
STEPFORWARD
public static final int STEPFORWARD
- See Also:
- Constant Field Values
STEPBACKWARD
public static final int STEPBACKWARD
- See Also:
- Constant Field Values
STOP
public static final int STOP
- See Also:
- Constant Field Values
PLACE
public static final int PLACE
- See Also:
- Constant Field Values
IMMTRANS
public static final int IMMTRANS
- See Also:
- Constant Field Values
TIMEDTRANS
public static final int TIMEDTRANS
- See Also:
- Constant Field Values
ADDTOKEN
public static final int ADDTOKEN
- See Also:
- Constant Field Values
DELTOKEN
public static final int DELTOKEN
- See Also:
- Constant Field Values
ANNOTATION
public static final int ANNOTATION
- See Also:
- Constant Field Values
SELECT
public static final int SELECT
- See Also:
- Constant Field Values
DELETE
public static final int DELETE
- See Also:
- Constant Field Values
ARC
public static final int ARC
- See Also:
- Constant Field Values
GRID
public static final int GRID
- See Also:
- Constant Field Values
DRAW
public static final int DRAW
- See Also:
- Constant Field Values
CREATING
public static final int CREATING
- See Also:
- Constant Field Values
DEFAULT_ELEMENT_TYPE
public static final int DEFAULT_ELEMENT_TYPE
- See Also:
- Constant Field Values
PLACE_TRANSITION_HEIGHT
public static final int PLACE_TRANSITION_HEIGHT
- See Also:
- Constant Field Values
ENABLED_TRANSITION_COLOUR
public static final java.awt.Color ENABLED_TRANSITION_COLOUR
ELEMENT_LINE_COLOUR
public static final java.awt.Color ELEMENT_LINE_COLOUR
ELEMENT_FILL_COLOUR
public static final java.awt.Color ELEMENT_FILL_COLOUR
SELECTION_LINE_COLOUR
public static final java.awt.Color SELECTION_LINE_COLOUR
SELECTION_FILL_COLOUR
public static final java.awt.Color SELECTION_FILL_COLOUR
ARC_CONTROL_POINT_CONSTANT
public static final int ARC_CONTROL_POINT_CONSTANT
- See Also:
- Constant Field Values
ARC_PATH_SELECTION_WIDTH
public static final int ARC_PATH_SELECTION_WIDTH
- See Also:
- Constant Field Values
ARC_PATH_PROXIMITY_WIDTH
public static final int ARC_PATH_PROXIMITY_WIDTH
- See Also:
- Constant Field Values
PLACE_TRANSITION_PROXIMITY_RADIUS
public static final int PLACE_TRANSITION_PROXIMITY_RADIUS
- See Also:
- Constant Field Values
ARC_POINT_LAYER_OFFSET
public static final int ARC_POINT_LAYER_OFFSET
- See Also:
- Constant Field Values
ARC_LAYER_OFFSET
public static final int ARC_LAYER_OFFSET
- See Also:
- Constant Field Values
PLACE_TRANSITION_LAYER_OFFSET
public static final int PLACE_TRANSITION_LAYER_OFFSET
- See Also:
- Constant Field Values
ANNOTATION_LAYER_OFFSET
public static final int ANNOTATION_LAYER_OFFSET
- See Also:
- Constant Field Values
SELECTION_LAYER_OFFSET
public static final int SELECTION_LAYER_OFFSET
- See Also:
- Constant Field Values
LOWEST_LAYER_OFFSET
public static final int LOWEST_LAYER_OFFSET
- See Also:
- Constant Field Values
RESERVED_BORDER
public static final int RESERVED_BORDER
- See Also:
- Constant Field Values
ANNOTATION_SIZE_OFFSET
public static final int ANNOTATION_SIZE_OFFSET
- See Also:
- Constant Field Values
ANNOTATION_MIN_WIDTH
public static final int ANNOTATION_MIN_WIDTH
- See Also:
- Constant Field Values
NOTE_DISABLED_COLOUR
public static final java.awt.Color NOTE_DISABLED_COLOUR
NOTE_EDITING_COLOUR
public static final java.awt.Color NOTE_EDITING_COLOUR
RESIZE_POINT_DOWN_COLOUR
public static final java.awt.Color RESIZE_POINT_DOWN_COLOUR
ANNOTATION_DEFAULT_FONT
public static final java.lang.String ANNOTATION_DEFAULT_FONT
- See Also:
- Constant Field Values
ANNOTATION_DEFAULT_FONT_SIZE
public static final int ANNOTATION_DEFAULT_FONT_SIZE
- See Also:
- Constant Field Values