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

static Color	ASSIGN_COL Color for assignments labels.
static int	BRANCHPOINT_RADIUS Radius of a branchpoint.
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, 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.

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.