Update of /cvsroot/nice/Nice/stdlib/nice/lang
In directory sc8-pr-cvs1:/tmp/cvs-serv18292/F:/nice/stdlib/nice/lang
Modified Files:
assertions.nice
Log Message:
Generating better bytecode for pre/post-conditions i.e. no duplicate checks whether assertions are turned on or not.
Index: assertions.nice
===================================================================
RCS file: /cvsroot/nice/Nice/stdlib/nice/lang/assertions.nice,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** assertions.nice 11 Oct 2002 12:09:41 -0000 1.2
--- assertions.nice 19 Mar 2003 00:45:17 -0000 1.3
***************
*** 12,13 ****
--- 12,19 ----
void `assert`(boolean condition, String message) =
inline nice.lang.inline.Assert();
+
+ void `contractAssert`(boolean condition) =
+ inline nice.lang.inline.Assert("contract");
+
+ void `contractAssert`(boolean condition, String message) =
+ inline nice.lang.inline.Assert("contract");
|