 | ESC/Java2 claims System.out to possible dereference to null. |
|
Main.java:82: Warning: Possible null dereference (Null) System.out.println(a[i]); ^ Allready tried //@ assume System.out != null; but one has to add this line whenever System.out occurs in the code. That's not a good solution. I would appreciate a more comfortable solution. regards Klaus |
 | Re: ESC/Java2 claims System.out to possible dereference to null. |
|
Dear Klaus, I am sorry, I cannot reproduce this. I showed in class some examples with System.out.println and this worked without problems. I just checked with the RISC installation of ESC/Java2 and also here there is no problem. I suspect that you may have redefined the environment variable ESC_SPECS to point to the JML specifications of the JML toolkit (by default, ESC/Java2 has its own specifications). If this is the case, please unset the variable again. The only customization that should be necessary, is to set the variables ESCTOOLS_RELEASE and SIMPLIFY in the escjava2 script. You might want to check out the RISC installation of ESC/Java2 resp. send me your Java file to test it here locally. Regards, Wolfgang |