org.eclipse.ocl.examples.pivot
Interface Vertex

All Superinterfaces:

DomainElement, DomainNamedElement, Element, org.eclipse.emf.ecore.EObject, Nameable, NamedElement, org.eclipse.emf.common.notify.Notifier, PivotObject, 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 state machine graph. In general, it can be the source or destination of any number of transitions.

The following features are supported:

• Container
• Incoming
• Outgoing

See Also:

PivotPackage.getVertex()

Generated

Method Summary

Region	getContainer() Returns the value of the 'Container' container reference.
java.util.List<Transition>	getIncoming() Returns the value of the 'Incoming' reference list.
java.util.List<Transition>	getOutgoing() Returns the value of the 'Outgoing' reference list.
void	setContainer(Region value) Sets the value of the 'Container' container reference.

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

getContainer

Region getContainer()

Returns the value of the 'Container' container reference. It is bidirectional and its opposite is 'Subvertex'. The region that contains this vertex.

Returns:

the value of the 'Container' container reference.

See Also:

setContainer(Region), PivotPackage.getVertex_Container(), Region.getSubvertex()

Generated

setContainer

void setContainer(Region value)

Sets the value of the 'Container' container reference.

Parameters:

value - the new value of the 'Container' container reference.

See Also:

getContainer()

Generated

getOutgoing

java.util.List<Transition> getOutgoing()

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

See Also:

PivotPackage.getVertex_Outgoing(), Transition.getSource()

Generated

getIncoming

java.util.List<Transition> getIncoming()

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

See Also:

PivotPackage.getVertex_Incoming(), Transition.getTarget()

Generated