Issue 7460: There should be an OclTypeLiteralExp metaclass                                                                                                                                                          (ocl2-ftf)
Source: Klasse Objecten (Dr. Jos Warmer, j.warmer@klasse.nl)
Nature: Uncategorized Issue
Severity: 
Summary: There should be an OclStateLiteralExp metaclass, subtype of LiteralExp. It should have an association
with UML::State.
Resolution: 
Revised Text: Revised Text:
1) Add StateExp metaclass in figure 5 "the basic structure of the abstract syntax kernel
metamodel for expressions".
TypedElement
Classifier
TypeExp
0..1
*
+referredType
FeaturePropertyCall
LiteralExp IfExp MessageExp
IteratorExp
VariableExp
Parameter
IterateExp
CallExp
LoopExp
OclExpression
0..1
0..1
+source
+appliedElement
1
0..1
+body
+loopBodyOwner
Variable
0..1
*
+referredVariable
+referringExp
0..1
*
+representedParameter
+variable
0..1
*
+loopExp
+iterator
0..1
0..1
+result
+baseExp
0..1
0..1
+initExpression
+initializedElemen0..t
StateExp
State
0..1
*
+referredState
2) Add the class description below:
"""A StateExp is an expression used to refer to a state of a class within an expression. It is
used to pass direcly to the pre-defined operation oclInState the reference of a state of a
class defined in the UML model.""
Actions taken:
June 10, 2004: received issue
November 1, 2005: closed issue
Discussion: 
Resolution: The StateExp metaclass is introduced. This is in line with the observation
that it is not possible to use enumerations to treat type reflection (see issues 6610 and
6531).
End of Annotations:=====
hould be an OclStateLiteralExp metaclass, subtype of LiteralExp. It should have an association
with UML::State.