org.eclipse.ocl.examples.pivot
Interface Region

All Superinterfaces:
DomainElement, DomainNamedElement, DomainNamespace, Element, org.eclipse.emf.ecore.EObject, Nameable, NamedElement, Namespace, org.eclipse.emf.common.notify.Notifier, PivotObject, Visitable
All Known Implementing Classes:
RegionImpl

public interface Region
extends Namespace

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:

See Also:
PivotPackage.getRegion()
Generated

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

getSubvertex

java.util.List<Vertex> getSubvertex()
Returns the value of the 'Subvertex' containment reference list. The list contents are of type Vertex. It is bidirectional and its opposite is 'Container'. The set of vertices that are owned by this region.

Returns:
the value of the 'Subvertex' containment reference list.
See Also:
PivotPackage.getRegion_Subvertex(), Vertex.getContainer()
Generated

getTransition

java.util.List<Transition> getTransition()
Returns the value of the 'Transition' containment reference list. The list contents are of type 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.

Returns:
the value of the 'Transition' containment reference list.
See Also:
PivotPackage.getRegion_Transition(), Transition.getContainer()
Generated

getStateMachine

StateMachine getStateMachine()
Returns the value of the 'State Machine' container reference. It is bidirectional and its opposite is 'Region'. The StateMachine that owns the Region. If a Region is owned by a StateMachine, then it cannot also be owned by a State.

Returns:
the value of the 'State Machine' container reference.
See Also:
setStateMachine(StateMachine), PivotPackage.getRegion_StateMachine(), StateMachine.getRegion()
Generated

setStateMachine

void setStateMachine(StateMachine value)
Sets the value of the 'State Machine' container reference.

Parameters:
value - the new value of the 'State Machine' container reference.
See Also:
getStateMachine()
Generated

getState

State getState()
Returns the value of the 'State' container reference. It is bidirectional and its opposite is 'Region'. The State that owns the Region. If a Region is owned by a State, then it cannot also be owned by a StateMachine.

Returns:
the value of the 'State' container reference.
See Also:
setState(State), PivotPackage.getRegion_State(), State.getRegion()
Generated

setState

void setState(State value)
Sets the value of the 'State' container reference.

Parameters:
value - the new value of the 'State' container reference.
See Also:
getState()
Generated

getExtendedRegion

Region getExtendedRegion()
Returns the value of the 'Extended Region' reference. The region of which this region is an extension.

Returns:
the value of the 'Extended Region' reference.
See Also:
setExtendedRegion(Region), PivotPackage.getRegion_ExtendedRegion()
Generated

setExtendedRegion

void setExtendedRegion(Region value)
Sets the value of the 'Extended Region' reference.

Parameters:
value - the new value of the 'Extended Region' reference.
See Also:
getExtendedRegion()
Generated