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