Related content
Previous snippet
zero_input_parameters
If the DecisionNode has no decisionInputFlow and an incoming ControlFlow, then any decisionInput Behavior has no in parameters.
inv: (decisionInput<>null and decisionInputFlow=null and incoming-
>exists(oclIsKindOf(ControlFlow))) implies
decisionInput.inputParameters()->isEmpty()