Uses of Interface
edu.utep.cs.jet.gui.OptionPanel

Packages that use OptionPanel

edu.utep.cs.jet.gui	Contains the source code for a graphics user interface to the JML-based unit testing tool for Java.
edu.utep.cs.jet.gui.editor	Contains the source code for a editor that can open a single Java/JML source code file at a time and supports a primitive form of syntax coloring.
edu.utep.cs.jet.gui.tester	Contains the source code to interface with an external test case generation tool.

Uses of OptionPanel in edu.utep.cs.jet.gui

Methods in edu.utep.cs.jet.gui with parameters of type OptionPanel

JMenu

MenuFactory.createOptionMenu(Main tool, OptionPanel... opts) Creates the option menu.

Constructors in edu.utep.cs.jet.gui with parameters of type OptionPanel

OptionDialog(Frame owner, String title, edu.utep.cs.jet.gui.WorkingPane workingPane, OptionPanel... options)
Creates a new instance.

Uses of OptionPanel in edu.utep.cs.jet.gui.editor

Classes in edu.utep.cs.jet.gui.editor that implement OptionPanel

class

Options An option panel to set various editor options.

Methods in edu.utep.cs.jet.gui.editor that return OptionPanel

OptionPanel	Editor.getOptionPanel() Returns the option panel of this editor.
OptionPanel	DefaultEditor.getOptionPanel() Returns the option panel of this editor.

Uses of OptionPanel in edu.utep.cs.jet.gui.tester

Methods in edu.utep.cs.jet.gui.tester that return OptionPanel

OptionPanel	Tester.getOptionPanel() Returns the option panel of this tester.
OptionPanel	DefaultTester.getOptionPanel() Returns the option panel of this tester.