uk.ac.ucl.cs.uml.jmi.BehavioralElements.StateMachines
Interface Transition

All Superinterfaces:

Element, ExtObject, ModelElement, javax.jmi.reflect.RefBaseObject, javax.jmi.reflect.RefFeatured, javax.jmi.reflect.RefObject

All Known Implementing Classes:

Transition_Impl

public interface Transition
extends ModelElement

A transition is a directed relationship between a source state vertex and a target state vertex. It may be part of a compound transition, which takes the state machine from one state configuration to another, representing the complete response of the state machine to a particular event instance. Transition is a child of ModelElement.

Method Summary

Procedure	getEffect()
Guard	getGuard()
StateVertex	getSource()
State	getState()
StateMachine	getStateMachine()
StateVertex	getTarget()
Event	getTrigger()
void	setEffect(Procedure effect) Setter for atomic property effect)
void	setGuard(Guard guard) Setter for atomic property guard)
void	setSource(StateVertex source) Setter for atomic property source)
void	setState(State state) Setter for atomic property state)
void	setStateMachine(StateMachine stateMachine) Setter for atomic property stateMachine)
void	setTarget(StateVertex target) Setter for atomic property target)
void	setTrigger(Event trigger) Setter for atomic property trigger)

Methods inherited from interface uk.ac.ucl.cs.uml.jmi.Foundation.Core.ModelElement

getAsArgument, getBehavior, getClientDependency, getComment, getConstraint, getContainer, getDefaultElement, getIsSpecification, getName, getNamespace, getPackage, getPresentation, getReferenceTag, getSourceFlow, getStereotype, getSupplierDependency, getTaggedValue, getTargetFlow, getTemplate, getTemplateArgument, getTemplateParameter, getVisibility, setDefaultElement, setIsSpecification, setName, setNamespace, setTemplate, setVisibility

Methods inherited from interface uk.ac.ucl.cs.emofocl.jmi.reflect.extended.ExtObject

extAddObjectListener, extDeepCopy, extDeepCopy, extEquals, extRemoveObjectListener, extValueHash, extVisit

Methods inherited from interface javax.jmi.reflect.RefObject

refClass, refDelete, refImmediateComposite, refIsInstanceOf, refOutermostComposite

Methods inherited from interface javax.jmi.reflect.RefFeatured

refGetValue, refGetValue, refInvokeOperation, refInvokeOperation, refSetValue, refSetValue

Methods inherited from interface javax.jmi.reflect.RefBaseObject

equals, hashCode, refImmediatePackage, refMetaObject, refMofId, refOutermostPackage, refVerifyConstraints

Method Detail

getStateMachine

StateMachine getStateMachine()
                             throws javax.jmi.reflect.JmiException

Throws:

javax.jmi.reflect.JmiException

setStateMachine

void setStateMachine(StateMachine stateMachine)
                     throws javax.jmi.reflect.JmiException

Setter for atomic property stateMachine)

Throws:

javax.jmi.reflect.JmiException

getTrigger

Event getTrigger()
                 throws javax.jmi.reflect.JmiException

Throws:

javax.jmi.reflect.JmiException

setTrigger

void setTrigger(Event trigger)
                throws javax.jmi.reflect.JmiException

Setter for atomic property trigger)

Throws:

javax.jmi.reflect.JmiException

getState

State getState()
               throws javax.jmi.reflect.JmiException

Throws:

javax.jmi.reflect.JmiException

setState

void setState(State state)
              throws javax.jmi.reflect.JmiException

Setter for atomic property state)

Throws:

javax.jmi.reflect.JmiException

getTarget

StateVertex getTarget()
                      throws javax.jmi.reflect.JmiException

Throws:

javax.jmi.reflect.JmiException

setTarget

void setTarget(StateVertex target)
               throws javax.jmi.reflect.JmiException

Setter for atomic property target)

Throws:

javax.jmi.reflect.JmiException

getSource

StateVertex getSource()
                      throws javax.jmi.reflect.JmiException

Throws:

javax.jmi.reflect.JmiException

setSource

void setSource(StateVertex source)
               throws javax.jmi.reflect.JmiException

Setter for atomic property source)

Throws:

javax.jmi.reflect.JmiException

getGuard

Guard getGuard()
               throws javax.jmi.reflect.JmiException

Throws:

javax.jmi.reflect.JmiException

setGuard

void setGuard(Guard guard)
              throws javax.jmi.reflect.JmiException

Setter for atomic property guard)

Throws:

javax.jmi.reflect.JmiException

getEffect

Procedure getEffect()
                    throws javax.jmi.reflect.JmiException

Throws:

javax.jmi.reflect.JmiException

setEffect

void setEffect(Procedure effect)
               throws javax.jmi.reflect.JmiException

Setter for atomic property effect)

Throws:

javax.jmi.reflect.JmiException