Changeable extends ContainsFunctions, GeneratedElement, GeneratesElements, ParameterEdgesSource, Wireable

Implementation Notes

• A Changeable has a BuiltinProperty named 'can cast?'. [Definitions]
• A Changeable has a BuiltinProperty named 'empty?'. [Definitions]
• A Changeable has a BuiltinProperty named 'fieldValue is set?'. [Definitions]
• If a Changeable is used as the source of a Parameter, the fieldValue of the Changeable is used as the value. [Parameters]
• A Changeable has a BuiltinProperty named 'not empty?'. [Definitions]
• When a fieldValue is changed, the onChange Event will be triggered. [Contents]

Inference Rules

• An ActivityOperation named 'permissions check' within an AccessControlHandler protecting a Session-contained 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]
• 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]
• An empty ActivityOperation named "update", "refresh" or "init", contained within a Changeable, will be completed with ActivityNodes to implement the particular operation. [operations]
• An empty ActivityOperation named "set value XXX", contained within a Changeable, used to set a Value other than fieldValue, will be completed with ActivityNodes to implement the particular operation. [operations]
• Changeable elements will contain a BuiltinProperty named 'can cast?'. [casting]
• Changeable elements have an Event named onChange. [events]
• A Changeable contains an untyped Value named fieldValue. [base]
• If set, the defaultValue is used as the default value of the created fieldValue Value. [base]
• When a Changeable element is connected to an CanBeSynced element by a SetWire, the value of the source element will be provided as a Parameter to the updating ECARule. [set-wires]
• When a Changeable is connected to a Value by a SetWire, the source element will call the 'set value XXX' Operation on the target when the source changes. [set-wires]
• When a Changeable element is connected to a Value by a SetWire, the value of the source element will be provided as a Parameter to the updating ECARule. [set-wires]

Constraints

• "Contained fieldValue property has a default value, even though container already specifies one" [Checks.chk]
• "Type '".+(toString(type.name)).+("' is incompatible with contained fieldValue type '").+(toString(fieldValue.type.name)).+("'") [Checks.chk]

Attributes

• defaultValue : EString (optional)
  The default value of the fieldValue. This value should be the same as the defaultValue of the contained fieldValue, and is provided to simplify end-user implementation.

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

• fieldValue : [0...1] Value
  The current value of this Changeable element. This is always a valid type instance.
• onChange : [0...1] Event
  This Event is triggered immediately after the fieldValue of this element is changed.

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.
• functions : [0...*] Function
  A list of contained Functions.
• 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

• type : [0...1] EDataType
  The type of this Changeable element and its contained fieldValue.

Inherited References

• 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.
• inWires : [0...*] Wire [opposite: to]
  A list of incoming Wires.
• outParameterEdges : [0...*] Parameter [opposite: parameterValue]
  A list of outgoing Parameters.
• outWires : [0...*] Wire [opposite: from]
  A list of outgoing Wires.

Extensions

Inherited Extensions

• availableInCurrentScript(model::WireSource source,model::WireDestination target) [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]