Assertions

Article View: comp.lang.misc

Article #6703

#6703

From: Erland Sommarskog
Date: Sat, 10 Feb 1990 22:27

15 lines
924 bytes

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.

Technical Details

Message-ID: <761@enea.se>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!cs.utexas.edu!tut.cis.ohio-state.edu!ucbvax!bloom-beacon!eru!luth!sunic!enea!sommar

References: <14230@lambda.UUCP>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!cs.utexas.edu!tut.cis.ohio-state.edu!ucbvax!bloom-beacon!eru!luth!sunic!enea!sommar
From: sommar@enea.se (Erland Sommarskog)
Newsgroups: comp.lang.misc
Subject: Assertions
Message-ID: <761@enea.se>
Date: 10 Feb 90 22:27:50 GMT
References: <14230@lambda.UUCP>
Organization: Enea Data AB, Sweden
Lines: 14

Reply to Parent Message