A decisionInput Behavior has no out parameters, no inout parameters, and one return 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
parameters

A decisionInput Behavior has no out parameters, no inout parameters, and one return parameter.


       inv: decisionInput<>null implies
         (decisionInput.ownedParameter->forAll(par |
            par.direction <> ParameterDirectionKind::out and
            par.direction <> ParameterDirectionKind::inout ) and
          decisionInput.ownedParameter->one(par |
            par.direction <> ParameterDirectionKind::return))
Next snippet
Related snippets
Related snippets (backlinks)
Visit also
Visit also (backlinks)