Issue 2749:  (pids-rtf2)
Source:  (, )
Nature: 
Severity: 
Summary: 
Resolution: 
Revised Text: 
Actions taken:
June 16, 1999: received issue
Discussion: 

End of Annotations:=====
Sender: jis@fpk.hp.com
Message-ID: <380E32EF.2889F9F@fpk.hp.com>
Date: Wed, 20 Oct 1999 17:23:59 -0400
From: Jishnu Mukerji <jis@fpk.hp.com>
Organization: Hewlett-Packard EIAL
X-Mailer: Mozilla 4.08 [en] (X11; U; HP-UX B.11.00 9000/889)
MIME-Version: 1.0
To: orb_revision@omg.org
Subject: Issue 2749
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset=us-ascii
X-UIDL: PM1!!jMe!!E/id90hG!!

Issue 2749: Union issue (orb_revision)

Click here for this issue's archive. 
Source: Floorboard Software (Mr. Jonathan Biggar, jon@floorboard.com) 
Nature: Uncategorized Issue 
Severity: 
Summary: Section 3.10.2.2 of ptc/99-03-07: Nowhere in the description
of unions
is the following union disallowed: 

    union Foo switch (boolean) { 
        case TRUE: long l; 
        case FALSE: short s; 
        default: char c; };

A sentence should be added to this section that states: If the default
case
appears in a union, there must be at least one value of the
discriminant type
which is not used by another case. 
Resolution: 
Revised Text: 
Actions taken: 
June 16, 1999: received issue 

_______________________________________________________

Based on text proposed by Nick and Michi the proposed resolution from
the
discussion:

Resolution: Clarifying text should be added to 3.10.2.2.
Revised Text: Insert the following paragraph immediately following the
bullet
list in section 3.10.2.2 near the top of page 3-37:

"The values of the constant expressions for the case labels of a
single union
definition must be distinct. A union type can contain a default label
only where
the values given in the non-default labels do not cover the entire
range of the
union's discriminant type."

Comments?

Jishnu.
-- 
Jishnu Mukerji
Systems Architect

Email: jis@fpk.hp.com         Hewlett-Packard  EIAL,
Tel:  +1 973 443 7528         300 Campus Drive, 2E-62,
Fax:  +1 973 443 7422         Florham Park, NJ 07932, USA.
Reply-To: <nick.sharman@peerlogic.com>
From: "Nick Sharman" <nick.sharman@peerlogic.com>
To: <jis@fpk.hp.com>, <orb_revision@omg.org>
Subject: RE: Issue 2749
Date: Thu, 21 Oct 1999 15:57:09 +0100
Message-ID: <003f01bf1bd4$8c621c80$5610a8c0@thumper.uk.peerlogic.com>
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
X-Priority: 3 (Normal)
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook 8.5, Build 4.71.2173.0
Importance: Normal
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3110.3
In-Reply-To: <380E32EF.2889F9F@fpk.hp.com>
Content-Type: text/plain;
	charset="iso-8859-1"
X-UIDL: %;f!!f<`!!eQ[!!&g'!!

Fine.

Nick


> -----Original Message-----
> From: jis@fpk.hp.com [mailto:jis@fpk.hp.com]
> Sent: Wednesday, October 20, 1999 10:24 PM
> To: orb_revision@omg.org
> Subject: Issue 2749
> 
> 
> Issue 2749: Union issue (orb_revision)
> 
> Click here for this issue's archive. 
> Source: Floorboard Software (Mr. Jonathan Biggar,
> jon@floorboard.com) 
> Nature: Uncategorized Issue 
> Severity: 
> Summary: Section 3.10.2.2 of ptc/99-03-07: Nowhere in the 
> description of unions
> is the following union disallowed: 
> 
>     union Foo switch (boolean) { 
>         case TRUE: long l; 
>         case FALSE: short s; 
>         default: char c; };
> 
> A sentence should be added to this section that states: If the 
> default case
> appears in a union, there must be at least one value of the 
> discriminant type
> which is not used by another case. 
> Resolution: 
> Revised Text: 
> Actions taken: 
> June 16, 1999: received issue 
> 
> _______________________________________________________
> 
> Based on text proposed by Nick and Michi the proposed resolution
> from the
> discussion:
> 
> Resolution: Clarifying text should be added to 3.10.2.2.
> Revised Text: Insert the following paragraph immediately 
> following the bullet
> list in section 3.10.2.2 near the top of page 3-37:
> 
> "The values of the constant expressions for the case labels of a 
> single union
> definition must be distinct. A union type can contain a default 
> label only where
> the values given in the non-default labels do not cover the 
> entire range of the
> union's discriminant type."
> 
> Comments?
> 
> Jishnu.
> -- 
> Jishnu Mukerji
> Systems Architect
> 
> Email: jis@fpk.hp.com         Hewlett-Packard  EIAL,
> Tel:  +1 973 443 7528         300 Campus Drive, 2E-62,
> Fax:  +1 973 443 7422         Florham Park, NJ 07932, USA.
>