JML4

JML4 - has been superseded by [JmlEclipse]

+ Process

• How to contribute to development of the JML4 core (workflow)

+ How to

• Setup Eclipse for JML4 and run tests to verify installation.
• Build the parser.
• Commit an Eclipse.org "vendor" release.
• Merge the changes of a vendor release into the JML4 JDT Core.
• Run JML projects inside of JML4: ensure that the JML4 Eclipse is run from a Java 6 (or later) JRE. JML projects will need to be set to a Java 6 compliance level or higher and will also have to include org.jmlspecs.annotation in their build path.

+ Notes and information

• Developers' Journal
• JML4 Repository
• JDT, Jikes parser notes
• JML4 Grammar
• Developer Questions and Concerns -- A place for questions and concerns about the JDT architecture.
• Other: TO DO Matrix

Winter School
Exercises from Winter School
Notes from Winter School