Package jack.plugin.edit

Class Summary

BCScanner	A simple scanner for Java and JML
Box	Colored part of the edited java source.
EditAction	Action allowing openning the selection in the Jack PO viewer view.
EditButton	Button allowing to "edit" the selected JML file.
JavaLineStyler	Line styler for JML files.
JavaScanner	A simple scanner for Java and JML
SaveMessageDialog	Dialog that indicates that some files need to be saved before an action could occur.