Issue 14236: OCL 2.1 Incomplete resolution 9913 InvalidLiteralExpCS and NullLiteralExpCS (ocl2-rtf)
Source: Model Driven Solutions (Dr. Edward Willink, ed(at)willink.me.uk)
Nature: Uncategorized Issue
Severity: 
Summary: Issue 9913 defines the missing InvalidLiteralExpCS and NullLiteralExpCS, but they are never referenced in the grammar.


Suggest:


Add to PrimitiveLiteralExpCS


[E] PrimitiveLiteralExpCS ::= NullLiteralExpCS
[F] PrimitiveLiteralExpCS ::= InvalidLiteralExpCS


and


[E] PrimitiveLiteralExpCS.ast = NullLiteralExpCS.ast
[F] PrimitiveLiteralExpCS.ast = InvalidLiteralExpCS.ast


(not forgetting UnlimitedNaturalLiteralExpCS
Resolution: Yes; resolution 9913 is incomplete
Revised Text: In 9.3 PrimitiveLiteralExpCS add (noting that [E] for UnlimitedNaturalExpCS is
added by Issue 14196)
[F] PrimitiveLiteralExpCS ::= NullLiteralExpCS
[G] PrimitiveLiteralExpCS ::= InvalidLiteralExpCS
and
[F] PrimitiveLiteralExpCS.ast = NullLiteralExpCS.ast
[G] PrimitiveLiteralExpCS.ast = InvalidLiteralExpCS.ast
Actions taken:
August 29, 2009: received issue
April 25, 2011: closed issue
Discussion: 

End of Annotations:=====
ronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApoEAEunmErUnw6S/2dsb2JhbADXH4QZBQ
Date: Sat, 29 Aug 2009 12:03:26 +0100
From: Ed Willink <ed@willink.me.uk>
User-Agent: Thunderbird 2.0.0.22 (Windows/20090605)
To: issues@omg.org
Subject: OCL 2.1 Incomplete resolution 9913 InvalidLiteralExpCS and NullLiteralExpCS
X-Plusnet-Relay: 24786f692a1af0877048068ce111a0c7


Hi


Issue 9913 defines the missing InvalidLiteralExpCS and NullLiteralExpCS, but they are never referenced in the grammar.


Suggest:


Add to PrimitiveLiteralExpCS


[E] PrimitiveLiteralExpCS ::= NullLiteralExpCS
[F] PrimitiveLiteralExpCS ::= InvalidLiteralExpCS


and


[E] PrimitiveLiteralExpCS.ast = NullLiteralExpCS.ast
[F] PrimitiveLiteralExpCS.ast = InvalidLiteralExpCS.ast


(not forgetting UnlimitedNaturalLiteralExpCS).


   Regards


<Down>
<Down>
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApoEAGrv5EpUXebq/2dsb2JhbADVfIQ/BA
Date: Mon, 26 Oct 2009 07:41:45 +0000
From: Ed Willink <ed@willink.me.uk>
User-Agent: Thunderbird 2.0.0.22 (Windows/20090605)
To: "'ocl2-rtf@omg.org'" <ocl2-rtf@omg.org>
Subject: Re: Issue 14236 Incomplete resolution 9913 InvalidLiteralExpCS and
 NullLiteralExpCS
X-Plusnet-Relay: 9754d54aa355c43235656da2e1de88c7


Hi


Attached is the trivial resolution integrating InvalidLiteralExpCS and NullLiteralExpCS.


   Regards


      Ed Willink




 14236-NullAndInValidLiteralExpCS.odt <Down>
<Down>
Disposition: Resolved
OMG Issue No:  14236
Title:	Incomplete resolution 9913 InvalidLiteralExpCS and NullLiteralExpCS

Source:
THALES (Dr. Edward Willink, ed.willink@thalesgroup.com ed@willink.me.uk)
Summary:

Issue 9913 defines the missing InvalidLiteralExpCS and NullLiteralExpCS, but they are never referenced in the grammar.

Suggest:

Add to PrimitiveLiteralExpCS

[E] PrimitiveLiteralExpCS ::= NullLiteralExpCS
[F] PrimitiveLiteralExpCS ::= InvalidLiteralExpCS

and

[E] PrimitiveLiteralExpCS.ast = NullLiteralExpCS.ast
[F] PrimitiveLiteralExpCS.ast = InvalidLiteralExpCS.ast

(not forgetting UnlimitedNaturalLiteralExpCS
Discussion:
Yes; resolution 9913 is incomplete.
Revised Text:
In 9.3 PrimitiveLiteralExpCS add (noting that [E] for UnlimitedNaturalExpCS is added by Issue 14196)

[F] PrimitiveLiteralExpCS ::= NullLiteralExpCS
[G] PrimitiveLiteralExpCS ::= InvalidLiteralExpCS

and

[F] PrimitiveLiteralExpCS.ast = NullLiteralExpCS.ast
[G] PrimitiveLiteralExpCS.ast = InvalidLiteralExpCS.ast

      Ed Willink