|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface StateSpace
Interface for state spaces.
Field Summary | |
---|---|
static String |
PROPERTY_CHECK_LINK_ORDER
Key for a state space property that determines whether the order of links matters. |
static String |
PROPERTY_CLOCK_DECLARATIONS
Key for a state space property that defines a list of clock attributes. |
static String |
PROPERTY_COLLECT_MISSING_ROOTS
Key for a state space property that determines whether missing root objects should be collected. |
static String |
PROPERTY_CONSTANTS
Key for a state space property that defines a list of constants. |
static String |
PROPERTY_GOAL_PROPERTY
Key for a state space property that can be used to define a goal property. |
static String |
PROPERTY_IDENTITY_TYPES
Key for a state space property that defines a list of types for which object identity matters. |
static String |
PROPERTY_IGNORE_DUPLICATE_TRANSITIONS
Key for a state space property that determines whether duplicate transitions should be ignored. |
static String |
PROPERTY_IGNORED_ATTRIBUTES
Key for a state space property that defines a list of attributes whose values should be ignored. |
static String |
PROPERTY_USE_CLOCKS
Key for a state space property that decides whether clocks should be used. |
Method Summary | |
---|---|
int[] |
getAllParameterKeys()
Get all object keys used as parameters in transitions in this state space. |
EqualityHelper |
getEqualityHelper()
Get the equality helper for this state space. |
EList<State> |
getInitialStates()
Get the initial states in this state space. |
int |
getLayoutStateRepulsion()
Get the state repulsion to be used when layouting this state space. |
int |
getLayoutTransitionAttraction()
Get the transition attraction to be used when layouting this state space. |
int |
getLayoutZoomLevel()
Get the zoom level to be used when this state space is displayed. |
int |
getMaxStateDistance()
Get the maximum distance of states from the initial states. |
Set<State> |
getOpenStates()
Get the open states in this state space. |
EMap<String,String> |
getProperties()
Get the properties for this state space. |
EList<Rule> |
getRules()
Get the rules used for generating this state space. |
int |
getStateCount()
Get the number of states in this state space. |
EList<State> |
getStates()
Get the states stored in this state space. |
int |
getTransitionCount()
Get the total number of transitions in this state space. |
int |
incTransitionCount()
|
boolean |
isLayoutHideIndizes()
Returns the value of the 'Layout Hide Indizes' attribute. |
boolean |
isLayoutHideLabels()
Check whether labels should be hidden. |
boolean |
removeState(State state)
Remove a state from the state space. |
void |
setEqualityHelper(EqualityHelper value)
Set the equality helper for this state space. |
void |
setLayoutHideIndizes(boolean value)
Sets the value of the ' Layout Hide Indizes ' attribute. |
void |
setLayoutHideLabels(boolean value)
Set the hide-labels flag. |
void |
setLayoutStateRepulsion(int value)
Set the state repulsion to be used when layouting this state space. |
void |
setLayoutTransitionAttraction(int value)
Set the transition attraction to be used when layouting this state space. |
void |
setLayoutZoomLevel(int value)
Set the zoom level for this state space. |
void |
setMaxStateDistance(int value)
Set the maximum distance of states from the initial states. |
void |
setTransitionCount(int value)
Set the total number of transitions in this state space. |
void |
updateEqualityHelper()
|
Methods inherited from interface org.eclipse.emf.henshin.statespace.Storage |
---|
getData, getData, getData, setData, setData, setData, setData |
Methods inherited from interface org.eclipse.emf.ecore.EObject |
---|
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset |
Methods inherited from interface org.eclipse.emf.common.notify.Notifier |
---|
eAdapters, eDeliver, eNotify, eSetDeliver |
Field Detail |
---|
static final String PROPERTY_CHECK_LINK_ORDER
static final String PROPERTY_IDENTITY_TYPES
static final String PROPERTY_IGNORED_ATTRIBUTES
static final String PROPERTY_CONSTANTS
static final String PROPERTY_CLOCK_DECLARATIONS
static final String PROPERTY_USE_CLOCKS
static final String PROPERTY_COLLECT_MISSING_ROOTS
static final String PROPERTY_IGNORE_DUPLICATE_TRANSITIONS
static final String PROPERTY_GOAL_PROPERTY
Method Detail |
---|
EList<State> getStates()
EList<Rule> getRules()
boolean removeState(State state)
void updateEqualityHelper()
int incTransitionCount()
EList<State> getInitialStates()
Set<State> getOpenStates()
int getStateCount()
StateSpacePackage.getStateSpace_StateCount()
int getTransitionCount()
setTransitionCount(int)
int[] getAllParameterKeys()
void setTransitionCount(int value)
getTransitionCount()
EqualityHelper getEqualityHelper()
setEqualityHelper(EqualityHelper)
void setEqualityHelper(EqualityHelper value)
value
- the new equality helper.getEqualityHelper()
int getLayoutZoomLevel()
setLayoutZoomLevel(int)
void setLayoutZoomLevel(int value)
value
- the new value of the 'Zoom Level' attribute.getLayoutZoomLevel()
int getLayoutStateRepulsion()
setLayoutStateRepulsion(int)
void setLayoutStateRepulsion(int value)
value
- the new value of the 'State Repulsion' attribute.getLayoutStateRepulsion()
int getLayoutTransitionAttraction()
setLayoutTransitionAttraction(int)
void setLayoutTransitionAttraction(int value)
value
- the new value of the 'Transition Attraction' attribute.getLayoutTransitionAttraction()
boolean isLayoutHideLabels()
setLayoutHideLabels(boolean)
,
org.eclipse.emf.henshin.statespace.StateSpacePackage#getStateSpace_HideLabels()
void setLayoutHideLabels(boolean value)
value
- the new value of the 'Hide Labels' attribute.isLayoutHideLabels()
boolean isLayoutHideIndizes()
setLayoutHideIndizes(boolean)
,
StateSpacePackage.getStateSpace_LayoutHideIndizes()
void setLayoutHideIndizes(boolean value)
Layout Hide Indizes
' attribute.
value
- the new value of the 'Layout Hide Indizes' attribute.isLayoutHideIndizes()
int getMaxStateDistance()
setMaxStateDistance(int)
,
StateSpacePackage.getStateSpace_MaxStateDistance()
void setMaxStateDistance(int value)
value
- the new value of the 'Max State Distance' attribute.getMaxStateDistance()
EMap<String,String> getProperties()
StateSpacePackage.getStateSpace_Properties()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |