SimpleCondition extends ComplexTerm

Examples

• NavigateConditionWire.iaml (source)
  • Using a SimpleCondition to control redirection access on a ECARule. [NavigateConditionWire]

Inference Rules

• An input entry Gate will only update the value of each input Label from VisibleThings in the input Frame if the source elements can be cast. [gate]
• All conditions against a SetWire will be copied to each ECARule subsequently created as connected to the onChange Events. [conditions]
• All conditions against a SetWire will be copied to each ECARule subsequently created as connected to the onChange Events. [conditions]
• All Parameters for each conditions against a SetWire will be copied to each SimpleCondition subsequently created for ECARules connected to the onAccess Events. [conditions]
• All Parameters for each conditions against a SetWire will be copied to each SimpleCondition subsequently created for ECARules connected to the onChange Events. [conditions]
• A sub- SetWire generated for a parent SetWire connected from a DomainIterator will also be restricted with all of the SimpleConditions of the parent wire. [set-wires]
• A sub- SetWire generated for a parent SetWire connected to a DomainIterator will also be restricted with all of the SimpleConditions of the parent wire. [set-wires]
• A sub- SetWire generated for a parent SetWire will also be restricted with all of the SimpleConditions of the parent wire. [set-wires]
• All restrictions derived by copying the SimpleConditions of parent SetWires from a DomainIterator to their sub- SetWires will also be provided with the same Parameters. [set-wires]
• All restrictions derived by copying the SimpleConditions of parent SetWires to a DomainIterator to their sub- SetWires will also be provided with the same Parameters. [set-wires]
• All restrictions derived by copying the SimpleConditions of parent SetWires to their sub- SetWires will also be provided with the same Parameters. [set-wires]
• When a ContainsOperations element is connected to an Accessible element by a SetWire, the target element will only be initialised if the source value is set. [set-wires]
• All conditions against a SyncWire will be copied to each ECARule subsequently created as connected to the onAccess Events. [conditions]
• All conditions against a SyncWire will be copied to each ECARule subsequently created as connected to the onChange Events. [conditions]
• All Parameters for each conditions against a SyncWire will be copied to each ECARule subsequently created as connected to the onAccess Events. [conditions]
• All Parameters for each conditions against a SyncWire will be copied to each ECARule subsequently created as connected to the onChange Events. [conditions]
• A sub- SyncWire generated for a parent SyncWire connected to a DomainIterator will also be restricted with all of the SimpleConditions of the parent wire. [sync-wires]
• A sub- SyncWire generated for a parent SyncWire will also be restricted with all of the SimpleConditions of the parent wire. [sync-wires]
• All restrictions derived by copying the SimpleConditions of parent SyncWires involving a DomainIterator to their sub- SyncWires will also be provided with the same Parameters. [sync-wires]
• All restrictions derived by copying the SimpleConditions of parent SyncWires to their sub- SyncWires will also be provided with the same Parameters. [sync-wires]
• When a ContainsOperations element is connected to an Accessible element by a SyncWire, the target element will only be initialised if the source value is set. [sync-wires]

Constraints

• "A SimpleCondition must use a Predicate as a Function, was using: ".+(function) [Checks.chk]
• "A ComplexTerm must define a Function" [Checks.chk] [from ComplexTerm]
• "Mismatched number of slots and parameters (".+(function.slotNames.size).+(", ").+(inParameterEdges.name.size).+(")") [Checks.chk] [from ComplexTerm]
• "Parameter edge defined a named parameter that was not defined in the function, expected: (".+(function.slotNames).+("), was: (").+(inParameterEdges.name).+(")") [Checks.chk] [from ComplexTerm]
• "Non-unique parameter names provided to ComplexTerm" [Checks.chk] [from ComplexTerm]
• "A ComplexTerm must have the same function type as its referenced Function" [Checks.chk] [from ComplexTerm]

Attributes

Inherited Attributes

• 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.

Children

Inherited Children

References

Inherited References

• conditioned : [1] ConditionEdgeDestination [opposite: conditions]
  A ComplexTerm may be used in the definition of a Condition, if the referenced Function is a Predicate.
• function : [1] Function [opposite: conditioned]
  The function on which these ParameterValues will apply to when evaluated.
• 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.
• inParameterEdges : [0...*] Parameter [opposite: parameterTerm]
  A list of incoming Parameters.
• outParameterEdges : [0...*] Parameter [opposite: parameterValue]
  A list of outgoing Parameters.
• type : [0...1] EClassifier
  The runtime type of this ParameterValue.

Extensions

Inherited Extensions

• model::visual::Frame containingFrame(model::NamedElement this) [Extensions.ext]
• model::Scope containingScope(model::NamedElement this) [GeneratorExtensions.ext]
• model::visual::Frame frameContainingOperation(model::NamedElement this) [GeneratorExtensions.ext]
• safeName(model::GeneratedElement this) [GeneratorExtensions.ext]
• simpleName(model::NamedElement this) [GeneratorExtensions.ext]