DomainType extends ContainsWires, ExtendsEdgeDestination, ExtendsEdgesSource, GeneratedElement, GeneratesElements, ParameterEdgesSource, RequiresEdgesSource

The composition of individual data elements into a domain-specific structure.

A DomainType can be composed of many DomainAttributes, each of which has a particular data type. Foreign keys are supported by declaring that a given DomainAttributes extends another through an ExtendsEdge. A DomainType can extend another DomainType through an ExtendsEdge to describe a simple form of inheritance. Multiple inheritance is supported, but circular inheritance is not allowed.

[DomainType.html]

Direct subtypes:

All subtypes: Toggle

Examples

DomainInheritance.iaml (source)
- DomainTypes can extend other DomainTypes to inherit their attributes. [DomainInheritance]
DomainInheritanceEditing.iaml (source)
- Creating a new instance of an inherited DomainType,accessible only within a Session. [DomainInheritanceEditing]
- Creating a new instance of an inherited DomainType. [DomainInheritanceEditing]

Inference Rules

A DomainType which does not contain a primary key DomainAttribute will contain one named 'generated primary key'. [domain]
A DomainSource of type PROPERTIES_FILE will populate the 'properties' DomainType with string- typed DomainAttributes for each value in the source properties file. [file-domain-object]
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]

Constraints

"A DomainType should have at least one DomainSource specified" [Checks.chk]
"You cannot have a DomainType called single_values (reserved word)" [Checks.chk]

Attributes

(none)

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

permissions : [0...*] Permission
If this DomainType is a Role, a list of Permissions that this DomainType may provide.

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

inSchemas : [0...*] SchemaEdge [opposite: to]
A list of outgoing SchemaEdges to specify the potential instance sources of this type.

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.
inExtendsEdges : [0...*] ExtendsEdge [opposite: to]
A list of incoming ExtendsEdges.
outExtendsEdges : [0...*] ExtendsEdge [opposite: from]
A list of outgoing ExtendsEdges.
outParameterEdges : [0...*] Parameter [opposite: parameterValue]
A list of outgoing Parameters.
outRequiresEdges : [0...*] RequiresEdge [opposite: from]
A list of outgoing RequiresEdges.

Extensions

Inherited Extensions

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