Package com.uppaal.model.core2

Interface CommonConstants

All Known Subinterfaces:

Constants, LscConstants

All Known Implementing Classes:

AnchoredElement, ChangeAnchorCommand, ChangeMessageEndCommand, Condition, Cut, InstanceLine, LscElement, LscTemplate, Message, Prechart, PrototypeDocument, SetLengthCommand, Simregion, TranslationMessageLabelCommand, TranslationYCommand, Update

public interface CommonConstants

Defines various constants used by the model representation.

Field Summary

Fields

Modifier and Type	Field	Description
static java.awt.Color	AREA_SELECT_COL	Color for area select rectangle.
static double	ARROW_ANGLE	Radian angle of arrow head lines on transition edges.
static int	ARROW_LENGTH	Length of the arrow head lines on transition edges.
static java.awt.Font	BIGFONT
static java.lang.String	BIGFONTNAME
static java.awt.Color	EMPH_COL
static java.awt.Font	FONT
static java.lang.String	FONTNAME
static java.awt.Color	GLOBAL_DECL_COL
static java.awt.Color	GLOBAL_PROCESSASSIGN_COL
static java.awt.Color	GLOBAL_SYSTEM_COL
static int	GRIDCHANGE
static java.awt.Color	GRIDCOLOR
static int	GRIDMIN
static int	LEVEL
static java.awt.Color	MOUSE_OVER_COL	Color to be used for highligting objects under the mouse.
static java.awt.Color	MOUSE_OVER_REL_COL
static java.awt.Color	PART_COV_COL
static java.awt.Color	PROCESS_FILL_COL	Color for process box fill.
static java.awt.Color	PROCESS_OUTLINE_COL	Constant.
static java.awt.Color	SELECTED_COL	Color to be used for indicating selected objects.
static int	SNAP_PER_GRID
static java.awt.Color	TEMPLATE_NAME_COL
static java.awt.Color	TEMPLATE_PARAMLIST_COL
static java.awt.Color	TRACE_COV_COL

Field Detail

ARROW_LENGTH

static final int ARROW_LENGTH

Length of the arrow head lines on transition edges.

See Also:

Constant Field Values

ARROW_ANGLE

static final double ARROW_ANGLE

Radian angle of arrow head lines on transition edges.

See Also:

Constant Field Values

PROCESS_OUTLINE_COL

static final java.awt.Color PROCESS_OUTLINE_COL

Constant. Color for process box outline.

PROCESS_FILL_COL

static final java.awt.Color PROCESS_FILL_COL

Color for process box fill.

AREA_SELECT_COL

static final java.awt.Color AREA_SELECT_COL

Color for area select rectangle.

MOUSE_OVER_COL

static final java.awt.Color MOUSE_OVER_COL

Color to be used for highligting objects under the mouse.

MOUSE_OVER_REL_COL

static final java.awt.Color MOUSE_OVER_REL_COL

SELECTED_COL

static final java.awt.Color SELECTED_COL

Color to be used for indicating selected objects.

EMPH_COL

static final java.awt.Color EMPH_COL

PART_COV_COL

static final java.awt.Color PART_COV_COL

TRACE_COV_COL

static final java.awt.Color TRACE_COV_COL

GLOBAL_DECL_COL

static final java.awt.Color GLOBAL_DECL_COL

GLOBAL_PROCESSASSIGN_COL

static final java.awt.Color GLOBAL_PROCESSASSIGN_COL

GLOBAL_SYSTEM_COL

static final java.awt.Color GLOBAL_SYSTEM_COL

TEMPLATE_NAME_COL

static final java.awt.Color TEMPLATE_NAME_COL

TEMPLATE_PARAMLIST_COL

static final java.awt.Color TEMPLATE_PARAMLIST_COL

FONTNAME

static final java.lang.String FONTNAME

See Also:

Constant Field Values

BIGFONTNAME

static final java.lang.String BIGFONTNAME

See Also:

Constant Field Values

FONT

static final java.awt.Font FONT

BIGFONT

static final java.awt.Font BIGFONT

GRIDMIN

static final int GRIDMIN

GRIDCHANGE

static final int GRIDCHANGE

SNAP_PER_GRID

static final int SNAP_PER_GRID

See Also:

Constant Field Values

LEVEL

static final int LEVEL

GRIDCOLOR

static final java.awt.Color GRIDCOLOR