|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Region
A representation of the model object 'Region'. A region is an orthogonal part of either a composite state or a state machine. It contains states and transitions.
The following features are supported:
PivotPackage.getRegion()
Method Summary | |
---|---|
Region |
getExtendedRegion()
Returns the value of the 'Extended Region' reference. |
State |
getState()
Returns the value of the 'State' container reference. |
StateMachine |
getStateMachine()
Returns the value of the 'State Machine' container 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 ' container reference. |
void |
setStateMachine(StateMachine value)
Sets the value of the ' State Machine ' container reference. |
Methods inherited from interface org.eclipse.ocl.examples.pivot.Namespace |
---|
getOwnedRule |
Methods inherited from interface org.eclipse.ocl.examples.pivot.NamedElement |
---|
getName, isStatic, setIsStatic, setName |
Methods inherited from interface org.eclipse.ocl.examples.pivot.Element |
---|
allOwnedElements, getETarget, getExtension, getOwnedAnnotation, getOwnedComment, getValue |
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 |
Methods inherited from interface org.eclipse.ocl.examples.pivot.util.Visitable |
---|
accept, eClass |
Method Detail |
---|
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()
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()
StateMachine getStateMachine()
Region
'.
The StateMachine that owns the Region. If a Region is owned by a StateMachine, then it cannot also be owned by a State.
setStateMachine(StateMachine)
,
PivotPackage.getRegion_StateMachine()
,
StateMachine.getRegion()
void setStateMachine(StateMachine value)
State Machine
' container reference.
value
- the new value of the 'State Machine' container reference.getStateMachine()
State getState()
Region
'.
The State that owns the Region. If a Region is owned by a State, then it cannot also be owned by a StateMachine.
setState(State)
,
PivotPackage.getRegion_State()
,
State.getRegion()
void setState(State value)
State
' container reference.
value
- the new value of the 'State' container 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()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |