[Nice-commit] Nice/testsuite/compiler/designByContract methods.testsuite,1.7,1.8

[Daniel B. <bo...@us...>]

Update of /cvsroot/nice/Nice/testsuite/compiler/designByContract
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv6072/testsuite/compiler/designByContract

Modified Files:
	methods.testsuite 
Log Message:
Fix importing of class methods with contracts.


Index: methods.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/designByContract/methods.testsuite,v
retrieving revision 1.7
retrieving revision 1.8
diff -C2 -d -r1.7 -r1.8
*** methods.testsuite	30 Jun 2004 09:42:33 -0000	1.7
--- methods.testsuite	22 Jul 2004 16:14:54 -0000	1.8
***************
*** 94,95 ****
--- 94,112 ----
    class A { ?int foo; }
    void bar(A a) requires a.foo == null || notNull(a.foo) >= 0 {}
+ 
+ /// PASS
+   /// package a
+   /// Toplevel
+ // Compilation of contracts in class methods with multiple packages
+ public class Index
+ {
+   final boolean relativeToEnd;
+ 
+   public void `-`()
+     requires this.relativeToEnd
+   {
+   }
+ }
+ 
+   /// package b import a
+   {}