Signature: zero_input_parameters() : Boolean;
Description: If the decision node has no decision input flow and an incoming control flow, then a decision input behavior has zero input parameters.
Expression: true

Signature: two_input_parameters() : Boolean;
Description: If the decision node has a decision input flow and an second incoming object flow, then a decision input behavior has two input parameters, the first of which has a type that is the same as or a supertype of the type of the type of object tokens offered on the nondecision input flow and the second of which has a type that is the same as or a supertype of the type of object tokens offered on the decision input flow.
Expression: true

Signature: parameters() : Boolean;
Description: A decision input behavior has no output parameters, no in-out parameters and one return parameter.
Expression: true

Signature: incoming_outgoing_edges() : Boolean;
Description: A decision node has one or two incoming edges and at least one outgoing edge.
Expression: true

Signature: incoming_object_one_input_parameter() : Boolean;
Description: If the decision node has no decision input flow and an incoming object flow, then a decision input behavior has one input parameter whose type is the same as or a supertype of the type of object tokens offered on the incoming edge.
Expression: true

Signature: incoming_control_one_input_parameter() : Boolean;
Description: If the decision node has a decision input flow and an incoming control flow, then a decision input behavior has one input parameter whose type is the same as or a supertype of the type of object tokens offered on the decision input flow.
Expression: true

Signature: edges() : Boolean;
Description: The edges coming into and out of a decision node, other than the decision input flow (if any), must be either all object flows or all control flows.
Expression: true

Signature: decision_input_flow_incoming() : Boolean;
Description: The decisionInputFlow of a decision node must be an incoming edge of the decision node.
Expression: true

Operations:

No additional operations.

Send questions or comments to [email protected].