Package com.uppaal.model.core2
Interface Constants
-
- All Superinterfaces:
CommonConstants
- All Known Implementing Classes:
PrototypeDocument
public interface Constants extends CommonConstants
Defines various constants used by the model representation.
-
-
Field Summary
Fields Modifier and Type Field Description static Color
ASSIGN_COL
Color for assignments labels.static int
BRANCHPOINT_RADIUS
Radius of a branchpoint.static Color
COMMENTS_COL
Color for comments.static Color
EXPONENTIALRATE_COL
Color for rates of exponential labels.static Color
GUARD_COL
Color for guard labels.static Color
INVARIANT_COL
Color for invariant labels.static Color
LABEL_COL
Default label colorstatic Color
NAIL_COL
Color for transition nail.static Color
NAIL_FILL_COL
Color for nail fill.static int
NAIL_RADIUS
Radius and touch distance of a nail.static Color
PROB_COL
Color for probability labels.static Color
SELECT_COL
Color for select labels.static int
STATE_COMMIT_RADIUS
Radius of the inner symbol of committed locations.static Color
STATE_FILL_COL
Color for state vertex fill.static Color
STATE_INIT_OUTLINE_COL
Color for initial state inner circle outline.static int
STATE_INIT_RADIUS
Radius of the inner circle symbolising a initial state.static Color
STATE_LABEL_COL
Color for state labels.static Color
STATE_OUTLINE_COL
Color for state vertex outline.static int
STATE_RADIUS
Radius of a location.static int
STATE_URGENT_RADIUS
Radius of the inner symbol of urgent locations.static Color
SYNC_COL
Color for synchronisation labels.static Color
TRANS_COL
Color for transition edge outline.static int
TRANS_TOUCH_DISTANCE
The distance from a transition where it is touched.-
Fields inherited from interface com.uppaal.model.core2.CommonConstants
AREA_SELECT_COL, ARROW_ANGLE, ARROW_LENGTH, BIGFONT, BIGFONTNAME, EMPH_COL, FONT, FONTNAME, GLOBAL_DECL_COL, GLOBAL_PROCESSASSIGN_COL, GLOBAL_SYSTEM_COL, GRIDCHANGE, GRIDCOLOR, GRIDMIN, LEVEL, MOUSE_OVER_COL, MOUSE_OVER_REL_COL, PART_COV_COL, PROCESS_FILL_COL, PROCESS_OUTLINE_COL, SELECTED_COL, SNAP_PER_GRID, TEMPLATE_NAME_COL, TEMPLATE_PARAMLIST_COL, TRACE_COV_COL
-
-
-
-
Field Detail
-
STATE_RADIUS
static final int STATE_RADIUS
Radius of a location.- See Also:
- Constant Field Values
-
STATE_COMMIT_RADIUS
static final int STATE_COMMIT_RADIUS
Radius of the inner symbol of committed locations.- See Also:
- Constant Field Values
-
STATE_URGENT_RADIUS
static final int STATE_URGENT_RADIUS
Radius of the inner symbol of urgent locations.- See Also:
- Constant Field Values
-
STATE_INIT_RADIUS
static final int STATE_INIT_RADIUS
Radius of the inner circle symbolising a initial state.- See Also:
- Constant Field Values
-
BRANCHPOINT_RADIUS
static final int BRANCHPOINT_RADIUS
Radius of a branchpoint.- See Also:
- Constant Field Values
-
TRANS_TOUCH_DISTANCE
static final int TRANS_TOUCH_DISTANCE
The distance from a transition where it is touched.- See Also:
- Constant Field Values
-
NAIL_RADIUS
static final int NAIL_RADIUS
Radius and touch distance of a nail.- See Also:
- Constant Field Values
-
STATE_OUTLINE_COL
static final Color STATE_OUTLINE_COL
Color for state vertex outline.
-
STATE_INIT_OUTLINE_COL
static final Color STATE_INIT_OUTLINE_COL
Color for initial state inner circle outline.
-
STATE_FILL_COL
static final Color STATE_FILL_COL
Color for state vertex fill.
-
TRANS_COL
static final Color TRANS_COL
Color for transition edge outline.
-
NAIL_FILL_COL
static final Color NAIL_FILL_COL
Color for nail fill.
-
NAIL_COL
static final Color NAIL_COL
Color for transition nail.
-
STATE_LABEL_COL
static final Color STATE_LABEL_COL
Color for state labels.
-
INVARIANT_COL
static final Color INVARIANT_COL
Color for invariant labels.
-
EXPONENTIALRATE_COL
static final Color EXPONENTIALRATE_COL
Color for rates of exponential labels.
-
COMMENTS_COL
static final Color COMMENTS_COL
Color for comments.
-
LABEL_COL
static final Color LABEL_COL
Default label color
-
ASSIGN_COL
static final Color ASSIGN_COL
Color for assignments labels.
-
SYNC_COL
static final Color SYNC_COL
Color for synchronisation labels.
-
GUARD_COL
static final Color GUARD_COL
Color for guard labels.
-
SELECT_COL
static final Color SELECT_COL
Color for select labels.
-
PROB_COL
static final Color PROB_COL
Color for probability labels.
-
-