Package com.uppaal.model.core2.lsc

Interface LscConstants

All Superinterfaces:

CommonConstants

All Known Implementing Classes:

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

public interface LscConstants
extends CommonConstants

Field Summary

Fields

Modifier and Type	Field	Description
static int	ANCHOR_PRECHART_RADIUS
static int	ANCHOR_RADIUS
static double	ARROW_BASE
static double	ARROW_HEIGHT
static Color	CONDITION_COLD_COL
static Color	CONDITION_HOT_COL
static int	CONDITION_SIDES
static int	CONDITION_UPDATE_HEIGHT
static int	CUT_SIDE_DISTANCE
static int	CUT_Y_DISTANCE
static int	FOOT_TOUCH_DISTANCE
static Color	INSTANCE_FILL_COL
static int	INSTANCE_FOOT_HEIGHT
static int	INSTANCE_FOOT_WIDTH
static int	INSTANCE_HEIGHT
static int	INSTANCE_LENGTH
static Color	INSTANCE_LINE_COL
static int	INSTANCE_MIN_WIDTH
static int	LOC_DISTANCE
static Color	MESSAGE_COL
static Color	MESSAGE_LABEL_COL
static Color	PRECHART_COL
static int	PRECHART_MIN_HEIGHT
static int	PRECHART_SIDE_DISTANCE
static int	PRECHART_TOP_DISTANCE
static int	TOP_DISTANCE
static int	TOUCH_DISTANCE
static int	TOUCH_INSTANCE_DISTANCE
static Color	UPDATE_COL

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

INSTANCE_HEIGHT

static final int INSTANCE_HEIGHT

See Also:

Constant Field Values

INSTANCE_FOOT_HEIGHT

static final int INSTANCE_FOOT_HEIGHT

See Also:

Constant Field Values

INSTANCE_FOOT_WIDTH

static final int INSTANCE_FOOT_WIDTH

See Also:

Constant Field Values

INSTANCE_MIN_WIDTH

static final int INSTANCE_MIN_WIDTH

See Also:

Constant Field Values

INSTANCE_LENGTH

static final int INSTANCE_LENGTH

See Also:

Constant Field Values

ARROW_HEIGHT

static final double ARROW_HEIGHT

See Also:

Constant Field Values

ARROW_BASE

static final double ARROW_BASE

See Also:

Constant Field Values

PRECHART_MIN_HEIGHT

static final int PRECHART_MIN_HEIGHT

See Also:

Constant Field Values

PRECHART_TOP_DISTANCE

static final int PRECHART_TOP_DISTANCE

See Also:

Constant Field Values

PRECHART_SIDE_DISTANCE

static final int PRECHART_SIDE_DISTANCE

See Also:

Constant Field Values

LOC_DISTANCE

static final int LOC_DISTANCE

See Also:

Constant Field Values

INSTANCE_FILL_COL

static final Color INSTANCE_FILL_COL

INSTANCE_LINE_COL

static final Color INSTANCE_LINE_COL

MESSAGE_COL

static final Color MESSAGE_COL

MESSAGE_LABEL_COL

static final Color MESSAGE_LABEL_COL

PRECHART_COL

static final Color PRECHART_COL

CONDITION_COLD_COL

static final Color CONDITION_COLD_COL

CONDITION_HOT_COL

static final Color CONDITION_HOT_COL

UPDATE_COL

static final Color UPDATE_COL

CONDITION_UPDATE_HEIGHT

static final int CONDITION_UPDATE_HEIGHT

See Also:

Constant Field Values

ANCHOR_RADIUS

static final int ANCHOR_RADIUS

See Also:

Constant Field Values

ANCHOR_PRECHART_RADIUS

static final int ANCHOR_PRECHART_RADIUS

See Also:

Constant Field Values

TOUCH_DISTANCE

static final int TOUCH_DISTANCE

See Also:

Constant Field Values

TOUCH_INSTANCE_DISTANCE

static final int TOUCH_INSTANCE_DISTANCE

See Also:

Constant Field Values

FOOT_TOUCH_DISTANCE

static final int FOOT_TOUCH_DISTANCE

See Also:

Constant Field Values

TOP_DISTANCE

static final int TOP_DISTANCE

See Also:

Constant Field Values

CONDITION_SIDES

static final int CONDITION_SIDES

See Also:

Constant Field Values

CUT_SIDE_DISTANCE

static final int CUT_SIDE_DISTANCE

See Also:

Constant Field Values

CUT_Y_DISTANCE

static final int CUT_Y_DISTANCE

See Also:

Constant Field Values