ActivityPredicate extends ContainsFunctions, ContainsOperations, ContainsValues, GeneratesElements, Predicate

A user-defined Predicate consisting of ActivityNode connected by ExecutionEdges and DataFlowEdges.

An ActivityPredicate may be defined through the composition of a number of ActivityNodes, connected by ExecutionEdges and DataFlowEdges. ExecutionEdges represent the execution flow of the particular condition, and DataFlowEdges represent the flow of data within the particular condition.

The definition of a ActivityPredicate is identical to a ActivityOperation, except on the behaviours of FinishNodes and CancelNodes. If the execution flow of a ActivityPredicate arrives at a FinishNode, the Predicate is taken to be successful and return true. Similarly, if the execution flow of a ActivityPredicate arrives at a CancelNode, the Predicate is taken to be unsuccessful and return false.

Inference Rules

An ActivityPredicate named 'XXX is set', used to set a named Value, will be completed with the necessary ActivityNodes to implement this functionality. [base]
An ActivityPredicate named 'update target', used to set the 'target' Value within the 'last' Button generated by a DomainIterator, will be completed with the necessary ActivityNodes to update the Value with the current results count of that iterator. [paginate]
An ActivityPredicate named 'can cast?', used to check casting for a Changeable fieldValue, will be completed with the necessary ActivityNodes to implement this functionality. [casting]
An ActivityPredicate named 'permissions check' within an AccessControlHandler protecting a Frame, used to check the status of the 'check permissions' Operation within the same handler, will be completed with the necessary ActivityNodes to implement this functionality. [users]
A DomainIterator will contain a generated ActivityPredicate named 'not empty' - the inverse of the empty condition. [instance]
The 'not empty' ActivityPredicate for a DomainIterator, will be completed with the contents necessary to check that the iterator is not empty. [instance]
The 'check XXX' ActivityPredicate for a Gate, with an outgoing ECARule named 'first' or 'last', will be completed with the contents necessary to evaluate the flag Value. [gate]

"An ActivityPredicate can only contain one StartNode" [Checks.chk]
"Non-unique slot names defined in Function" [Checks.chk] [from Function]
"Slot names and types mismatch" [Checks.chk] [from Function]
"Predicate types must be boolean" [Checks.chk] [from Predicate]
"You should not have a contained Property named 'fieldValue', unless it is contained within the fieldValue containment feature" [Checks.chk] [from ContainsValues]

generatedRule : EString (optional)
To assist in debugging, this attribute may be populated with the name of the model completion rule that created this element. More extensive traceability support may be provided in the future.
id : EString (optional)
A unique identifier for this model element. Should be globally unique.
isGenerated : EBoolean (optional)
Set to true if the current element has been generated.
name : EString (optional)
A non-unique string that names a given object.
overridden : EBoolean (optional)
If a GeneratesElements is overridden, then this element will not generate any elements directly.
overriddenNames : EString (optional)
When applying model completion, no NamedElements with these names will be generated by this element.
slotNames : EString (optional)
A list of the named slots of this Function.

conditioned : [0...*] ComplexTerm [opposite: function]
A ComplexTerm may be used in the definition of a Condition, if this Function is a Predicate.
generatedBy : [0...*] GeneratesElements [opposite: generatedElements]
A list of elements that generated this element; conversely, overriding the source will prevent this element from being created.
generatedElements : [0...*] GeneratedElement [opposite: generatedBy]
A list of GeneratedElements that this element has generated through model completion.
outWires : [0...*] Wire [opposite: from]
A list of outgoing Wires.
slotTypes : [0...*] EClassifier
A list of the type of each slot of this Function.
type : [0...1] EClassifier
The return type of this Function.