UTJML

edu.utep.cs.utjml.canica.jmleditor
Interface BasicEditorable

All Known Implementing Classes:
BasicEditing

public interface BasicEditorable

This class shall provide the basic editing services to the active editing file in the JML editor. The basic editing services are: undo, redo, cut, copy, paste, delete, delete line, select all text, comment, uncomment, increase indent, and reduce indent.

Author:
Angelica B. Perez, April 26, 2006

Method Summary
 void comment()
          It comments a specific region of text.
 void copy()
          It copies the text selected to the clipboard.
 void cut()
          It cuts the text selected from the editor.
 void delete()
          It deletes the current selected text selection.
 void deleteLine()
          It deletes the current line in the editor.
 void increaseIndent()
          Increases indentation to a line or to a specific region of text previously selected
 void paste()
          It pastes text from the clipboard to editor.
 void redo()
          Goes forward to the next editing text action.
 void reduceIndent()
          Decreases indentation to a line or to a specific region of text previously selected.
 void selectAll()
          It selects (highlight) all text area in the editor.
 void uncomment()
          It should uncomment a specific region of text, or uncomment a complete line of text (if it is commented).
 void undo()
          Goes back to the last editing text action.
 

Method Detail

copy

void copy()
It copies the text selected to the clipboard.


cut

void cut()
It cuts the text selected from the editor.


paste

void paste()
It pastes text from the clipboard to editor.


delete

void delete()
It deletes the current selected text selection.


undo

void undo()
Goes back to the last editing text action.


redo

void redo()
Goes forward to the next editing text action.


deleteLine

void deleteLine()
It deletes the current line in the editor.


selectAll

void selectAll()
It selects (highlight) all text area in the editor.


comment

void comment()
It comments a specific region of text. A line of text will be commented with the following character: //. A specific region of text will be commented starting with /* and ending with


uncomment

void uncomment()
It should uncomment a specific region of text, or uncomment a complete line of text (if it is commented).


increaseIndent

void increaseIndent()
Increases indentation to a line or to a specific region of text previously selected


reduceIndent

void reduceIndent()
Decreases indentation to a line or to a specific region of text previously selected.


UTJML

UTJML is Copyright (C) 2004-2006 by University of Texas at El Paso and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the JML project.