nice-commit

[<ar...@us...>]

Update of /cvsroot/nice/Nice/testsuite/compiler/designByContract
In directory sc8-pr-cvs1:/tmp/cvs-serv21336/F:/nice/testsuite/compiler/designByContract

Modified Files:
	classFunctions.testsuite classMethods.testsuite 
	functions.testsuite methods.testsuite 
Log Message:
Improved locations of some expression.

Index: classFunctions.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/designByContract/classFunctions.testsuite,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** classFunctions.testsuite	12 Nov 2002 15:06:28 -0000	1.1
--- classFunctions.testsuite	27 Jul 2003 13:14:44 -0000	1.2
***************
*** 73,77 ****
    /// Toplevel
  class A {
!   int f() ensures ((/*/// FAIL HERE */ result = 0) == 0)
    = 1;
  }
--- 73,77 ----
    /// Toplevel
  class A {
!   int f() ensures (/*/// FAIL HERE */(result = 0) == 0)
    = 1;
  }

Index: classMethods.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/designByContract/classMethods.testsuite,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** classMethods.testsuite	12 Nov 2002 15:06:28 -0000	1.1
--- classMethods.testsuite	27 Jul 2003 13:14:44 -0000	1.2
***************
*** 80,84 ****
    /// Toplevel
  class A {
!   int f() ensures ((/*/// FAIL HERE */ result = 0) == 0);
   
    f() = 1;
--- 80,84 ----
    /// Toplevel
  class A {
!   int f() ensures (/*/// FAIL HERE */(result = 0) == 0);
   
    f() = 1;

Index: functions.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/designByContract/functions.testsuite,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** functions.testsuite	12 Nov 2002 15:06:28 -0000	1.3
--- functions.testsuite	27 Jul 2003 13:14:44 -0000	1.4
***************
*** 58,61 ****
  /// FAIL
    /// Toplevel
!   int f() ensures ((/*/// FAIL HERE */ result = 0) == 0)
    = 1;
--- 58,61 ----
  /// FAIL
    /// Toplevel
!   int f() ensures (/*/// FAIL HERE */(result = 0) == 0)
    = 1;

Index: methods.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/designByContract/methods.testsuite,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** methods.testsuite	12 Nov 2002 15:06:28 -0000	1.3
--- methods.testsuite	27 Jul 2003 13:14:44 -0000	1.4
***************
*** 65,69 ****
  /// FAIL
    /// Toplevel
!   int f() ensures ((/*/// FAIL HERE */ result = 0) == 0);
   
    f() = 1;
--- 65,69 ----
  /// FAIL
    /// Toplevel
!   int f() ensures (/*/// FAIL HERE */(result = 0) == 0);
   
    f() = 1;