|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
A representation of the model object 'Pseudostate'. A pseudostate is an abstraction that encompasses different types of transient vertices in the state machine graph.
The following features are supported:
UMLPackage.getPseudostate()
Field Summary |
Fields inherited from interface org.eclipse.uml2.uml.NamedElement |
SEPARATOR |
Method Summary | |
PseudostateKind |
getKind()
Returns the value of the 'Kind' attribute. |
State |
getState()
Returns the value of the 'State' container reference. |
StateMachine |
getStateMachine()
Returns the value of the 'State Machine' container reference. |
void |
setKind(PseudostateKind value)
Sets the value of the ' Kind ' attribute |
void |
setState(State value)
Sets the value of the ' State ' container reference |
void |
setStateMachine(StateMachine value)
Sets the value of the ' State Machine ' container reference |
boolean |
validateChoiceVertex(DiagnosticChain diagnostics,
Map context)
In a complete statemachine, a choice vertex must have at least one incoming and one outgoing transition. |
boolean |
validateForkVertex(DiagnosticChain diagnostics,
Map context)
In a complete statemachine, a fork vertex must have at least two outgoing transitions and exactly one incoming transition. |
boolean |
validateHistoryVertices(DiagnosticChain diagnostics,
Map context)
History vertices can have at most one outgoing transition. |
boolean |
validateInitialVertex(DiagnosticChain diagnostics,
Map context)
An initial vertex can have at most one outgoing transition. |
boolean |
validateJoinVertex(DiagnosticChain diagnostics,
Map context)
In a complete statemachine, a join vertex must have at least two incoming transitions and exactly one outgoing transition. |
boolean |
validateJunctionVertex(DiagnosticChain diagnostics,
Map context)
In a complete statemachine, a junction vertex must have at least one incoming and one outgoing transition. |
boolean |
validateOutgoingFromInitial(DiagnosticChain diagnostics,
Map context)
The outgoing transition from and initial vertex may have a behavior, but not a trigger or a guard. |
boolean |
validateTransitionsIncoming(DiagnosticChain diagnostics,
Map context)
All transitions incoming a join vertex must originate in different regions of an orthogonal state. |
boolean |
validateTransitionsOutgoing(DiagnosticChain diagnostics,
Map context)
All transitions outgoing a fork vertex must target states in different regions of an orthogonal state. |
Methods inherited from interface org.eclipse.uml2.uml.Vertex |
containingStateMachine, getContainer, getIncoming, getIncoming, getIncomings, getOutgoing, getOutgoing, getOutgoings, setContainer |
Methods inherited from interface org.eclipse.uml2.uml.NamedElement |
allNamespaces, allOwningPackages, createDependency, createNameExpression, getClientDependencies, getClientDependency, getClientDependency, getLabel, getLabel, getName, getNameExpression, getNamespace, getQualifiedName, getVisibility, isDistinguishableFrom, isSetName, isSetVisibility, separator, setName, setNameExpression, setVisibility, unsetName, unsetVisibility, validateHasNoQualifiedName, validateHasQualifiedName, validateVisibilityNeedsOwnership |
Methods inherited from interface org.eclipse.emf.ecore.EModelElement |
getEAnnotation, getEAnnotations |
Methods inherited from interface org.eclipse.emf.ecore.EObject |
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eIsProxy, eIsSet, eResource, eSet, eUnset |
Methods inherited from interface org.eclipse.emf.common.notify.Notifier |
eAdapters, eDeliver, eNotify, eSetDeliver |
Method Detail |
public PseudostateKind getKind()
"initial"
.
The literals are from the enumeration PseudostateKind
.
Determines the precise type of the Pseudostate and can be one of: entryPoint, exitPoint, initial, deepHistory, shallowHistory, join, fork, junction, terminate or choice.
PseudostateKind
,
Pseudostate.setKind(PseudostateKind)
,
UMLPackage.getPseudostate_Kind()
public void setKind(PseudostateKind value)
Kind
' attribute.
value
- the new value of the 'Kind' attribute.PseudostateKind
,
Pseudostate.getKind()
public StateMachine getStateMachine()
Connection Point
'.
The StateMachine in which this Pseudostate is defined. This only applies to Pseudostates of the kind entryPoint or exitPoint.
Pseudostate.setStateMachine(StateMachine)
,
UMLPackage.getPseudostate_StateMachine()
,
StateMachine.getConnectionPoints()
public void setStateMachine(StateMachine value)
State Machine
' container reference.
value
- the new value of the 'State Machine' container reference.Pseudostate.getStateMachine()
public State getState()
Connection Point
'.
The State that owns this pseudostate and in which it appears.
Pseudostate.setState(State)
,
UMLPackage.getPseudostate_State()
,
State.getConnectionPoints()
public void setState(State value)
State
' container reference.
value
- the new value of the 'State' container reference.Pseudostate.getState()
public boolean validateInitialVertex(DiagnosticChain diagnostics, Map context)
public boolean validateHistoryVertices(DiagnosticChain diagnostics, Map context)
public boolean validateJoinVertex(DiagnosticChain diagnostics, Map context)
public boolean validateTransitionsIncoming(DiagnosticChain diagnostics, Map context)
public boolean validateForkVertex(DiagnosticChain diagnostics, Map context)
public boolean validateTransitionsOutgoing(DiagnosticChain diagnostics, Map context)
public boolean validateJunctionVertex(DiagnosticChain diagnostics, Map context)
public boolean validateChoiceVertex(DiagnosticChain diagnostics, Map context)
public boolean validateOutgoingFromInitial(DiagnosticChain diagnostics, Map context)
|
Copyright 2003, 2006 IBM Corporation and others. All Rights Reserved. |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |