Predicate extends Function

Inference Rules

Constraints

• "Predicate types must be boolean" [Checks.chk]
• "Non-unique slot names defined in Function" [Checks.chk] [from Function]
• "Slot names and types mismatch" [Checks.chk] [from Function]

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.
• slotNames : EString (optional)
  A list of the named slots of this Function.

Children

Inherited Children

• conditionEdges : [0...*] SimpleCondition
  A list of contained SimpleConditions.
• constraintEdges : [0...*] ConstraintEdge
  A list of contained ConstraintEdges.
• ecaRules : [0...*] ECARule
  A list of contained ECARules.
• extendsEdges : [0...*] ExtendsEdge
  A list of contained ExecutionEdges.
• parameterEdges : [0...*] Parameter
  A list of contained Parameters.
• providesEdges : [0...*] ProvidesEdge
  A list of contained ProvidesEdges.
• requiresEdges : [0...*] RequiresEdge
  A list of contained RequiresEdges.
• schemaEdges : [0...*] SchemaEdge
  A list of contained SchemaEdges.
• selectEdges : [0...*] SelectEdge
  A list of contained SelectEdges.
• wires : [0...*] Wire
  A list of contained Wires.

References

Inherited References

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

Extensions

Inherited Extensions

• availableInCurrentScript(model::WireSource source,model::WireDestination target) [GeneratorExtensions.ext]
• conditionName(model::Function this) [GeneratorExtensions.ext]
• conditionUsed(model::Function this) [GeneratorExtensions.ext]
• 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]
• onCurrentFrame(model::WireSource source,model::WireDestination target) [GeneratorExtensions.ext]
• onCurrentSession(model::WireSource source,model::WireDestination target) [GeneratorExtensions.ext]
• safeName(model::GeneratedElement this) [GeneratorExtensions.ext]
• simpleName(model::NamedElement this) [GeneratorExtensions.ext]