Ad/2010-08-01 Concrete Syntax for a uml action Language for Foundational uml (Alf) Second Revised Submission
Download 1.74 Mb.
|
- Navigate this page:
- 13.2.14EqualityExpression
- 13.2.15Expression
- 13.2.16ExtentOrExpression
13.2.13ConditionalTestExpressionAn expression that uses the value of one operand expression to condition the evaluation of one of two other operand expressions. Generalizations Synthesized Properties
The first operand expression, which provides the condition to be tested.
The second operand expression, to be evaluated if the condition is true.
The third operand expression, to be evaluated if the condition is false. Derived Properties None
[1] conditionalTestExpressionAssignmentsAfter If a name is unassigned after the first operand expression and has an assigned source after one of the other operand expression, then it must have an assigned source after both of those expressions. [2] conditionalTestExpressionAssignmentsBefore The assignments before the first operand expression of a conditional-test expression are the same as those before the conditional-test expression. The assignments before the second and third operand expressions are the same as those after the first operand expression.
[3] conditionalTestExpressionCondition The first operand expression of a conditional-test expression must be of type Boolean and have a multiplicity upper bound of 1.
[4] conditionalTestExpressionLowerDerivation The multiplicity lower bound of a conditional-test operator expression is the minimum of the multiplicity lower bounds of its second and third operand expressions.
[5] conditionalTestExpressionTypeDerivation The type of a conditional-test operator expression is the effective common ancestor (if one exists) of the types of its second and third operand expressions.
[6] conditionalTestExpressionUpperDerivation The multiplicity upper bound of a conditional-test operator expression is the maximum of the multiplicity upper bounds of its second and third operand expressions.
[1] updateAssignments ( ) : AssignedSource [*] Returns unchanged all assignments for local names that are not reassigned in either the second or third operand expressions. Any local names that have different assignments after the second and third operand expressions are adjusted to have the conditional-test expression as their assigned source.
Synthesized Properties None
Whether the test is for being not equal. Constraints [1] equalityExpressionIsNegatedDerivation An equality expression is negated if its operator is "!=". [2] equalityExpressionLowerDerivation An equality expression has a multiplicity lower bound of 1.
[3] equalityExpressionTypeDerivation An equality expression has type Boolean.
[4] equalityExpressionUpperDerivation An equality expression has a multiplicity upper bound of 1.
None
A model of the common properties derived for any Alf expression. NOTE: The derivations for all properties of Expression except AssignmentsAfter are specific to its various subclasses. Generalizations
Synthesized Properties None
The assigned sources for local names available lexically after this expression. This includes not only any assignments made within the expression, but also any assignments that are unchanged from before the expression.
The assigned sources for local names available lexically before this expression.
The statically determined lower bound of the multiplicity of this expression.
A reference to the element that specifies the statically determined type for this expression (if any).
The statically determined upper bound of the multiplicity of this expression. Constraints [1] expressionAssignmentsAfterDerivation The assignments after an expression are given by the result of the updateAssignments helper operation.
[2] expressionUniqueAssignments No name may be assigned more than once before or after an expression.
[1] updateAssignments ( ) : AssignedSource [*] Returns the assignments from before this expression updated for any assignments made in the expression. By default, this is the same set as the assignments before the expression. This operation is redefined only in subclasses of Expression for kinds of expressions that make assignments.
None
Synthesized Properties
If the target is a qualified name, then that name, before it is disambiguated into either a name expression or a class name.
The target primary expression, if it is not a qualified name. Derived Properties
The effective expression for the target. Constraints [1] extentOrExpressionExpressionDerivation The effective expression for the target is the parsed primary expression, if the target is not a qualified name, a name expression, if the target is a qualified name other than a class name, or a class extent expression, if the target is the qualified name of a class.
None
Directory: spec spec -> Illinois state board of education spec -> Volume Ⅴ (2015) On The 2015 China Victory Day Parade spec -> General information spec -> Topeka capital-journal spec -> P-8153 Frederick Tilp II (upper right) with plumbers who worked for him spec -> Catalog of My Wine Library Thomas Pinney Claremont, California 2004 note spec -> Unique 00225 Mobile Barrier (2015 Specifications: 12-04-14) spec -> Annual Conference " Initium Novum" spec -> Petroleum Development Oman L. L. C. Document Title: Specification for hse cases Download 1.74 Mb. Share with your friends:
|