RequiresEdge extends ConstraintEdgeDestination, ConstraintEdgesSource, ContainsWires, GeneratedElement

An access requirement for an AccessControlHandler, or a permission requirement for a Role.

Examples

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

Inference Rules

An entry Gate can require a given Label to beset, creating a Frame that must be filled in before the containing Scopecan be accessed. [EntryGateRequiresOpenID]
A Gate protecting a Scope as an entry gate with an incoming RequiresEdge from an expected input value (represented as a Label) -- known as an input entry Gate -- will create an input Frame to allow the user to enter in these expected values. [gate]
An input entry Gate will create an outgoing navigation rule from the Gate named 'fail' to the input Frame. [gate]
An input Frame generated by an input entry Gate will contain an InputTextField for every Label required by that Gate. [gate]

Constraints

(none)

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.

Children

(none)

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

from : [1] RequiresEdgesSource [opposite: outRequiresEdges]
The source, or requiring party, of this RequiresEdge relationship.
to : [1] RequiresEdgeDestination [opposite: inRequiresEdges]
The target, or required element, 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.
inConstraintEdges : [0...*] ConstraintEdge [opposite: to]
A list of outgoing ConstraintEdges.
outConstraintEdges : [0...*] ConstraintEdge [opposite: from]
A list of incoming ConstraintEdges.

Extensions

(none)

Inherited Extensions

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