Re: Pre-condition vs. Post-condition (actually inintialization)

[carson@tron.UUCP (Dana Carson)]

In article <2937@sparko.gwu.edu> mfeldman@seas.gwu.edu () writes:
>make life a whole lot easier by making it _possible_ to initialize all
>types with default initial values, consistently. I am not interested in
>having clients depend upon the initial values; rather I want clients
>to be able to depend on variables, types, whatever, _not_ being
>_uninitialized._ There will always be something in there that's
>"in-range" for the type. Clearly Ada83 thought this was worth doing for
>Mike

  Actually IMHO it should be possible to initialize variables with INVALID
so that it isn't anything legal so that you know that it hasn't been
set.  I believe that Rational allows this on it's machines?

  I do this with enumerated types quite often but you can't do ti with
integers, and I have to put in the checks for the enumerated types
rather than an automatic exception like with ranges. 

--
Dana Carson
Westinghouse Electronic Systems Group  Mail Stop 1615
UUCP:carson@tron.UUCP 
     carson@tron.bwi.wec.com
     ...!uunet!tron!carson
AT&T: (301) 765-3513
WIN: 285-3513