Realisation
From Arnout Engelen
Contents |
[edit] Practical issues
[edit] Getting list of classes
With a script, possibly calling ESC/Java ('escj -Routine flubber -Typecheck' and parsing output) or eclipse libs?
[edit] Adding annotations
- JParse is used by CANAPA, but it seems very buggy and inconvenient.
- Maybe we could use the ESC/Java java parser,
- or Eclipse JDT
- or whatever is used by PMD
- or whatever is used by FindBugs
- or something from http://www.program-transformation.org/Transform/JavaAbstractSyntax
For the time being the annotations are added with a small perl script instead.
[edit] Using tags
A temporary way because Eclipse JDT doesn't support comments well would be to use tagging instead, maybe afterwards converting tags to JML annotations. Unfortunately, Eclipse JDT only supports tagging when parsing Java 1.5 sources, while ESC/Java supports only pre-1.5 code...
