Package jack.plugin.source

Class Summary

AddJmlAction	Action allowing to generate JML specification.
AddJmlClauseWizard	Wizard allowing to select JML clause to generate, file when the automatic annotation is performed, view the difference between the new files and the old ones and perform finally the modifications.
JmlClauseGenerator	Generator of JML clause.
JmlMergeViewer	A text merge viewer for JML files.
JmlMergeViewerContentProvider	Content provider for the JML merge viewer.
LoadAndLink	Action that loads end links a JML file.
MethodListContentProvider	Content provider for the method list page.
MethodListLabelProvider	Label provider for the method list page.
ModifiesGenerator	Generator of modifies clause.
RequiresGenerator	Generator of requires clause.