public class InterfaceAutomatonTransition extends Transition
The guard of each transition is set automatically. Users should not set the guard. For an input transition, the guard is set to <inputPort> _isPresent, where <inputPort> is the port corresponding to this transition; For output and internal transitions, the guard is set to true. Each of the output and internal transitions contain an Action. The expression of the Action is also set automatically. For output transition, the action is set to <outputPort>=true, where <outputPort> is the output port corresponding to this transition; for internal transition, the action is set to <parameter>=true, where <parameter> is the parameter corresponding to this transition.
InterfaceAutomaton,
Action| Red (yuhong) |
| Red (yuhong) |
NamedObj.ContainedObjectsIterator| Modifier and Type | Field and Description |
|---|---|
protected static int |
_INPUT_TRANSITION
The input transition type.
|
protected static int |
_INTERNAL_TRANSITION
The internal transition type.
|
protected static int |
_OUTPUT_TRANSITION
The output transition type.
|
StringAttribute |
label
The label of this transition.
|
annotation, defaultTransition, error, exitAngle, fsmTransitionParameterName, gamma, guardExpression, history, immediate, nondeterministic, outputActions, preemptive, refinementName, setActions, showFSMTransitionParameter, termination_changeListeners, _changeLock, _changeRequests, _debugging, _debugListeners, _deferChangeRequests, _elementName, _isPersistent, _verbose, _workspace, ATTRIBUTES, CLASSNAME, COMPLETE, CONTENTS, DEEP, FULLNAME, LINKS| Constructor and Description |
|---|
InterfaceAutomatonTransition(InterfaceAutomaton container,
java.lang.String name)
Construct a transition with the specified container and name.
|
| Modifier and Type | Method and Description |
|---|---|
void |
attributeChanged(Attribute attribute)
React to a change in an attribute.
|
java.lang.String |
getLabel()
Return the label of this transition.
|
int |
getType()
Return the transition type.
|
void |
setContainer(CompositeEntity container)
Override the base class to ensure that the proposed container
is an instance of InterfaceAutomaton or null.
|
void |
setTriggerExpression(java.lang.String expression)
Throw an exception.
|
_checkPort, choiceActionList, clone, commitActionList, destinationState, getFullLabel, getGuardExpression, getParseTreeEvaluator, getRefinement, isDefault, isEnabled, isEnabled, isErrorTransition, isHistory, isImmediate, isNondeterministic, isPreemptive, isTermination, setFsmTransitionParameter, setGuardExpression, sourceState_checkContainer, _checkRelation, _propagateExistence, deepLinkedPortList, deepLinkedPorts, getContainer, moveDown, moveToFirst, moveToIndex, moveToLast, moveUp, setName, unlinkAll_description, _getContainedObject, link, linkedObjectsList, linkedPortList, linkedPortList, linkedPorts, linkedPorts, numLinks, relationGroupList, unlink_addAttribute, _adjustOverride, _attachText, _cloneFixAttributeFields, _containedDecorators, _copyChangeRequestList, _debug, _debug, _debug, _debug, _debug, _executeChangeRequests, _exportMoMLContents, _getIndentPrefix, _isMoMLSuppressed, _markContentsDerived, _notifyHierarchyListenersAfterChange, _notifyHierarchyListenersBeforeChange, _propagateValue, _removeAttribute, _splitName, _stripNumericSuffix, _validateSettables, addChangeListener, addDebugListener, addHierarchyListener, attributeDeleted, attributeList, attributeList, attributeTypeChanged, clone, containedObjectsIterator, decorators, deepContains, depthInHierarchy, description, description, event, executeChangeRequests, exportMoML, exportMoML, exportMoML, exportMoML, exportMoML, exportMoMLPlain, getAttribute, getAttribute, getAttributes, getChangeListeners, getClassName, getDecoratorAttribute, getDecoratorAttributes, getDerivedLevel, getDerivedList, getDisplayName, getElementName, getFullName, getModelErrorHandler, getName, getName, getPrototypeList, getSource, handleModelError, isDeferringChangeRequests, isOverridden, isPersistent, lazyContainedObjectsIterator, message, notifyOfNameChange, propagateExistence, propagateValue, propagateValues, removeAttribute, removeChangeListener, removeDebugListener, removeHierarchyListener, requestChange, setClassName, setDeferringChangeRequests, setDerivedLevel, setDisplayName, setModelErrorHandler, setPersistent, setSource, sortContainedObjects, toplevel, toString, uniqueName, validateSettables, workspacepublic StringAttribute label
protected static final int _INPUT_TRANSITION
protected static final int _OUTPUT_TRANSITION
protected static final int _INTERNAL_TRANSITION
public InterfaceAutomatonTransition(InterfaceAutomaton container, java.lang.String name) throws IllegalActionException, NameDuplicationException
container - An interface automaton.name - The name of this transition.IllegalActionException - If the container is incompatible
with this transition.NameDuplicationException - If the name coincides with
any relation already in the container.public void attributeChanged(Attribute attribute) throws IllegalActionException
attributeChanged in class Transitionattribute - The attribute that changed.IllegalActionException - If thrown by the superclass
attributeChanged() method, or the changed attribute is
label and it does not ends with "?" or "!" or ";".public java.lang.String getLabel()
getLabel in class Transitionpublic int getType()
public void setContainer(CompositeEntity container) throws IllegalActionException, NameDuplicationException
setContainer in class Transitioncontainer - The proposed container.IllegalActionException - If setting the container would
result in a recursive containment structure, or if
this transition and container are not in the same workspace, or
if the argument is not an InterfaceAutomaton or null.NameDuplicationException - If the container already has
an relation with the name of this transition.ComponentRelation.getContainer()public void setTriggerExpression(java.lang.String expression)
expression - The trigger expression.java.lang.UnsupportedOperationException - Always thrown.