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 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 Font	BIGFONT
static String	BIGFONTNAME
static Color	EMPH_COL
static Font	FONT
static String	FONTNAME
static Color	GLOBAL_DECL_COL
static Color	GLOBAL_PROCESSASSIGN_COL
static Color	GLOBAL_SYSTEM_COL
static int	GRIDCHANGE
static Color	GRIDCOLOR
static int	GRIDMIN
static int	LEVEL
static Color	MOUSE_OVER_COL	Color to be used for highligting objects under the mouse.
static Color	MOUSE_OVER_REL_COL
static Color	PART_COV_COL
static Color	PROCESS_FILL_COL	Color for process box fill.
static Color	PROCESS_OUTLINE_COL	Constant.
static Color	SELECTED_COL	Color to be used for indicating selected objects.
static int	SNAP_PER_GRID
static Color	TEMPLATE_NAME_COL
static Color	TEMPLATE_PARAMLIST_COL
static 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 Color PROCESS_OUTLINE_COL

Constant. Color for process box outline.

PROCESS_FILL_COL

static final Color PROCESS_FILL_COL

Color for process box fill.

AREA_SELECT_COL

static final Color AREA_SELECT_COL

Color for area select rectangle.

MOUSE_OVER_COL

static final Color MOUSE_OVER_COL

Color to be used for highligting objects under the mouse.

MOUSE_OVER_REL_COL

static final Color MOUSE_OVER_REL_COL

SELECTED_COL

static final Color SELECTED_COL

Color to be used for indicating selected objects.

EMPH_COL

static final Color EMPH_COL

PART_COV_COL

static final Color PART_COV_COL

TRACE_COV_COL

static final Color TRACE_COV_COL

GLOBAL_DECL_COL

static final Color GLOBAL_DECL_COL

GLOBAL_PROCESSASSIGN_COL

static final Color GLOBAL_PROCESSASSIGN_COL

GLOBAL_SYSTEM_COL

static final Color GLOBAL_SYSTEM_COL

TEMPLATE_NAME_COL

static final Color TEMPLATE_NAME_COL

TEMPLATE_PARAMLIST_COL

static final Color TEMPLATE_PARAMLIST_COL

FONTNAME

static final String FONTNAME

See Also:

Constant Field Values

BIGFONTNAME

static final String BIGFONTNAME

See Also:

Constant Field Values

FONT

static final Font FONT

BIGFONT

static final 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 Color GRIDCOLOR