Overview | Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

# Constant Field Values

Contents

- pipe.dataLayer.*
- pipe.gui.*

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`

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES