Exemplos de NNOEMain em Java

Exemplo n.º 1

Arquivo: NNOEMoreTests.java Projeto: wmdietl/checker-framework

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

      Object xxx = new Object();
      p.test2();
    }

Exemplo n.º 2

Arquivo: NNOEMoreTests.java Projeto: wmdietl/checker-framework

 void call2(NNOEMain p) {
   p.nullable = "";
   p.test1();
 }