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 color
`static 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 Details
- 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.

Interface Constants

Field Summary

Fields inherited from interface com.uppaal.model.core2.CommonConstants

Field Details