Re: constrained subtypes

[Christoph Grein <christoph.grein@eurocopter.com>]

    subtype S is Integer range 1 .. 4;
    V : S

begin

    case V is
	when 1 =>
	    [statement]
	when 2 .. 3 =>
	    [statement]
	when 4 =>
	    [statement]
    end case;
    
    case (V) is          -- (V) is an expression of type Integer
	when 1 =>
	    [statement]
	when 2 .. 3 =>
	    [statement]
	when 4 =>
	    [statement]
	when others =>   -- needed
	    [statement]
    end case;

> Problem seemed to be in using:
> 
> case (constrained_subtype)
> 
> rather than:
> 
> case constrained_subtype
> 
> Removing the brackets sorted the problem.  Not sure why this is a problem
> for constrained subtypes, as the compilers cope fine for enums and (base)
> integers.
> 
> Sorry I didn't put the original code in my post, but was away from my build
> machine, so was relying on my memory.  Thanks for all reponses.
> 
> 
> "George Stevens" <george.stevens@baesystems.com> wrote in message
> news:3c8cc63b$1@pull.gecm.com...
> > We're trying to use subtypes of base integer, constraining them 1 .. 8
> > (i.e. static values)
> > When we use these types in a case statement, covering values 1 - 8, the
> > Aonix Ada compiler (7.1.2) complains that we haven't defined "others".
> > However, we shouldn't need to, as all cases are within the constrained
> > limits.  I've looked at Programming in Ada 95 - Barnes (p106) which seems
> to
> > suggest that we're doing the right thing language-wise, so long as the
> range
> > limits are static types.
> >
> > Is this a compiler funny or an Ada funny?
> >
> >
> 
> 
> _______________________________________________
> comp.lang.ada mailing list
> comp.lang.ada@ada.eu.org
> http://ada.eu.org/mailman/listinfo/comp.lang.ada