org.eclipse.ocl.pivot.internal

Class StateMachineImpl

java.lang.Object

EObjectImpl

org.eclipse.ocl.pivot.internal.utilities.PivotObjectImpl

org.eclipse.ocl.pivot.internal.ElementImpl

org.eclipse.ocl.pivot.internal.NamedElementImpl

org.eclipse.ocl.pivot.internal.TypeImpl

org.eclipse.ocl.pivot.internal.ClassImpl

org.eclipse.ocl.pivot.internal.BehaviorImpl

org.eclipse.ocl.pivot.internal.StateMachineImpl

All Implemented Interfaces:

Behavior, Class, Element, NamedElement, Namespace, StateMachine, TemplateableElement, Type, Visitable, Labelable, Nameable, PivotObject, OCLValue

public class StateMachineImpl
extends BehaviorImpl
implements StateMachine

An implementation of the model object 'State Machine'.

The following features are implemented:

• Extended State Machines
• Owned Connection Points
• Owned Regions
• Submachine States

EMF generated code

Method Summary

Modifier and Type	Method and Description
<R> R	accept(Visitor<R> visitor) Accept a visit from a visitor and return the result of a call to the derived type-specific visitXXX in the visitor.
Object	eGet(int featureID, boolean resolve, boolean coreType)
NotificationChain	eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs)
NotificationChain	eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
boolean	eIsSet(int featureID)
void	eSet(int featureID, Object newValue)
void	eUnset(int featureID)
List<StateMachine>	getExtendedStateMachines()
List<Pseudostate>	getOwnedConnectionPoints()
List<Region>	getOwnedRegions()
List<State>	getSubmachineStates()

Methods inherited from class org.eclipse.ocl.pivot.internal.BehaviorImpl

basicSetOwningTransition, eBasicRemoveFromContainerFeature, getOwningTransition, setOwningTransition

Methods inherited from class org.eclipse.ocl.pivot.internal.ClassImpl

addClassListener, basicSetOwnedSignature, basicSetOwningPackage, computeId, conformsTo, eBaseStructuralFeatureID, eDerivedStructuralFeatureID, eInvoke, getCommonType, getExtenders, getInheritance, getInstanceClassName, getMetaTypeName, getNormalizedType, getOwnedBehaviors, getOwnedBindings, getOwnedConstraints, getOwnedInvariants, getOwnedOperations, getOwnedProperties, getOwnedSignature, getOwningPackage, getSuperClasses, getTypeId, getTypeParameters, getUnspecializedElement, isClass, isIsAbstract, isIsActive, isIsInterface, isOrdered, isTemplateParameter, isUnique, lookupActualOperation, lookupImplementation, removeClassListener, setInstanceClassName, setIsAbstract, setIsActive, setIsInterface, setName, setOwnedSignature, setOwningPackage, setUnspecializedElement, specializeIn, toString, validateNameIsNotNull, validateUniqueInvariantName

Methods inherited from class org.eclipse.ocl.pivot.internal.TypeImpl

createInstance, createInstance, flattenedType, getPackage, isEqualTo, isEqualToUnspecializedType, oclEquals, oclHashCode

Methods inherited from class org.eclipse.ocl.pivot.internal.NamedElementImpl

getName

Methods inherited from class org.eclipse.ocl.pivot.internal.ElementImpl

allOwnedElements, getAnnotatingComments, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

Methods inherited from class org.eclipse.ocl.pivot.internal.utilities.PivotObjectImpl

getESObject, getETarget, getImage, getTarget, getText, setESObject, setTarget, unloaded

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.pivot.Behavior

getOwningTransition, setOwningTransition

Methods inherited from interface org.eclipse.ocl.pivot.Class

createInstance, createInstance, getExtenders, getInstanceClassName, getMetaTypeName, getOwnedBehaviors, getOwnedInvariants, getOwnedOperations, getOwnedProperties, getOwningPackage, getSuperClasses, getTypeParameters, isIsAbstract, isIsActive, isIsInterface, isOrdered, isUnique, lookupActualOperation, lookupImplementation, setInstanceClassName, setIsAbstract, setIsActive, setIsInterface, setOwningPackage, validateNameIsNotNull, validateUniqueInvariantName

Methods inherited from interface org.eclipse.ocl.pivot.Type

conformsTo, flattenedType, getCommonType, getInheritance, getNormalizedType, getTypeId, isClass, isEqualTo, isEqualToUnspecializedType, isTemplateParameter, specializeIn

Methods inherited from interface org.eclipse.ocl.pivot.values.OCLValue

oclEquals, oclHashCode

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

getOwnedConstraints

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

getName, setName

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

allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

Methods inherited from interface org.eclipse.ocl.pivot.util.Visitable

eClass

Methods inherited from interface org.eclipse.ocl.pivot.TemplateableElement

getOwnedBindings, getOwnedSignature, getUnspecializedElement, setOwnedSignature, setUnspecializedElement

Method Detail

getExtendedStateMachines

public List<StateMachine> getExtendedStateMachines()

Specified by:

getExtendedStateMachines in interface StateMachine

Returns:

the value of the 'Extended State Machines' reference list.

See Also:

PivotPackage.getStateMachine_ExtendedStateMachines()

EMF generated code

getOwnedConnectionPoints

public List<Pseudostate> getOwnedConnectionPoints()

Specified by:

getOwnedConnectionPoints in interface StateMachine

Returns:

the value of the 'Owned Connection Points' containment reference list.

See Also:

PivotPackage.getStateMachine_OwnedConnectionPoints(), Pseudostate.getOwningStateMachine()

EMF generated code

getOwnedRegions

public List<Region> getOwnedRegions()

Specified by:

getOwnedRegions in interface StateMachine

Returns:

the value of the 'Owned Regions' containment reference list.

See Also:

PivotPackage.getStateMachine_OwnedRegions(), Region.getOwningStateMachine()

EMF generated code

getSubmachineStates

public List<State> getSubmachineStates()

Specified by:

getSubmachineStates in interface StateMachine

Returns:

the value of the 'Submachine States' reference list.

See Also:

PivotPackage.getStateMachine_SubmachineStates(), State.getSubmachines()

EMF generated code

eInverseAdd

public NotificationChain eInverseAdd(InternalEObject otherEnd,
                                     int featureID,
                                     NotificationChain msgs)

Overrides:

eInverseAdd in class BehaviorImpl

EMF generated code

eInverseRemove

public NotificationChain eInverseRemove(InternalEObject otherEnd,
                                        int featureID,
                                        NotificationChain msgs)

Overrides:

eInverseRemove in class BehaviorImpl

EMF generated code

eGet

public Object eGet(int featureID,
                   boolean resolve,
                   boolean coreType)

Overrides:

eGet in class BehaviorImpl

EMF generated code

eSet

public void eSet(int featureID,
                 Object newValue)

Overrides:

eSet in class BehaviorImpl

EMF generated code

eUnset

public void eUnset(int featureID)

Overrides:

eUnset in class BehaviorImpl

EMF generated code

eIsSet

public boolean eIsSet(int featureID)

Overrides:

eIsSet in class BehaviorImpl

EMF generated code

accept

public <R> R accept(Visitor<R> visitor)

Description copied from interface: Element

Accept a visit from a visitor and return the result of a call to the derived type-specific visitXXX in the visitor.

Specified by:

accept in interface Element

Specified by:

accept in interface Visitable

Overrides:

accept in class BehaviorImpl

Returns:

the result of the visit.