org.eclipse.ocl.pivot

Interface Vertex

All Superinterfaces:

Element, Nameable, NamedElement, Visitable

All Known Subinterfaces:

ConnectionPointReference, FinalState, Pseudostate, State

All Known Implementing Classes:

ConnectionPointReferenceImpl, FinalStateImpl, PseudostateImpl, StateImpl, VertexImpl

public interface Vertex
extends NamedElement

A representation of the model object 'Vertex'. A Vertex is an abstraction of a node in a StateMachine graph. It can be the source or destination of any number of Transitions.

The following features are supported:

• Incoming Transitions
• Outgoing Transitions
• Owning Region

See Also:

PivotPackage.getVertex()

EMF generated code

Method Summary

Modifier and Type	Method and Description
List<Transition>	getIncomingTransitions() Returns the value of the 'Incoming Transitions' reference list.
List<Transition>	getOutgoingTransitions() Returns the value of the 'Outgoing Transitions' reference list.
Region	getOwningRegion() Returns the value of the 'Owning Region' container reference.
void	setOwningRegion(Region value) Sets the value of the 'Owning Region' container reference.

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.ocl.pivot.util.Visitable

eClass

Method Detail

getIncomingTransitions

List<Transition> getIncomingTransitions()

Returns the value of the 'Incoming Transitions' reference list. The list contents are of type Transition. It is bidirectional and its opposite is 'Target'. Specifies the Transitions entering this Vertex.

Returns:

the value of the 'Incoming Transitions' reference list.

See Also:

PivotPackage.getVertex_IncomingTransitions(), Transition.getTarget()

EMF generated code

getOutgoingTransitions

List<Transition> getOutgoingTransitions()

Returns the value of the 'Outgoing Transitions' reference list. The list contents are of type Transition. It is bidirectional and its opposite is 'Source'. Specifies the Transitions departing from this Vertex.

Returns:

the value of the 'Outgoing Transitions' reference list.

See Also:

PivotPackage.getVertex_OutgoingTransitions(), Transition.getSource()

EMF generated code

getOwningRegion

Region getOwningRegion()

Returns the value of the 'Owning Region' container reference. It is bidirectional and its opposite is 'Owned Subvertexes'. The Region that contains this Vertex.

Returns:

the value of the 'Owning Region' container reference.

See Also:

setOwningRegion(Region), PivotPackage.getVertex_OwningRegion(), Region.getOwnedSubvertexes()

EMF generated code

setOwningRegion

void setOwningRegion(Region value)

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

Parameters:

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

See Also:

getOwningRegion()

EMF generated code