|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |