[comp.lang.misc] Assertions

sommar@enea.se (Erland Sommarskog) (02/11/90)

Jim Giles (jlg@lambda.UUCP) writes:
)Instead, the language sould provide some mechanism for
)making (checkable) assertions.  For example:
)
)      Assert(n>0 and n<=15)
)...
)Every time a language standard comes up for review, some recommendation
)like the above 'Assert' feature is brought up (it happened for both C
)and Fortran in the last few years).  I don't know what arguments have
)resulted in leaving such features out.

Sounds like you would like Eiffel.
-- 
Erland Sommarskog - ENEA Data, Stockholm - sommar@enea.se
Unix is a virus.