Uses of Interface
edu.utep.cs.utjml.canica.jmleditor.JMLEditorable

Packages that use JMLEditorable

edu.utep.cs.utjml.canica	Contains the source code for Canica, an IDE for JML.
edu.utep.cs.utjml.canica.filebrowser	Contains the source code to provide a directory browser, a document selector, and a file statistics information.
edu.utep.cs.utjml.canica.jmleditor	Contains the source code to provide a JML editor, using MDI functionality.
edu.utep.cs.utjml.canica.output

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

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

JMLEditorable	Mainable.editor() Returns the editor of this GUI.
JMLEditorable	Main.editor() Returns the editor of this GUI

Uses of JMLEditorable in edu.utep.cs.utjml.canica.filebrowser

Constructors in edu.utep.cs.utjml.canica.filebrowser with parameters of type JMLEditorable

DocumentSelector(JMLEditorable editor)
Constructors

Uses of JMLEditorable in edu.utep.cs.utjml.canica.jmleditor

Classes in edu.utep.cs.utjml.canica.jmleditor that implement JMLEditorable

class

JMLEditorMDI This is the controller class of the JML Editor.

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

Fields in edu.utep.cs.utjml.canica.output declared as JMLEditorable

protected JMLEditorable

OutputPaneConsole.editor The editor to this GUI

Constructors in edu.utep.cs.utjml.canica.output with parameters of type JMLEditorable

OutputPaneConsole(int rows, int columns, JMLEditorable editor)
Constructs a new empty TextArea with the specified number of rows and columns.

OutputPaneConsole(JMLEditorable editor)

OutputPaneController(Mainable canica, JMLEditorable jmlEditor)
Initializes the output pane view and all its components.

OutputPaneView(BorderLayout layout, JMLEditorable editor)
Constructor of outputpane view, sets the layout, and uses the JML editor.