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.