UTJML

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

java.lang.Object
  extended by 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.

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.