|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Vertex
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:
PivotPackage.getVertex()
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 |
---|
Region getContainer()
Subvertex
'.
The region that contains this vertex.
setContainer(Region)
,
PivotPackage.getVertex_Container()
,
Region.getSubvertex()
void setContainer(Region value)
Container
' container reference.
value
- the new value of the 'Container' container reference.getContainer()
java.util.List<Transition> getOutgoing()
Transition
.
It is bidirectional and its opposite is 'Source
'.
Specifies the transitions departing from this vertex.
PivotPackage.getVertex_Outgoing()
,
Transition.getSource()
java.util.List<Transition> getIncoming()
Transition
.
It is bidirectional and its opposite is 'Target
'.
Specifies the transitions entering this vertex.
PivotPackage.getVertex_Incoming()
,
Transition.getTarget()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |