edu.utep.cs.utjml.canica.jmleditor
Class SearchInsertAndHighlight

java.lang.Object
  edu.utep.cs.utjml.canica.jmleditor.SearchInsertAndHighlight

All Implemented Interfaces:

SearchInsertAndHighlightable

public class SearchInsertAndHighlight
extends Object
implements SearchInsertAndHighlightable

The SearchInsertAndHighlight class implements the services to the SearchInsertAndHighlightable class.

Author:

Angelica B. Perez Apr 26, 2006

Constructor Summary

SearchInsertAndHighlight(JMLEditorMDI editor, JFrame frame)
Constructor

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	gotoLineColumn(int line, int col) It highlights the line and column to 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()
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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SearchInsertAndHighlight

public SearchInsertAndHighlight(JMLEditorMDI editor,
                                JFrame frame)

Constructor

Method Detail

insertJMLPrimaryExpression

public void insertJMLPrimaryExpression()

insertClauses

public void insertClauses()

Description copied from interface: SearchInsertAndHighlightable

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

Specified by:

insertClauses in interface SearchInsertAndHighlightable

highlightLine

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

Description copied from interface: SearchInsertAndHighlightable

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

Specified by:

highlightLine in interface SearchInsertAndHighlightable

highlightLine

public void highlightLine(String fileName,
                          int line)

Description copied from interface: SearchInsertAndHighlightable

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

Specified by:

highlightLine in interface SearchInsertAndHighlightable

goToAction

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

Description copied from interface: SearchInsertAndHighlightable

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

Specified by:

goToAction in interface SearchInsertAndHighlightable

icon - The Icon to this action

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

findText

public void findText()

Description copied from interface: SearchInsertAndHighlightable

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.

Specified by:

findText in interface SearchInsertAndHighlightable

replaceText

public void replaceText()

Description copied from interface: SearchInsertAndHighlightable

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 .

Specified by:

replaceText in interface SearchInsertAndHighlightable

gotoLineColumn

public void gotoLineColumn(int line,
                           int col)

It highlights the line and column to the active editing file

Parameters:

line - Line

col - Column

insertJMLPrimaryExpression

public void insertJMLPrimaryExpression(String primaryExpression)

Description copied from interface: SearchInsertAndHighlightable

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

Specified by:

insertJMLPrimaryExpression in interface SearchInsertAndHighlightable

Parameters:

primaryExpression - JML primary expression in string format.