VisibleThing extends Accessible, CanBeSynced, Changeable, ContainsFunctions, ContainsOperations, ContainsValues, ContainsWires, GeneratedElement, GeneratesElements, NamedElement, WireDestination, WireSource

Examples

• IamlVisualElements.iaml (source)
  • An example model to render all VisibleThings in theIAML metamodel. [IamlVisualElements]

Implementation Notes

• If a Value named 'fieldValue' is not initially contained within a VisibleThing, the attribute fieldValue will beused instead. [ExplicitFieldValue]
• A VisibleThing has a BuiltinOperation named 'hide'. [Contents]
• A VisibleThing has a BuiltinOperation named 'init'. [Contents]
• A VisibleThing has a BuiltinOperation named 'show'. [Contents]
• A VisibleThing has a BuiltinOperation named 'update'. [Contents]

Inference Rules

• All VisibleThings (except IteratorLists and InputForms) will contain an Operation named "init". [operations]
• A VisibleThing has a BuiltinOperation named hide. [visible]
• A VisibleThing has a BuiltinOperation named show. [visible]
• VisibleThings have an BuiltinProperty named empty. [visible]
• VisibleThings have an BuiltinProperty named notEmpty. [visible]
• VisibleThings have an Event named onClick. [visible]
• VisibleThings have an Event named onInput. [visible]
• All VisibleThings (except IteratorLists and InputForms) will contain an Operation named "update". [operations]
• Accessible elements have an Event named onAccess. [events] [from Accessible]
• 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] [from Changeable]
• 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] [from Changeable]
• 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] [from Changeable]
• An empty ActivityOperation named "update", "refresh" or "init", contained within a Changeable, will be completed with ActivityNodes to implement the particular operation. [operations] [from Changeable]
• 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] [from Changeable]
• Changeable elements will contain a BuiltinProperty named 'can cast?'. [casting] [from Changeable]
• Changeable elements have an Event named onChange. [events] [from Changeable]
• A Changeable contains an untyped Value named fieldValue. [base] [from Changeable]
• If set, the defaultValue is used as the default value of the created fieldValue Value. [base] [from Changeable]
• A SetWire connecting an CanBeSynced object to a DomainIterator will create sub- SetWires between every contained CanBeSynced object to every contained object within the contained DomainInstance which have matching names. [set-wires] [from CanBeSynced]
• A SetWire connecting an DomainIterator to a CanBeSynced object will create sub- SetWires between every contained object within the contained DomainInstance to every contained CanBeSynced object which have matching names. [set-wires] [from CanBeSynced]
• A SetWire connecting two objects will create sub- SetWires between every contained object within these parent objects which have matching names. [set-wires] [from CanBeSynced]
• 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] [from CanBeSynced]
• 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] [from Changeable]
• When a CanBeSynced 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] [from CanBeSynced]
• 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] [from Changeable]
• 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] [from Changeable]
• When an InputTextField is connected to a CanBeSynced element by an instant SetWire, the value of the source element will be provided as a Parameter to the updating ECARule. [set-wires] [from CanBeSynced]
• A SyncWire connecting an DomainIterator to a CanBeSynced object will create sub- SyncWires between every contained object within the contained DomainInstance to every contained CanBeSynced object which have matching names. [sync-wires] [from CanBeSynced]
• A SyncWire connecting two objects will create sub- SyncWires between every contained object within these parent objects which have matching names. [sync-wires] [from CanBeSynced]
• For elements connected by a SyncWire, the onAccess Event executing the 'init' Operation will only execute if the source fieldValue can be cast successfully. [casting] [from CanBeSynced]
• For elements connected by a SyncWire, the onAccess Event will only call the 'validate' Operation if the relevant fieldValue is set. [casting] [from CanBeSynced]
• When a CanBeSynced element is connected to an CanBeSynced element by a SyncWire, the value of the source element will be provided as a Parameter to the updating ECARule. [sync-wires] [from CanBeSynced]
• When an InputTextField is connected to a CanBeSynced element by an instant SyncWire, the value of the source element will be provided as a Parameter to the updating ECARule. [sync-wires] [from CanBeSynced]

Constraints

• "Contained fieldValue property has a default value, even though container already specifies one" [Checks.chk] [from Changeable]
• "Type '".+(toString(type.name)).+("' is incompatible with contained fieldValue type '").+(toString(fieldValue.type.name)).+("'") [Checks.chk] [from Changeable]
• "You should not have a contained Property named 'fieldValue', unless it is contained within the fieldValue containment feature" [Checks.chk] [from ContainsValues]

Attributes

• renderOrder : EInt (optional)
  VisibleThings are rendered in an ascending renderOrder order.
• visible : EBoolean (optional)
  If false, this VisibleThing will not initially be rendered to the user, until it has been shown.

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

• children : [0...*] VisibleThing
  Interface elements may be composed of other interface elements.
• currentInput : [0...1] Value
  The transient value of the VisibleThing; for example, the current text input in a InputTextField before it has been committed. This is not always a valid type instance.
• empty : [0...1] Predicate
  Returns false if the current fieldValue is both set and not empty.
• notEmpty : [0...1] Predicate
  Returns true if the current fieldValue is both set and not empty.
• onClick : [0...1] Event
  This Event is triggered when the user clicks a rendered user interface element.
• onInput : [0...1] Event
  This Event is triggered when the user modifies the current value of an interface element, but before it has been committed (as per the onChange event).

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.
• fieldValue : [0...1] Value
  The current value of this Changeable element. This is always a valid type instance.
• functions : [0...*] Function
  A list of contained Functions.
• onAccess : [0...1] Event
  This Event is executed whenever it is accessed, which may occur many times within a single request.
• onChange : [0...1] Event
  This Event is triggered immediately after the fieldValue of this element is changed.
• operations : [0...*] Operation
  A list of contained Operations.
• 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.
• values : [0...*] Value
  A list of contained Values.
• wires : [0...*] Wire
  A list of contained Wires.

References

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.
• type : [0...1] EDataType
  The type of this Changeable element and its contained fieldValue.

Extensions

• allContainerOperations [GeneratorExtensions.ext]

Inherited Extensions

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