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:

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

See Also:

PivotPackage.getRegion()

Generated

Method Summary

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.

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

createOwnedRule, getOwnedRule

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

createOwnedAnnotation, getName, getOwnedAnnotation, isStatic, setIsStatic, setName

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

allOwnedElements, createExtension, createOwnedComment, getETarget, getExtension, 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

createSubvertex

Vertex createSubvertex(org.eclipse.emf.ecore.EClass eClass)

Creates a new Vertex and appends it to the 'Subvertex' containment reference list.

Parameters:

eClass - The Ecore class of the Vertex to create.

Returns:

The new Vertex.

See Also:

getSubvertex()

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

createTransition

Transition createTransition()

Creates a new Transition and appends it to the 'Transition' containment reference list.

Returns:

The new Transition.

See Also:

getTransition()

Generated

getStateMachine

StateMachine getStateMachine()

Returns the value of the 'State Machine' reference. 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' reference.

See Also:

setStateMachine(StateMachine), PivotPackage.getRegion_StateMachine()

Generated

setStateMachine

void setStateMachine(StateMachine value)

Sets the value of the 'State Machine' reference.

Parameters:

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

See Also:

getStateMachine()

Generated

getState

State getState()

Returns the value of the 'State' reference. 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' reference.

See Also:

setState(State), PivotPackage.getRegion_State()

Generated

setState

void setState(State value)

Sets the value of the 'State' reference.

Parameters:

value - the new value of the 'State' 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