ConstraintEdge extends GeneratedElement

Allows for the definition of complex requirements of RequiresEdges through logical operators.

Examples

UserMultiplePermissionsOr.iaml (source)
- An AccessControlHandler which requires only one of two permissions, which are connected by a ConstraintEdge. [UserMultiplePermissionsOr]

Implementation Notes

If an AccessControlHandler's requirementsare connected by a ConstraintEdge of type "OR", only one of the requirements will be necessary to permit access. [UserMultiplePermissionsOr]

Inference Rules

(none)

Constraints

(none)

Attributes

type : ConstraintTypes (required)
The type of logical operator used in this ConstraintEdge.

Accepted literals: AND, OR, XOR

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.

Children

(none)

Inherited Children

(none)

References

from : [1] ConstraintEdgesSource [opposite: outConstraintEdges]
The first element in this ConstraintEdge relationship.
to : [1] ConstraintEdgeDestination [opposite: inConstraintEdges]
The second element in this ConstraintEdge 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.

Extensions

(none)

Inherited Extensions

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