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

All Known Implementing Classes:

SearchInsertAndHighlight

public interface SearchInsertAndHighlightable

This class is an interface responsible to provide the services to highlight a line, to insert a JML primary expression , to insert JML clauses , to go to a line and column, to find text, and to replace text in the JML editor to the active editing file.

Author:

Angelica B. Perez

Method Summary

void	findText() It should provide a graphical interface to input text and search that text in the active editing file or all files opened.
Action	goToAction(String actionName, ImageIcon icon, JFrame frame) It should provide a graphical interface to input the line and column values, go to that specific section in the active editing file.
void	highlightLine(String fileName, int line) It highlights a line of text given in the file name.
void	highlightLine(String fileName, int line, int col) It highlights a line and column of text given in file name given.
void	insertClauses() It should insert the group of clauses to the active editing file.
void	insertJMLPrimaryExpression(String primaryExpression) It should insert a JML primary expression to the active editing file.
void	replaceText() It should provide a graphical interface to input text and replace that text in the active editing file or all files opened.

Method Detail

insertJMLPrimaryExpression

void insertJMLPrimaryExpression(String primaryExpression)

It should insert a JML primary expression to the active editing file.

Parameters:

primaryExpression - JML primary expression in string format.

insertClauses

void insertClauses()

It should insert the group of clauses to the active editing file.

highlightLine

void highlightLine(String fileName,
                   int line,
                   int col)

It highlights a line and column of text given in file name given.

highlightLine

void highlightLine(String fileName,
                   int line)

It highlights a line of text given in the file name.

goToAction

Action goToAction(String actionName,
                  ImageIcon icon,
                  JFrame frame)

It should provide a graphical interface to input the line and column values, go to that specific section in the active editing file.

Parameters:

frame - The frame where the Go to dialog will be displayed

icon - The Icon to this action

string - action name

findText

void findText()

It should provide a graphical interface to input text and search that text in the active editing file or all files opened. The search text action will obey the search and replace editor preference.

replaceText

void replaceText()

It should provide a graphical interface to input text and replace that text in the active editing file or all files opened. The replace text action will obey the search and replace editor preference .