UTJML

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 .


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.