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


Field Summary
static int ADDTOKEN
           
static int ANIMATE
           
static int ANNOTATION
           
static java.lang.String ANNOTATION_DEFAULT_FONT
           
static int ANNOTATION_DEFAULT_FONT_SIZE
           
static int ANNOTATION_LAYER_OFFSET
           
static int ANNOTATION_MIN_WIDTH
           
static int ANNOTATION_SIZE_OFFSET
           
static int ARC
           
static int ARC_CONTROL_POINT_CONSTANT
           
static int ARC_LAYER_OFFSET
           
static int ARC_PATH_PROXIMITY_WIDTH
           
static int ARC_PATH_SELECTION_WIDTH
           
static int ARC_POINT_LAYER_OFFSET
           
static int CREATING
           
static int DEFAULT_ELEMENT_TYPE
           
static int DELETE
           
static int DELTOKEN
           
static int DRAW
           
static java.awt.Color ELEMENT_FILL_COLOUR
           
static java.awt.Color ELEMENT_LINE_COLOUR
           
static java.awt.Color ENABLED_TRANSITION_COLOUR
           
static int FIRE
           
static int GRID
           
static int IMMTRANS
           
static int LOWEST_LAYER_OFFSET
           
static java.awt.Color NOTE_DISABLED_COLOUR
           
static java.awt.Color NOTE_EDITING_COLOUR
           
static int PLACE
           
static int PLACE_TRANSITION_HEIGHT
           
static int PLACE_TRANSITION_LAYER_OFFSET
           
static int PLACE_TRANSITION_PROXIMITY_RADIUS
           
static java.lang.String PROPERTY_FILE_DESC
           
static java.lang.String PROPERTY_FILE_EXTENSION
           
static int RANDOM
           
static int RESERVED_BORDER
           
static java.awt.Color RESIZE_POINT_DOWN_COLOUR
           
static int SELECT
           
static java.awt.Color SELECTION_FILL_COLOUR
           
static int SELECTION_LAYER_OFFSET
           
static java.awt.Color SELECTION_LINE_COLOUR
           
static int START
           
static int STEPBACKWARD
           
static int STEPFORWARD
           
static int STOP
           
static int TIMEDTRANS
           
 

Field Detail

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