org.eclipse.ocl.pivot

Interface Region

All Superinterfaces:

Element, org.eclipse.emf.ecore.EObject, Nameable, NamedElement, Namespace, org.eclipse.emf.common.notify.Notifier, Visitable

All Known Implementing Classes:

RegionImpl

public interface Region
extends Namespace

A representation of the model object 'Region'. A Region is a top-level part of a StateMachine or a composite State, that serves as a container for the Vertices and Transitions of the StateMachine. A StateMachine or composite State may contain multiple Regions representing behaviors that may occur in parallel.

The following features are supported:

• Extended Region
• Owned Subvertexes
• Owned Transitions
• Owning State
• Owning State Machine

See Also:

PivotPackage.getRegion()

Generated

Method Summary

Modifier and Type	Method and Description
Region	getExtendedRegion() Returns the value of the 'Extended Region' reference.
java.util.List<Vertex>	getOwnedSubvertexes() Returns the value of the 'Owned Subvertexes' containment reference list.
java.util.List<Transition>	getOwnedTransitions() Returns the value of the 'Owned Transitions' containment reference list.
State	getOwningState() Returns the value of the 'Owning State' container reference.
StateMachine	getOwningStateMachine() Returns the value of the 'Owning State Machine' container reference.
void	setExtendedRegion(Region value) Sets the value of the 'Extended Region' reference.
void	setOwningState(State value) Sets the value of the 'Owning State' container reference.
void	setOwningStateMachine(StateMachine value) Sets the value of the 'Owning State Machine' container reference.

Methods inherited from interface org.eclipse.ocl.pivot.Namespace

getOwnedConstraints

Methods inherited from interface org.eclipse.ocl.pivot.NamedElement

getName, setName

Methods inherited from interface org.eclipse.ocl.pivot.Element

accept, allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, 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.pivot.util.Visitable

eClass

Method Detail

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

getOwnedSubvertexes

java.util.List<Vertex> getOwnedSubvertexes()

Returns the value of the 'Owned Subvertexes' containment reference list. The list contents are of type Vertex. It is bidirectional and its opposite is 'Owning Region'. The set of Vertices that are owned by this Region.

Returns:

the value of the 'Owned Subvertexes' containment reference list.

See Also:

PivotPackage.getRegion_OwnedSubvertexes(), Vertex.getOwningRegion()

Generated

getOwnedTransitions

java.util.List<Transition> getOwnedTransitions()

Returns the value of the 'Owned Transitions' containment reference list. The list contents are of type Transition. It is bidirectional and its opposite is 'Owning Region'. The set of Transitions owned by the Region.

Returns:

the value of the 'Owned Transitions' containment reference list.

See Also:

PivotPackage.getRegion_OwnedTransitions(), Transition.getOwningRegion()

Generated

getOwningState

State getOwningState()

Returns the value of the 'Owning State' container reference. It is bidirectional and its opposite is 'Owned Regions'. 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 'Owning State' container reference.

See Also:

setOwningState(State), PivotPackage.getRegion_OwningState(), State.getOwnedRegions()

Generated

setOwningState

void setOwningState(State value)

Sets the value of the 'Owning State' container reference.

Parameters:

value - the new value of the 'Owning State' container reference.

See Also:

getOwningState()

Generated

getOwningStateMachine

StateMachine getOwningStateMachine()

Returns the value of the 'Owning State Machine' container reference. It is bidirectional and its opposite is 'Owned Regions'. 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 'Owning State Machine' container reference.

See Also:

setOwningStateMachine(StateMachine), PivotPackage.getRegion_OwningStateMachine(), StateMachine.getOwnedRegions()

Generated

setOwningStateMachine

void setOwningStateMachine(StateMachine value)

Sets the value of the 'Owning State Machine' container reference.

Parameters:

value - the new value of the 'Owning State Machine' container reference.

See Also:

getOwningStateMachine()

Generated