InternetApplication extends ContainsFunctions, ContainsOperations, ContainsValues, ContainsWires, GeneratesElements, NamedElement, Scope

Inference Rules

• An InternetApplication will contain a readOnly Value, named 'blank', which represents an empty string. [autocomplete-wires]
• Accessible elements have an Event named onAccess. [events] [from Accessible]
• A Scope protected by a Gate named 'XXX', with an outgoing ECARule named 'first' or 'last', will contain an ActivityPredicate named 'check XXX' to check that the Gate has been satisfied. [gate] [from Scope]
• The 'check XXX' Function for a Gate, with an outgoing ECARule named 'first' or 'last', will be provided as a runtime SimpleCondition check to that Gate. [gate] [from Scope]
• The 'check XXX' ActivityPredicate for a Gate, with an outgoing ECARule named 'first' or 'last', will be completed with the contents necessary to evaluate the flag Value. [gate] [from Scope]
• Scopes have an Event named onInit. [sessions] [from Scope]
• 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 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 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

• "No frames in internet application" [Checks.chk]
• "Some of the ECARules defined for this trigger may not be executed, as an unconditional navigation will occur due to the priority order, halting ECARule execution" [Checks.chk] [from ActionEdgeSource]
• "You should not have a contained Property named 'fieldValue', unless it is contained within the fieldValue containment feature" [Checks.chk] [from ContainsValues]

Attributes

• runtimeUrl : EString (optional)
  The public root URL of the modelled web application.

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

• sources : [0...*] DomainSource
  A list of contained DomainSources, representing the different sources of DomainTypes in the web application.
• types : [0...*] DomainType
  A list of contained DomainTypes.
• xsdDataTypes : [0...*] EXSDDataType
  A list of contained EXSDDataTypes, acting as bridges between EMF and XSD.

Inherited Children

• accessHandlers : [0...*] AccessControlHandler
  A list of contained AccessControlHandlers.
• conditionEdges : [0...*] SimpleCondition
  A list of contained SimpleConditions.
• constraintEdges : [0...*] ConstraintEdge
  A list of contained ConstraintEdges.
• ecaRules : [0...*] ECARule
  A list of contained ECARules.
• entryGate : [0...1] Gate
  A user accessing this Scope must first satisfy this Gate before its contents can be accessed.
• exitGate : [0...1] Gate
  Once this Scope has been accessed, a user must satisfy this Gate before the user may leave a Frame within this scope.
• extendsEdges : [0...*] ExtendsEdge
  A list of contained ExecutionEdges.
• functions : [0...*] Function
  A list of contained Functions.
• iterators : [0...*] DomainIterator
  A list of contained DomainIterators.
• loginHandlers : [0...*] LoginHandler
  A list of contained LoginHandlers.
• messages : [0...*] Message
  A list of contained Messages.
• onAccess : [0...1] Event
  This Event is executed whenever it is accessed, which may occur many times within a single request.
• onInit : [0...1] Event
  This Event is triggered once when this Scope is initialised.
• operations : [0...*] Operation
  A list of contained Operations.
• parameterEdges : [0...*] Parameter
  A list of contained Parameters.
• parameters : [0...*] QueryParameter
  Runtime HTTP GET parameters of the current URL may be accessed as QueryParameters.
• providesEdges : [0...*] ProvidesEdge
  A list of contained ProvidesEdges.
• requiresEdges : [0...*] RequiresEdge
  A list of contained RequiresEdges.
• schemaEdges : [0...*] SchemaEdge
  A list of contained SchemaEdges.
• scopes : [0...*] Scope
  A Scope can contain many children Scopes through a containment hierarchy.
• 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.
• listeners : [0...*] ECARule [opposite: trigger]
  A list of outgoing ECARules.
• outWires : [0...*] Wire [opposite: from]
  A list of outgoing Wires.

Extensions

• allContainerOperations [GeneratorExtensions.ext]
• allProperties [GeneratorExtensions.ext]
• containingScope [GeneratorExtensions.ext]
• containingSession [GeneratorExtensions.ext]
• frameTitle [GeneratorExtensions.ext]
• getAllConditions [GeneratorExtensions.ext]
• getAllDomainAttributeInstances [GeneratorExtensions.ext]
• getAllDomainIterators [GeneratorExtensions.ext]
• getAllEmails [GeneratorExtensions.ext]
• getAllFrames [GeneratorExtensions.ext]
• getClientSideCacheConditions [GeneratorExtensions.ext]
• getClientSideCacheProperties [GeneratorExtensions.ext]
• getRoot [GeneratorExtensions.ext]

Inherited Extensions

• availableInCurrentScript(model::WireSource source,model::WireDestination target) [GeneratorExtensions.ext]
• availableInCurrentScriptAction(model::ActionEdgeSource source,model::Action target) [GeneratorExtensions.ext]
• model::visual::Frame containingFrame(model::NamedElement this) [Extensions.ext]
• model::visual::Frame frameContainingOperation(model::NamedElement this) [GeneratorExtensions.ext]
• getFailHandler(model::ActionEdgeSource this) [GeneratorExtensions.ext]
• List[model::components::Gate] getFrameEntryGates(model::Scope 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]