org.eclipse.ocl.pivot

Interface Transition

All Superinterfaces:

Element, org.eclipse.emf.ecore.EObject, Nameable, NamedElement, Namespace, org.eclipse.emf.common.notify.Notifier, Visitable

All Known Implementing Classes:

TransitionImpl

public interface Transition
extends Namespace

A representation of the model object 'Transition'. A Transition represents an arc between exactly one source Vertex and exactly one Target vertex (the source and targets may be the same Vertex). It may form part of a compound transition, which takes the StateMachine from one steady State configuration to another, representing the full response of the StateMachine to an occurrence of an Event that triggered it.

The following features are supported:

• Kind
• Owned Effect
• Owned Guard
• Owned Triggers
• Owning Region
• Source
• Target

See Also:

PivotPackage.getTransition()

Generated

Method Summary

Modifier and Type	Method and Description
TransitionKind	getKind() Returns the value of the 'Kind' attribute.
Behavior	getOwnedEffect() Returns the value of the 'Owned Effect' containment reference.
Constraint	getOwnedGuard() Returns the value of the 'Owned Guard' containment reference.
java.util.List<Trigger>	getOwnedTriggers() Returns the value of the 'Owned Triggers' containment reference list.
Region	getOwningRegion() Returns the value of the 'Owning Region' container reference.
Vertex	getSource() Returns the value of the 'Source' reference.
Vertex	getTarget() Returns the value of the 'Target' reference.
void	setKind(TransitionKind value) Sets the value of the 'Kind' attribute.
void	setOwnedEffect(Behavior value) Sets the value of the 'Owned Effect' containment reference.
void	setOwnedGuard(Constraint value) Sets the value of the 'Owned Guard' containment reference.
void	setOwningRegion(Region value) Sets the value of the 'Owning Region' container reference.
void	setSource(Vertex value) Sets the value of the 'Source' reference.
void	setTarget(Vertex value) Sets the value of the 'Target' reference.

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

accept, allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, 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.pivot.util.Visitable

eClass

Method Detail

getKind

TransitionKind getKind()

Returns the value of the 'Kind' attribute. The default value is "external". The literals are from the enumeration TransitionKind. Indicates the precise type of the Transition.

Returns:

the value of the 'Kind' attribute.

See Also:

TransitionKind, setKind(TransitionKind), PivotPackage.getTransition_Kind()

Generated

setKind

void setKind(TransitionKind value)

Sets the value of the 'Kind' attribute.

Parameters:

value - the new value of the 'Kind' attribute.

See Also:

TransitionKind, getKind()

Generated

getOwnedEffect

Behavior getOwnedEffect()

Returns the value of the 'Owned Effect' containment reference. It is bidirectional and its opposite is 'Owning Transition'. Specifies an optional behavior to be performed when the Transition fires.

Returns:

the value of the 'Owned Effect' containment reference.

See Also:

setOwnedEffect(Behavior), PivotPackage.getTransition_OwnedEffect(), Behavior.getOwningTransition()

Generated

setOwnedEffect

void setOwnedEffect(Behavior value)

Sets the value of the 'Owned Effect' containment reference.

Parameters:

value - the new value of the 'Owned Effect' containment reference.

See Also:

getOwnedEffect()

Generated

getOwnedGuard

Constraint getOwnedGuard()

Returns the value of the 'Owned Guard' containment reference. It is bidirectional and its opposite is 'Owning Transition'. A guard is a Constraint that provides a fine-grained control over the firing of the Transition. The guard is evaluated when an Event occurrence is dispatched by the StateMachine. If the guard is true at that time, the Transition may be enabled, otherwise, it is disabled. Guards should be pure expressions without side effects. Guard expressions with side effects are ill formed.

Returns:

the value of the 'Owned Guard' containment reference.

See Also:

setOwnedGuard(Constraint), PivotPackage.getTransition_OwnedGuard(), Constraint.getOwningTransition()

Generated

setOwnedGuard

void setOwnedGuard(Constraint value)

Sets the value of the 'Owned Guard' containment reference.

Parameters:

value - the new value of the 'Owned Guard' containment reference.

See Also:

getOwnedGuard()

Generated

getOwnedTriggers

java.util.List<Trigger> getOwnedTriggers()

Returns the value of the 'Owned Triggers' containment reference list. The list contents are of type Trigger. It is bidirectional and its opposite is 'Owning Transition'. Specifies the Triggers that may fire the transition.

Returns:

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

See Also:

PivotPackage.getTransition_OwnedTriggers(), Trigger.getOwningTransition()

Generated

getOwningRegion

Region getOwningRegion()

Returns the value of the 'Owning Region' container reference. It is bidirectional and its opposite is 'Owned Transitions'. Designates the Region that owns this Transition.

Returns:

the value of the 'Owning Region' container reference.

See Also:

setOwningRegion(Region), PivotPackage.getTransition_OwningRegion(), Region.getOwnedTransitions()

Generated

setOwningRegion

void setOwningRegion(Region value)

Sets the value of the 'Owning Region' container reference.

Parameters:

value - the new value of the 'Owning Region' container reference.

See Also:

getOwningRegion()

Generated

getSource

Vertex getSource()

Returns the value of the 'Source' reference. It is bidirectional and its opposite is 'Outgoing Transitions'. Designates the originating Vertex (State or Pseudostate) of the Transition.

Returns:

the value of the 'Source' reference.

See Also:

setSource(Vertex), PivotPackage.getTransition_Source(), Vertex.getOutgoingTransitions()

Generated

setSource

void setSource(Vertex value)

Sets the value of the 'Source' reference.

Parameters:

value - the new value of the 'Source' reference.

See Also:

getSource()

Generated

getTarget

Vertex getTarget()

Returns the value of the 'Target' reference. It is bidirectional and its opposite is 'Incoming Transitions'. Designates the target Vertex that is reached when the Transition is taken.

Returns:

the value of the 'Target' reference.

See Also:

setTarget(Vertex), PivotPackage.getTransition_Target(), Vertex.getIncomingTransitions()

Generated

setTarget

void setTarget(Vertex value)

Sets the value of the 'Target' reference.

Parameters:

value - the new value of the 'Target' reference.

See Also:

getTarget()

Generated