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:

• Extended Region
• State
• State Machine
• Subvertex
• Transition

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