Skip to main content

EscJava and JML models

1 reply [Last post]
danb2008
Offline
Joined: 2008-03-08
Points: 0

Hi.

I am new to Java and am using escjava2 as my static checker. I am using the Netbeans developments environment.

When I try to use objects for escjava such as JMLValueSet, escjava does not know what they are as it is running off an old spec file. I need to tell it a new spec file so it can recognise all the JML value types. Does anyone know which file it should be looking at so I can set it up.

Thanks

Dan

Reply viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.
dermotcochran
Offline
Joined: 2008-03-11
Points: 0

Hi Dan,

Which version of ESC/Java2 are you using? Can you show me the exact error message that you are getting? This may be a limitation of ESC/Java2 rather than of the JML specifications.

Regards,
Dermot

http://kind.ucd.ie/products/opensource/ESCJava2
http://mobius.ucd.ie