incoming_control_one_input_parameter If the DecisionNode has a decisionInputFlow and an incoming ControlFlow, then any decisionInput Behavior has one in Parameter ...

Icon class
icon_class
fas fa-quote-left
icon_class_computed
fas fa-quote-left
Related content
Source
Snippet kind
UML keywords
Full quote
incoming_control_one_input_parameter

If the DecisionNode has a decisionInputFlow and an incoming ControlFlow, then any decisionInput Behavior has one in Parameter whose type is the same as or a supertype of the type of object tokens offered on the decisionInputFlow.


       inv: (decisionInput<>null and decisionInputFlow<>null and incoming-
       >exists(oclIsKindOf(ControlFlow))) implies
          decisionInput.inputParameters()->size()=1
Next snippet
Related snippets
Related snippets (backlinks)
Visit also
Visit also (backlinks)