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

All Superinterfaces:

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

All Known Implementing Classes:

Guard_Impl

public interface Guard
extends ModelElement

A guard is a boolean expression that is attached to a transition as a fine-grained control over its firing. The guard is evaluated when an event instance is dispatched by the statemachine. If the guard is true at that time, the transition is enabled, otherwise, it is disabled. Guards should be pure expressions without side effects. Guard expressions with side effects are ill formed. Guard is a child of ModelElement.

Method Summary

BooleanExpression	getGuard()
Transition	getTransition()
void	setGuard(BooleanExpression guard) Setter for atomic property guard)
void	setTransition(Transition transition) Setter for atomic property transition)

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

getGuard

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

Throws:

javax.jmi.reflect.JmiException

setGuard

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

Setter for atomic property guard)

Throws:

javax.jmi.reflect.JmiException

getTransition

Transition getTransition()
                         throws javax.jmi.reflect.JmiException

Throws:

javax.jmi.reflect.JmiException

setTransition

void setTransition(Transition transition)
                   throws javax.jmi.reflect.JmiException

Setter for atomic property transition)

Throws:

javax.jmi.reflect.JmiException