Package edu.utep.cs.et.gui

Contains the source code for a graphics user interface to the JML-based unit testing tool for Java.

See:
Description

Interface Summary

Constants	An interface defining various golobal constants.
Mainable	An interface to the main tool.
MenuFactory.Hideable	An interface to the display panes that can be made visible and invisible.
OptionPanel	The interface to the various option panels that composes the option dialog.
SourceCodeViewer	An interface used by the outputer and the tester to locate and hightlight the source code line corresponding to an error message.
StatusBar	An interface to the status bar.
ToolActionFactory.Commandable	An interface to the commands that can be run in separate threads.

Class Summary

AbstractClassLoader	An abstract class loader that takes into account of the user-defined classpath.
AbstractSourceCodeViewer	An abstract class that turns an editor into a source code viewer.
ActionFactory	A meta factory class to create action factories such as file action factory, edit action factory, and tool action factory.
DefaultStatusBar	A simple status bar that can display the current file name and the current line and column numbers.
DetachablePane	A class implementing detachable and dockable panes.
FileActionFactory	A factory class to create various file manipulation actions.
FileActionFactory.JavaFileFilter	A file filter class to filter out non-java files.
FileActionFactory.PrinterSetupThread	A thread class to set up the page layout for printing.
FileActionFactory.PrintingThread	A thread class to print document.
Main	A graphics user interface to the JML-based unit testing tool for Java.
Main.OutputSourceCodeViewer	Class to turn the JML editor into a source code viewer to be used by the outputer to view the source code.
MenuFactory	A class to create various menus such as file menu, edit menu, tool menu, option menu, view menu, and help menu.
MenuFactory.AboutViewer	The dialog window that displays the tool's version number and copyright notice.
MenuFactory.CheckableMenuItem	A special menu item class that displays an icon (check mark) if the pane corresponding to the menu item is currently visible.
MenuFactory.HelpViewer	A frame class to display the project website.
MenuFactory.LinkListener	A class allowing for the help viewer to load the tool's web page.
OptionDialog	A dialog class to set various tool options.
OutputTextArea	A special text area that can display text messages and recognize error messages produced by external Java and JML tools, such as javac and jmlc.
OutputTextArea.OutputHighlightPainter	An output-specific subclass of the default highlight painter.
Preference
ToolActionFactory	A factory class to create various tool actions such as compile and run.
ToolActionFactory.ClassFileReader	A utility class to parse bytecode files.
Util	A utility class that provides various static utility methods.
ViewController	Controls the layout of the main GUI by dynamically making its subpanes visible and invisible.
WorkingPane	A panel positioned at the center of the GUI to host various main tools.

Package edu.utep.cs.et.gui Description

Contains the source code for a graphics user interface to the JML-based unit testing tool for Java. The main entry class is Main.