Constant Field Values


Contents
pipe.dataLayer.*

pipe.dataLayer.AnnotationNote.ResizePoint
public static final int BOTTOM 2
public static final int LEFT 4
public static final int RIGHT 8
public static final int SIZE 4
public static final int TOP 1

pipe.dataLayer.Arc
public static final java.lang.String type "Arc"

pipe.dataLayer.ArcPathPoint
public static final boolean CURVED true
public final int DELTA 10
public static final int SIZE 4
public static final int SIZE_OFFSET 4
public static final boolean STRAIGHT false

pipe.dataLayer.PetriNetObject
protected static final int COMPONENT_DRAW_OFFSET 5

pipe.dataLayer.Place
public static final int DIAMETER 30
public static final java.lang.String type "Place"

pipe.dataLayer.Token
public static final int DIAMETER 5

pipe.dataLayer.Transition
public static final int TRANSITION_HEIGHT 30
public static final int TRANSITION_WIDTH 10
public static final java.lang.String type "Transition"

pipe.gui.*

pipe.gui.Constants
public static final int ADDTOKEN 107
public static final int ANIMATE 98
public static final int ANNOTATION 109
public static final java.lang.String ANNOTATION_DEFAULT_FONT "Helvetica"
public static final int ANNOTATION_DEFAULT_FONT_SIZE 12
public static final int ANNOTATION_LAYER_OFFSET 10
public static final int ANNOTATION_MIN_WIDTH 40
public static final int ANNOTATION_SIZE_OFFSET 4
public static final int ARC 112
public static final int ARC_CONTROL_POINT_CONSTANT 3
public static final int ARC_LAYER_OFFSET 20
public static final int ARC_PATH_PROXIMITY_WIDTH 10
public static final int ARC_PATH_SELECTION_WIDTH 6
public static final int ARC_POINT_LAYER_OFFSET 50
public static final java.lang.String CLASS_FILE_DESC "Java Class File"
public static final java.lang.String CLASS_FILE_EXTENSION ".class"
public static final int CREATING 200
public static final int DEFAULT_ELEMENT_TYPE 110
public static final int DELETE 111
public static final int DELTOKEN 108
public static final int DRAG 116
public static final int DRAW 115
public static final int FIRE 101
public static final int GRID 113
public static final int IMMTRANS 106
public static final int LOWEST_LAYER_OFFSET 0
public static final int PLACE 105
public static final int PLACE_TRANSITION_HEIGHT 30
public static final int PLACE_TRANSITION_LAYER_OFFSET 30
public static final int PLACE_TRANSITION_PROXIMITY_RADIUS 25
public static final java.lang.String PROPERTY_FILE_DESC "PIPE Properties file"
public static final java.lang.String PROPERTY_FILE_EXTENSION ".properties"
public static final int RANDOM 99
public static final int RESERVED_BORDER 12
public static final int SELECT 110
public static final int SELECTION_LAYER_OFFSET 90
public static final int START 100
public static final int STEPBACKWARD 103
public static final int STEPFORWARD 102
public static final int STOP 104
public static final int TIMEDTRANS 114

pipe.gui.Export
public static final int PNG 1
public static final int POSTSCRIPT 2
public static final int PRINTER 3