|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface State
Interface for states.
Field Summary | |
---|---|
static int[] |
COLOR_DEFAULT
Color for normal states (RGB). |
static int[] |
COLOR_INITIAL
Color for initial states (RGB). |
static int[] |
COLOR_OPEN
Color for open states (RGB). |
static int[] |
COLOR_PRUNED
Color for pruned states (RGB). |
static int[] |
COLOR_TERMINAL
Color for terminal states (RGB). |
Method Summary | |
---|---|
int |
getDerivedFrom()
Returns the value of the 'Derived From' attribute. |
int |
getHashCode()
Get the hash code of this state. |
EList<Transition> |
getIncoming()
Get the list of incoming transitions of this state. |
int |
getIndex()
Get the index of this state. |
int[] |
getLocation()
Get the location of this state. |
Model |
getModel()
Get the associated model of this state. |
int |
getObjectCount()
Get the number of nodes in this state's model. |
int[] |
getObjectKeys()
Get the object keys for the current state model. |
EList<Transition> |
getOutgoing()
Get the list of outgoing transitions of this state. |
Transition |
getOutgoing(State target,
Rule rule,
int match,
int[] paramIDs)
|
StateSpace |
getStateSpace()
Get the state space that contains this state. |
boolean |
isGoal()
Returns the value of the 'Goal' attribute. |
boolean |
isInitial()
Check whether this state is an initial one. |
boolean |
isOpen()
Check whether this state is open. |
boolean |
isPruned()
Returns the value of the 'Pruned' attribute. |
void |
setDerivedFrom(int value)
Sets the value of the ' Derived From ' attribute. |
void |
setGoal(boolean value)
Sets the value of the ' Goal ' attribute. |
void |
setHashCode(int value)
Set the hash code of this state. |
void |
setIndex(int value)
Set the index of this state. |
void |
setLocation(int... location)
Sets the location of this state. |
void |
setModel(Model value)
Set the model for this state. |
void |
setObjectCount(int value)
Set the number of objects in this state's model. |
void |
setObjectKeys(int[] value)
Set the object keys for the current state model. |
void |
setOpen(boolean value)
Set the open flag. |
void |
setPruned(boolean value)
Sets the value of the ' Pruned ' attribute. |
void |
setStateSpace(StateSpace value)
Set the state space that contains this state. |
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 int[] COLOR_DEFAULT
static final int[] COLOR_INITIAL
static final int[] COLOR_TERMINAL
static final int[] COLOR_OPEN
static final int[] COLOR_PRUNED
Method Detail |
---|
int getIndex()
setIndex(int)
,
StateSpacePackage.getState_Index()
void setIndex(int value)
StateSpaceManager
s.
value
- the new index.getIndex()
int getDerivedFrom()
setDerivedFrom(int)
,
StateSpacePackage.getState_DerivedFrom()
void setDerivedFrom(int value)
Derived From
' attribute.
value
- the new value of the 'Derived From' attribute.getDerivedFrom()
EList<Transition> getIncoming()
Transition.getTarget()
EList<Transition> getOutgoing()
Transition.getSource()
Model getModel()
#setModel(Resource)
void setModel(Model value)
value
- the new value of the 'Model' containment reference.getModel()
StateSpace getStateSpace()
setStateSpace(StateSpace)
void setStateSpace(StateSpace value)
stateSpace
- the container state space.getStateSpace()
int[] getLocation()
setLocation(int[])
void setLocation(int... location)
the
- new location of the state.getLocation()
boolean isOpen()
true
if it is open.setOpen(boolean)
void setOpen(boolean value)
value
- the new value of the open flag.isOpen()
boolean isGoal()
"false"
.
setGoal(boolean)
,
StateSpacePackage.getState_Goal()
void setGoal(boolean value)
Goal
' attribute.
value
- the new value of the 'Goal' attribute.isGoal()
boolean isPruned()
"false"
.
setPruned(boolean)
,
StateSpacePackage.getState_Pruned()
void setPruned(boolean value)
Pruned
' attribute.
value
- the new value of the 'Pruned' attribute.isPruned()
int getHashCode()
setHashCode(int)
void setHashCode(int value)
hashCode
- the hash code.getHashCode()
int getObjectCount()
setObjectCount(int)
,
org.eclipse.emf.henshin.statespace.StateSpacePackage#getState_NodeCount()
void setObjectCount(int value)
objectCount
- the new value of the 'Object Count' attribute.getObjectCount()
int[] getObjectKeys()
void setObjectKeys(int[] value)
objectKeys
- the new value of the 'Object Keys' attribute.getObjectKeys()
boolean isInitial()
getModel()
returns a resource with a non-null
URI.
Transition getOutgoing(State target, Rule rule, int match, int[] paramIDs)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |