ComplexTerm

Inference Rules

(none)

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

(none)

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.

(none)

(none)

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.

(none)