Uses of Interface
edu.utep.cs.utjml.canica.output.OutputPaneable

Packages that use OutputPaneable

edu.utep.cs.utjml.canica	Contains the source code for Canica, an IDE for JML.
edu.utep.cs.utjml.canica.output
edu.utep.cs.utjml.canica.tool

Uses of OutputPaneable in edu.utep.cs.utjml.canica

Methods in edu.utep.cs.utjml.canica that return OutputPaneable

OutputPaneable	Mainable.outputPane() Returns the output pane of this GUI.
OutputPaneable	Main.outputPane()

Uses of OutputPaneable in edu.utep.cs.utjml.canica.output

Classes in edu.utep.cs.utjml.canica.output that implement OutputPaneable

class

OutputPaneController OutputPaneController Implementation class of the OutputPaneable.

Uses of OutputPaneable in edu.utep.cs.utjml.canica.tool

Methods in edu.utep.cs.utjml.canica.tool with parameters of type OutputPaneable

static void

CanicaTestRunner.run(Class test, OutputPaneable outputPane) It runs a test data file, given as arguments, the test data file and the outputPane interface to access the GUI objects.

Constructors in edu.utep.cs.utjml.canica.tool with parameters of type OutputPaneable

JDKTool.CommandThread(String cmd, File dir, OutputPaneable outputPane, FileBrowserable fileBrowser, Mainable canica)
Creates a new instance.

JDKTool(Mainable canica, OutputPaneable output, FileBrowserable fileBrowser)
Constructor

TestingTools(OutputPaneable output, Mainable canica)

ToolController(Mainable canica, OutputPaneable output)
Constructor