Re: Contrained ada type in java

[No Spam <nospam@nospam.com>]

Compare

>| public boolean equals(Object obj) {
>|       // Assume proper type was given             <<<<------
>|       return (__level == ((Volume)obj).__level);
>|     }
>|
>|     public int compareTo(Object obj) {
>|       // Assume proper type was given             <<<<------
>|       int other = ((Volume)obj).__level;

With

>| It is quite a lot of work just to get the functionality of
>| enumerated types. Simply using integer constants will be sufficient
>| for most programs, but when value restriction and type safety become <<<<-------
>| issues, you will have to resort to some variation of the more
>| complicated solution.