RISC » FormalMethods05 » Forums » Discussion Forum » ESC/Java2 claims System.out to possible dereference to null. » Re: ESC/Java2 claims System.out to possible dereference to null.
Search 
 
Re: ESC/Java2 claims System.out to possible dereference to null.
by Wolfgang Schreiner - Friday, March 25 2005, 08:27 AM
  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


Show parent | Reply