|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--EASE.Agents.Specification.Configuration
Field Summary | |
java.awt.Color |
ENGINEER_COLOR
Color of an engineer in agent engine display. |
java.awt.Color |
FAILURE_COLOR
Color of failure states |
int |
FontSize
Size of writing on the state |
java.awt.Color |
LIST_MANAGER_COLOR
Color of a manager in agent engine display. |
java.awt.Color |
MANAGER_COLOR
Color of a manager in agent engine display. |
(package private) static long |
serialVersionUID
|
java.awt.Dimension |
SM_PANEL_SIZE
Size of the State Machine Panel. |
int |
StateSize
Size of a state |
float |
STROKE_WIDTH
Width of the lines for the State Machine |
java.awt.Color |
SUCCESS_COLOR
Color of success states |
int |
TRANSITION_CIRCLE_SIZE
Size of the transition end marking |
Constructor Summary | |
Configuration()
|
Methods inherited from class java.lang.Object |
|
Field Detail |
public int StateSize
public int FontSize
public final int TRANSITION_CIRCLE_SIZE
public final java.awt.Dimension SM_PANEL_SIZE
public final java.awt.Color FAILURE_COLOR
public final java.awt.Color SUCCESS_COLOR
public final java.awt.Color MANAGER_COLOR
public final java.awt.Color ENGINEER_COLOR
public final java.awt.Color LIST_MANAGER_COLOR
public final float STROKE_WIDTH
static final long serialVersionUID
Constructor Detail |
public Configuration()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |