Label extends RequiresEdgeDestination, VisibleThing

Implementation Notes

• By default, a Label is visible. [LabelHideShow]
• If a Label is shown, calling the 'hide' operation will hide it from view. [testHideLabel()]
• If a Label is already shown, calling the 'show' operation has no effect. [testShowLabel()]
• If a Label is hidden, calling the 'show' operation will place it back into view. [testHideThenShow()]
• If a Label is hidden, calling the 'hide' operation again will have no effect. [testHideThenHide()]
• If a Label is hidden, the visibility of the Label will persist, according to the overall Scope . [testHiddenPersists()]
• If a Label is contained within a Session , then the visibility of this Label persists according to the Session . [LabelHideShowSession]
• If a Label is hidden, the visibility of the Label will persist, according to the overall Scope . [testHiddenPersists()]

Inference Semantics

• A EntryGate can require a given Label to be set, creating a Frame that must be filled in before the containing Scope can be accessed. [EntryGateRequiresOpenID]
• When a DomainIterator is connected to a InputForm by a SetWire , Labels will be generated for its non-generated, non-primary key attributes. [set-wires]
• InputTextFields will contain a Label named 'Warning'. [validate]
• An Accessible thing contains an EventTrigger named 'onAccess'. [events] [from Accessible]
• A Changeable thing contains an EventTrigger named 'onChange'. [events] [from Changeable]
• A Changeable that also contains a CompositeOperation named 'update', 'refresh' or 'init' will automatically be completed. [operations] [from Changeable]
• A Changeable contains an untyped property named 'fieldValue'. [base] [from Changeable]
• If set, the defaultValue is used as the default value of the created fieldValue property. [base] [from Changeable]
• VisibleThings have an EventTrigger 'onInput'. [visible] [from VisibleThing]
• VisibleThings have an EventTrigger 'onClick'. [visible] [from VisibleThing]
• A VisibleThing has a PrimitiveOperation 'show'. [visible] [from VisibleThing]
• All VisibleThings (except IteratorLists and InputForm s) will have an Operation called "init". [operations] [from VisibleThing]
• VisibleThings have an Property 'currentInput'. [visible] [from VisibleThing]
• A VisibleThing has a PrimitiveOperation 'hide'. [visible] [from VisibleThing]
• All VisibleThings (except IteratorLists and InputForm s) will have an Operation called "update". [operations] [from VisibleThing]
• VisibleThings will contain a Condition named 'can cast?'. [casting] [from VisibleThing]
• VisibleThings have an PrimitiveCondition 'empty'. [visible] [from VisibleThing]
• VisibleThings have an PrimitiveCondition 'not empty'. [visible] [from VisibleThing]

Constraints

• "Contained fieldValue property has a default value, even though container already specifies one" [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 ContainsProperties]
• "Type '".+(type.uRI).+("' is incompatible with contained fieldValue type '").+(fieldValue.type.uRI).+("'") [Checks.chk] [from Changeable]

Attributes

Inherited Attributes

• defaultValue : EString (optional)
  The default value of the field value.
• generatedRule : EString (optional)
• id : EString (optional)
  A unique identifier for this model element. Should be globally unique.
• isGenerated : EBoolean (optional)
  True if the current element has been generated.
• name : EString (optional)
  A non-unique string that names a given object. Properties, Operations and Conditions add special semantic meaning to names.
• overridden : EBoolean (optional)
  If a GeneratesElements is overridden, then this element will not generate any elements directly.
• overriddenNames : EString (optional)
  Model generation will not create any containing elements with a matching name to this list.

Children

Inherited Children

• actions : [0...*] ActionEdge
  A list of contained Action s.
• children : [0...*] VisibleThing
• conditionEdges : [0...*] ConditionEdge
  A list of contained ConditionEdge s.
• conditions : [0...*] Condition
  A list of contained Condition s.
• constraintEdges : [0...*] ConstraintEdge
  A list of contained ConstraintEdge s.
• currentInput : [0...1] Property
  This represents 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.
• extendsEdges : [0...*] ExtendsEdge
  A list of contained ExecutionEdge s.
• fieldValue : [0...1] Property
  This represents the value of the Changeable object. This is always a valid type instance.
• onAccess : [0...1] EventTrigger
  This EventTrigger is executed whenever it is accessed.
• onChange : [0...1] EventTrigger
  This EventTrigger is executed whenever it 'changes'.
• onClick : [0...1] EventTrigger
• onInput : [0...1] EventTrigger
  This EventTrigger is executed whenever the current input is changed; e.g. a key has been pressed, but the focus has not been lost yet. Once focus is lost, this value becomes the field value if is of a valid type . This event may only fire on the client-side.
• operations : [0...*] Operation
  A list of contained Operation s.
• parameterEdges : [0...*] ParameterEdge
  A list of contained ParameterEdge s.
• properties : [0...*] Property
  A list of contained Properties.
• providesEdges : [0...*] ProvidesEdge
  A list of contained ProvidesEdge s.
• requiresEdges : [0...*] RequiresEdge
  A list of contained RequiresEdge s.
• schemaEdges : [0...*] SchemaEdge
  A list of contained ConditionEdge s.
• selectEdges : [0...*] SelectEdge
  A list of contained ConditionEdge s.
• values : [0...*] StaticValue
• wires : [0...*] Wire
  A list of contained Wire s.

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.
• inRequiresEdges : [0...*] RequiresEdge [opposite: to]
• inWires : [0...*] Wire [opposite: to]
  A list of incoming Wire s.
• outParameterEdges : [0...*] ParameterEdge [opposite: from]
• outWires : [0...*] Wire [opposite: from]
  A list of outgoing Wire s.
• type : [0...1] XSDSimpleTypeDefinition
  The datatype of the object and its contained fieldValue.

Extensions

Inherited Extensions

• List[model::Operation] allContainerOperations(model::ContainsOperations this) [GeneratorExtensions.ext]
• List[model::Operation] allContainerOperations(model::VisibleThing this) [GeneratorExtensions.ext]
• 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]