Nice/src/bossa/syntax contract.nice,1.5,1.6

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;



-------------------------------------------------------
SF email is sponsored by - The IT Product Guide
Read honest & candid reviews on hundreds of IT Products from real users.
Discover which products truly live up to the hype. Start reading now.
http://ads.osdn.com/?ad_id=6595&alloc_id=14396&op=click