ExtendsEdge extends GeneratedElement, GeneratesElements

Examples

• DomainInheritance.iaml (source)
  • Selecting an instance of a DomainType which has been extended. [DomainInheritance]
  • DomainTypes can extend other DomainTypes to inherit their attributes. [DomainInheritance]
• UserRoleExtends.iaml (source)
  • Using an ExtendsEdge to inherit Rolesand Permissions. [UserRoleExtends]

Implementation Notes

• A new DomainType with inheritanceconnected to an InputForm witha SyncWire will populate the InputForm with an InputTextFieldfor all inherited DomainAttributes. [DomainInheritanceEditing]

Inference Rules

• A DomainAttributeInstance created within a DomainInstance referencing a particular DomainAttribute will be marked as an extension of that attribute through an ExtendsEdge. [new-instance]
• A primaryKey DomainAttribute in a DomainType, represented as a supertype of another DomainType, will be copied into a new 'ID' DomainAttribute and marked as a foreign key. [domain]
• A non- primaryKey DomainAttribute in a DomainType, represented as a supertype of another DomainType, will be copied into the subtype schema and marked as an subattribute. [domain]
• A DomainIterator within a Session protected by both an AccessControlHandler and LoginHandler of type DOMAIN_OBJECT or USER, but the AccessControlHandler requires a Permission without a Role, and which does not specify a SelectEdge, will use the same DomainSource as the DomainType used as a Parameter to the AccessControlHandler. [login-handler]
• A DomainIterator within a Session protected by both an AccessControlHandler and LoginHandler of type DOMAIN_OBJECT or USER, but the handlers both use different DomainTypes (for example, with inheritance), and which does not specify a SelectEdge, will use the same DomainSource as the DomainType used as a Parameter to the AccessControlHandler. [login-handler]
• A DomainIterator within a Session protected by both an AccessControlHandler and LoginHandler of type DOMAIN_OBJECT or USER, but the handlers both use the same DomainTypes, and which does not specify a SelectEdge, will use the same DomainSource as the DomainType used as a Parameter to the AccessControlHandler. [login-handler]
• All Roles that do not extend another Role will extend the default Role. [users]
• A Role extending the default Role will be provided the same DomainSource. [users]

Constraints

• "A Role cannot extend itself" [Checks.chk]

Attributes

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

Inherited Children

References

• from : [1] ExtendsEdgesSource [opposite: outExtendsEdges]
  The source, or subtype, of this RequiresEdge relationship.
• to : [1] ExtendsEdgeDestination [opposite: inExtendsEdges]
  The target, or supertype, of this RequiresEdge relationship.

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.

Extensions

Inherited Extensions

• safeName(model::GeneratedElement this) [GeneratorExtensions.ext]