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 java.awt.Color	ASSIGN_COL	Color for assignments labels.
static int	BRANCHPOINT_RADIUS	Radius of a branchpoint.
static java.awt.Color	COMMENTS_COL	Color for comments.
static java.awt.Color	EXPONENTIALRATE_COL	Color for rates of exponential labels.
static java.awt.Color	GUARD_COL	Color for guard labels.
static java.awt.Color	INVARIANT_COL	Color for invariant labels.
static java.awt.Color	LABEL_COL	Default label color
static java.awt.Color	NAIL_COL	Color for transition nail.
static java.awt.Color	NAIL_FILL_COL	Color for nail fill.
static int	NAIL_RADIUS	Radius and touch distance of a nail.
static java.awt.Color	PROB_COL	Color for probability labels.
static java.awt.Color	SELECT_COL	Color for select labels.
static int	STATE_COMMIT_RADIUS	Radius of the inner symbol of committed locations.
static java.awt.Color	STATE_FILL_COL	Color for state vertex fill.
static java.awt.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 java.awt.Color	STATE_LABEL_COL	Color for state labels.
static java.awt.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 java.awt.Color	SYNC_COL	Color for synchronisation labels.
static java.awt.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 java.awt.Color STATE_OUTLINE_COL

Color for state vertex outline.

STATE_INIT_OUTLINE_COL

static final java.awt.Color STATE_INIT_OUTLINE_COL

Color for initial state inner circle outline.

STATE_FILL_COL

static final java.awt.Color STATE_FILL_COL

Color for state vertex fill.

TRANS_COL

static final java.awt.Color TRANS_COL

Color for transition edge outline.

NAIL_FILL_COL

static final java.awt.Color NAIL_FILL_COL

Color for nail fill.

NAIL_COL

static final java.awt.Color NAIL_COL

Color for transition nail.

STATE_LABEL_COL

static final java.awt.Color STATE_LABEL_COL

Color for state labels.

INVARIANT_COL

static final java.awt.Color INVARIANT_COL

Color for invariant labels.

EXPONENTIALRATE_COL

static final java.awt.Color EXPONENTIALRATE_COL

Color for rates of exponential labels.

COMMENTS_COL

static final java.awt.Color COMMENTS_COL

Color for comments.

LABEL_COL

static final java.awt.Color LABEL_COL

Default label color

ASSIGN_COL

static final java.awt.Color ASSIGN_COL

Color for assignments labels.

SYNC_COL

static final java.awt.Color SYNC_COL

Color for synchronisation labels.

GUARD_COL

static final java.awt.Color GUARD_COL

Color for guard labels.

SELECT_COL

static final java.awt.Color SELECT_COL

Color for select labels.

PROB_COL

static final java.awt.Color PROB_COL

Color for probability labels.