org.eclipse.ocl.examples.pivot
Interface Behavior

All Superinterfaces:

Class, DomainElement, DomainNamedElement, DomainNamespace, DomainType, Element, org.eclipse.emf.ecore.EObject, Nameable, NamedElement, Namespace, org.eclipse.emf.common.notify.Notifier, OCLValue, ParameterableElement, PivotObject, TemplateableElement, Type, Visitable

All Known Subinterfaces:

StateMachine

All Known Implementing Classes:

BehaviorImpl, StateMachineImpl

public interface Behavior
extends Class

A representation of the model object 'Behavior'.

The following features are supported:

• Transition

See Also:

PivotPackage.getBehavior()

Generated

Method Summary

Transition	getTransition() Returns the value of the 'Transition' container reference.
void	setTransition(Transition value) Sets the value of the 'Transition' container reference.

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

getNestedType, getOwnedBehavior, isAbstract, isActive, isInterface, setIsAbstract, setIsActive, setIsInterface

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

getExtendedBys, getInstanceClassName, getOwnedAttribute, getOwnedInvariant, getOwnedOperation, getPackage, getSuperClass, setInstanceClassName, setPackage, specializeIn, validateUniqueInvariantName

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

getOwnedTemplateSignature, getTemplateBinding, getUnspecializedElement, isTemplate, parameterableElements, setOwnedTemplateSignature, setUnspecializedElement

Methods inherited from interface org.eclipse.ocl.examples.pivot.ParameterableElement

getOwningTemplateParameter, getTemplateParameter, isCompatibleWith, isTemplateParameter, setOwningTemplateParameter, setTemplateParameter

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainType

conformsTo, createInstance, createInstance, getCommonType, getInheritance, getLocalOperations, getLocalProperties, getLocalSuperTypes, getMetaTypeName, getName, getNormalizedType, getTypeId, getTypeParameters, isEqualTo, isEqualToUnspecializedType, isInvalid, isOrdered, isUnique, lookupImplementation, specializeIn

Methods inherited from interface org.eclipse.ocl.examples.domain.elements.DomainNamespace

getOwnedRule

Methods inherited from interface org.eclipse.ocl.examples.domain.values.OCLValue

oclEquals, oclHashCode

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

getOwnedRule

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

getTransition

Transition getTransition()

Returns the value of the 'Transition' container reference. It is bidirectional and its opposite is 'Effect'.

If the meaning of the 'Transition' container reference isn't clear, there really should be more of a description here...

Returns:

the value of the 'Transition' container reference.

See Also:

setTransition(Transition), PivotPackage.getBehavior_Transition(), Transition.getEffect()

Generated

setTransition

void setTransition(Transition value)

Sets the value of the 'Transition' container reference.

Parameters:

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

See Also:

getTransition()

Generated