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:
- 8.3.2Literal Expressions
- 8.3.3Name Expressions
8.3Primary Expressions8.3.1OverviewPrimary expressions include the simplest kinds of expressions, from which more complicated kinds are constructed. Parenthesized expressions are also considered primary expressions. The categorization into primary expressions is purely a concept of the concrete syntax, with no additional abstract syntax or mapping specification beyond that given for the various kinds of expressions so categorized. Syntax PrimaryExpression(e: Expression) = NameExpression(e) | NonNamePrimaryExpression(e) NonNamePrimaryExpression(e: Expression) = LiteralExpression(e) | ThisExpression(e) | ParenthesizedExpression(e) | PropertyAccessExpression(e) | InvocationExpression(e) | InstanceCreationExpression(e) | LinkOperationExpression(e) | ClassExtentExpression(e) | SequenceConstructionExpression(e) | SequenceAccessExpression(e) | SequenceOperationExpression(e) | SequenceReductionExpression(e) | SequenceExpansionExpression(e) Cross References
Semantics See the discussion of semantics for each kind of expression in subsequent subclauses. 8.3.2Literal ExpressionsA literal expression comprises a single primitive literal (see Subclause 7.7). (Note that enumeration literals are not denoted using literal expression but, rather, using name expressions—see Subclause 8.3.3.) Syntax LiteralExpression(e: LiteralExpression) = BooleanLiteralExpression(e) | NaturalLiteralExpression(e) | UnboundedLiteralExpression(e) | StringLiteralExpression(e) BooleanLiteralExpression(e: BooleanLiteralExpression) = BooleanLiteral(e.image) NaturalLiteralExpression(e: NaturalLiteralExpression) = NaturalLiteral(e.image) UnboundedLiteralExpression(e: UnboundedLiteralExpression) = UnboundedValueLiteral StringLiteralExpression(e: StringLiteralExpression) = StringLiteral(e.image) 
Figure 8 4 Abstract Syntax of Literal Expressions Cross References
Semantics A literal expression evaluates to the single primitive value denoted by its primitive literal. The type of a literal expression is the primitive type corresponding to the kind of primitive literal it comprises. Its multiplicity is always [1..1].
Figure 8 5 Abstract Syntax for Name Expressions Cross References
NOTE. See Subclause 8.2 for rules on the disambiguation of a qualified name with the dot notation used as a name expression versus a property access expression. Semantics The given name for a name expression must either resolve to an enumeration literal name or to a parameter or local name with an assigned source before the name expression. However, a name with a @parallel annotation as its assigned source may not be used as a name expression (as discussed in Subclause 9.12). A local name is never qualified. A parameter name may only be used if the name expression appears within the body of a behavior with parameters (see UML Superstructure, Subclause 13.3.2). The parameter name may be qualified by the name of the behavior or, if the behavior is the method of an operation, by the name of the operation. But this is never required since the names of the parameters of a behavior are always in the current scope of the definition of the behavior. A name expression is evaluated as follows.
The type and multiplicity of a name expression are the same as its name, determined as given below.
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:
|
