 | ESC/Java2 and System.out.print |
|
Dear course participants, it seems that ESC/Java2 has in certain situations problems with System.out.println statements, in that strange warnings may be issued. If for a method warnings are issued which are apparently unrelated to the code of the method, I recommend to comment out the System.out.print statements and have only the rest of the program checked. Regards, Wolfgang PS: please note the specification of exercise 1 which says that no assumptions should be made on the "args" argument of main; rather than using preconditions of main, please check the arguments in your code for correctness. |
Formal Methods in Software Development (SS 2005)
|