A GuardParameterBinding binds a guard parameter of an invoked Mapping to a value of a connection. Execution of the mapping may use the value. A distinct Mapping invocation occurs for each value in the connection.
syntax:
formalName consumes expression;
conformsTo
MappingParameterBinding
Attributes
isCheck : Boolean[?]
True if each consumed value must be checked for conformance with the variable’s type. A non-conforming vlaue is a predicate failure causing the mapping invocation to fail without doing anything. This is a derivation of not ownedInit.type.conformsTo(self.type).
Associations
value : ::ConnectionVariable[1]
The connection providing the invocation values.