Issue 9913: Section: 8.3.5 (ocl2-rtf) Source: LIANTIS GmbH (Mr. Constantin Szallies, constantin.szallies@liantis.com) Nature: Enhancement Severity: Significant Summary: The abstract syntax defines the classes NullLiteralExp and InvalidLiteralExp but the concrete syntax does not define these literal values. --- I would like to return 'null' in certain OCL expressions for example: context Person::foo() : Person body: if age > 10 then self else null endif Currenty the only correct way to do this is not very straight forward: context Person::foo() : Person body: if age > 10 then self else OclVoid.allInstances()->any() endif The same is true for the singelton instance of OclUndefined. Resolution: Revised Text: Actions taken: July 11, 2006: received isuse Discussion: End of Annotations:===== m: webmaster@omg.org Date: 11 Jul 2006 03:14:41 -0400 To: Subject: Issue/Bug Report -------------------------------------------------------------------------------- Name: Constantin Szallies Company: Liantis GmbH & Co KG mailFrom: constantin.szallies@liantis.com Notification: Yes Specification: Object Constraint Language Section: 8.3.5 FormalNumber: formal/06-05-01 Version: 2.0 RevisionDate: 03/01/2006 Page: 47 Nature: Enhancement Severity: Significant HTTP User Agent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; SV1; .NET CLR 1.1.4322; InfoPath.1) Description The abstract syntax defines the classes NullLiteralExp and InvalidLiteralExp but the concrete syntax does not define these literal values. --- I would like to return 'null' in certain OCL expressions for example: context Person::foo() : Person body: if age > 10 then self else null endif Currenty the only correct way to do this is not very straight forward: context Person::foo() : Person body: if age > 10 then self else OclVoid.allInstances()->any() endif The same is true for the singelton instance of OclUndefined.