public interface Region extends Namespace
The following features are supported:
PivotPackage.getRegion()
Modifier and Type | Method and Description |
---|---|
Vertex |
createSubvertex(org.eclipse.emf.ecore.EClass eClass)
Creates a new
Vertex and appends it to the 'Subvertex' containment reference list. |
Transition |
createTransition()
Creates a new
Transition and appends it to the 'Transition' containment reference list. |
Region |
getExtendedRegion()
Returns the value of the 'Extended Region' reference.
|
State |
getState()
Returns the value of the 'State' reference.
|
StateMachine |
getStateMachine()
Returns the value of the 'State Machine' reference.
|
java.util.List<Vertex> |
getSubvertex()
Returns the value of the 'Subvertex' containment reference list.
|
java.util.List<Transition> |
getTransition()
Returns the value of the 'Transition' containment reference list.
|
void |
setExtendedRegion(Region value)
Sets the value of the '
Extended Region ' reference. |
void |
setState(State value)
Sets the value of the '
State ' reference. |
void |
setStateMachine(StateMachine value)
Sets the value of the '
State Machine ' reference. |
createOwnedRule, getOwnedRule
createOwnedAnnotation, getName, getOwnedAnnotation, isStatic, setIsStatic, setName
allOwnedElements, createExtension, createOwnedComment, getETarget, getExtension, getOwnedComment, getValue
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset
java.util.List<Vertex> getSubvertex()
Vertex
.
It is bidirectional and its opposite is 'Container
'.
The set of vertices that are owned by this region.
PivotPackage.getRegion_Subvertex()
,
Vertex.getContainer()
Vertex createSubvertex(org.eclipse.emf.ecore.EClass eClass)
Vertex
and appends it to the 'Subvertex' containment reference list.
eClass
- The Ecore class of the Vertex
to create.Vertex
.getSubvertex()
java.util.List<Transition> getTransition()
Transition
.
It is bidirectional and its opposite is 'Container
'.
The set of transitions owned by the region. Note that internal transitions are owned by a region, but applies to the source state.
PivotPackage.getRegion_Transition()
,
Transition.getContainer()
Transition createTransition()
Transition
and appends it to the 'Transition' containment reference list.
Transition
.getTransition()
StateMachine getStateMachine()
setStateMachine(StateMachine)
,
PivotPackage.getRegion_StateMachine()
void setStateMachine(StateMachine value)
State Machine
' reference.
value
- the new value of the 'State Machine' reference.getStateMachine()
State getState()
setState(State)
,
PivotPackage.getRegion_State()
void setState(State value)
State
' reference.
value
- the new value of the 'State' reference.getState()
Region getExtendedRegion()
setExtendedRegion(Region)
,
PivotPackage.getRegion_ExtendedRegion()
void setExtendedRegion(Region value)
Extended Region
' reference.
value
- the new value of the 'Extended Region' reference.getExtendedRegion()