Issue 7461: 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 OclTypeLiteralExp metaclass, subtype of LiteralExp. It should have an association
with UML::Classifier.
Resolution: 
Revised Text: Revised Text:
1) Update figure 5 entitled "the basic structure of the abstract syntax kernel metamodel
for expressions" with the new TypeExp metaclass.
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 following text description.
"""A TypeExp is an expression used to refer to an existing meta type within an
expression. It is used in particular to pass the reference of the meta type when invoking
the operations oclIsKindOf, oclIsTypeOf and oclAsType"""
Actions taken:
June 10, 2004: received issue
November 1, 2005: closed issue
Discussion: 
Resolution:
The TypeExp 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 OclTypeLiteralExp metaclass, subtype of LiteralExp. It should have an association
with UML::Classifier.