|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface SynchState
A synch state is a vertex used for synchronizing the concurrent regions of a state machine. It is different from a state in the sense that it is not mapped to a boolean value (active, not active), but an integer. A synch sate is used in conjunction with forks and joins to insure that one region leaves a particular state or states before another region can enter a particular state or states. SynchState is a child of StateVertex.
| Method Summary | |
|---|---|
int |
getBound()
|
void |
setBound(int bound)
Setter for atomic property bound) |
| Methods inherited from interface uk.ac.ucl.cs.uml.jmi.BehavioralElements.StateMachines.StateVertex |
|---|
getContainerState, getIncoming, getOutgoing, setContainerState |
| 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 |
|---|
int getBound()
throws javax.jmi.reflect.JmiException
javax.jmi.reflect.JmiException
void setBound(int bound)
throws javax.jmi.reflect.JmiException
javax.jmi.reflect.JmiException
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||