[Nice-commit] Nice/src/bossa/syntax contract.nice,1.5,1.6

[Artem Gr K. <ar...@us...>]

Update of /cvsroot/nice/Nice/src/bossa/syntax
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv23393/src/bossa/syntax

Modified Files:
	contract.nice 
Log Message:
Forced assertions (RFE 1153220) and automatic assertion message.

Index: contract.nice
===================================================================
RCS file: /cvsroot/nice/Nice/src/bossa/syntax/contract.nice,v
retrieving revision 1.5
retrieving revision 1.6
diff -C2 -d -r1.5 -r1.6
*** contract.nice	4 Mar 2005 01:55:19 -0000	1.5
--- contract.nice	2 Apr 2005 09:14:24 -0000	1.6
***************
*** 29,33 ****
    public void addElement(Expression condition, ?Expression name, boolean precond)
    {
!     let sym =  createIdentExp(new LocatedString("alwaysAssert", condition.location()));
  
      Expression call;
--- 29,33 ----
    public void addElement(Expression condition, ?Expression name, boolean precond)
    {
!     let sym = createIdentExp(new LocatedString("!assert", condition.location()));
  
      Expression call;