Issue 7459: There should be an OclUndefinedLiteralExp metaclass                                                                                                                                                     (ocl2-ftf)
Source: Klasse Objecten (Dr. Jos Warmer, j.warmer@klasse.nl)
Nature: Uncategorized Issue
Severity: 
Summary: There should be an OclUndefinedLiteralExp metaclass, subtype of PrimitiveLiteralExp. The type of
its instances should always be OclVoid.
Resolution: 
Revised Text: See revised text of 5972.
Actions taken:
June 10, 2004: received issue
November 1, 2005: closed issue
Discussion: 
Resolution:
Resolution of issue 5972 proposes splitting of the notion of OclUndefined in two notions
(NullLiteral and OclInvalid). Two metaclasses named NullLiteralExp and
InvalidLiteralExp are introduced to represent usages of these values within OCL
expressions.
End of Annotations:=====
hould be an OclUndefinedLiteralExp
its instances should always be OclVoid.