|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Constants
Various system wide constants
Field Summary | |
---|---|
static int |
BORDER_HEIGHT
Height of the border of an element box |
static int |
BORDER_WIDTH
Width of the border of an element box |
static java.awt.Stroke |
DASHED
A dashed stroke |
static float[] |
DASHES
Dashes for a dashed stroke |
static java.lang.String |
DEFAULT_FONT_ATTRIBUTES
Default font for attribute names |
static java.lang.String |
DEFAULT_FONT_ELEMENTS
Default font for element names |
static java.lang.String |
DEFAULT_FONT_SMALL
Default font for cardinalities |
static java.awt.Stroke |
ROUNDED
Stroke with rounded ends and joins |
static java.lang.String |
SYSTEM_PROPERTIES_FILE
name of a properties file to read user specific defaults from |
static int |
X_OFFSET
X offset between two element box columns. |
Field Detail |
---|
static final int BORDER_HEIGHT
static final int BORDER_WIDTH
static final int X_OFFSET
static final java.awt.Stroke ROUNDED
static final float[] DASHES
static final java.awt.Stroke DASHED
static final java.lang.String DEFAULT_FONT_ELEMENTS
static final java.lang.String DEFAULT_FONT_SMALL
static final java.lang.String SYSTEM_PROPERTIES_FILE
static final java.lang.String DEFAULT_FONT_ATTRIBUTES
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |