Class UML 2.3::ReadVariableAction

Description:

A read variable action is a variable action that retrieves the values of a variable.

Direct Superclasses: VariableAction

Direct Subclasses:

Class Precedence List: ReadVariableAction, VariableAction, Action, ExecutableNode, ActivityNode, RedefinableElement, NamedElement, Element

Properties:

result : OutputPin (1 1); -- source ReadVariableAction
variable : Variable (1 1); -- source VariableAction
context : Classifier (0 1); -- source Action
input : InputPin (0 *); -- source Action
isLocallyReentrant : Boolean (1 1); -- source Action
localPostcondition : Constraint (0 *); -- source Action
localPrecondition : Constraint (0 *); -- source Action
output : OutputPin (0 *); -- source Action
handler : ExceptionHandler (0 *); -- source ExecutableNode
activity : Activity (0 1); -- source ActivityNode
inGroup : ActivityGroup (0 *); -- source ActivityNode
inInterruptibleRegion : InterruptibleActivityRegion (0 *); -- source ActivityNode
inPartition : ActivityPartition (0 *); -- source ActivityNode
inStructuredNode : StructuredActivityNode (0 1); -- source ActivityNode
incoming : ActivityEdge (0 *); -- source ActivityNode

Edges that have the node as target.
Opposite: ActivityEdge.target

outgoing : ActivityEdge (0 *); -- source ActivityNode
redefinedNode : ActivityNode (0 *); -- source ActivityNode
isLeaf : Boolean (1 1); -- source RedefinableElement
redefinedElement : RedefinableElement (0 *); -- source RedefinableElement
redefinitionContext : Classifier (0 *); -- source RedefinableElement
clientDependency : Dependency (0 *); -- source NamedElement
name : String (0 1); -- source NamedElement
nameExpression : StringExpression (0 1); -- source NamedElement
namespace : Namespace (0 1); -- source NamedElement
qualifiedName : String (0 1); -- source NamedElement
visibility : VisibilityKind (0 1); -- source NamedElement
ownedComment : Comment (0 *); -- source Element
ownedElement : Element (0 *); -- source Element
owner : Element (0 1); -- source Element

Constraints:

Signature: type_and_ordering() : Boolean;
Description: The type and ordering of the result output pin of a read-variable action are the same as the type and ordering of the variable.
Expression: self.result.type =self.variable.type and self.result.ordering = self.variable.ordering

Signature: compatible_multiplicity() : Boolean;
Description: The multiplicity of the variable must be compatible with the multiplicity of the output pin.
The OCL used here is not normative.
Editor's notes: No multiplicity
Expression: self.variable.compatibleWith(self.result)
Original: self.variable.multiplicity.compatibleWith(self.result.multiplicity)

Operations:

No additional operations.

---

Send questions or comments to [email protected].