Package jack.plugin.compile

Class Summary

CompilationUnitDecorator	Decorator allowing to add annotations to the name of the Java files.
CompileButton	Action allowing to compile
CompileMessageDialog	This class defines a dialog that indicates that some files need to be recompiled.
PoGenerator	Class that calls jml2b in order to generate proof obligations.
PoGeneratorErrorHandler	Error handler that adds markers for errors instead of just printing errors to stderr.
VerifySourceAction	Popup action that allows to generate .jpo files when a java file is selected.