Beispiel #1
0
    void call1(NNOEMain p) {
      // :: error: (contracts.precondition.not.satisfied)
      p.test1();

      Object xxx = new Object();
      p.test2();
    }
Beispiel #2
0
 void call2(NNOEMain p) {
   p.nullable = "";
   p.test1();
 }