|
JIVE Platform Release 0.2.2 |
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectedu.buffalo.cse.jive.ui.search.AbstractJiveSearchQuery
edu.buffalo.cse.jive.ui.search.ExecutionHistorySearchQuery
edu.buffalo.cse.jive.ui.search.queries.LineExecutedSearchQuery
public class LineExecutedSearchQuery
An IJiveSearchQuery that is used to check whether a line is executed.
A relative path of a Java source file and a line number are required as
input. The query returns a match for each time the line is executed.
| Field Summary | |
|---|---|
protected int |
lineNumber
A line number within the source file. |
protected String |
sourcePath
A relative path to the source file of interest. |
| Constructor Summary | |
|---|---|
LineExecutedSearchQuery(String sourcePath,
int lineNumber)
Creates a new search query with the supplied source path and line number. |
|
| Method Summary | |
|---|---|
protected boolean |
checkForMatch(EOSEvent event)
Checks if the supplied event matches the query input. |
ImageDescriptor |
getImageDescriptor()
Returns an ImageDescriptor used to represent the search query's
result in the Search view's 'Show Previous Searches' tool bar action. |
String |
getResultLabel(int matchCount)
Returns a label describing the search result used in the Search view. |
Class<? extends Object> |
getResultType()
Returns the type of search result matches collected by the search query. |
void |
visit(EventOccurrence event)
Visits an EventOccurrernce (other than a
MessageSend). |
void |
visit(MessageSend event)
Visits an occurrence of a MessageSend event. |
| Methods inherited from class edu.buffalo.cse.jive.ui.search.ExecutionHistorySearchQuery |
|---|
addMatch, performSearch |
| Methods inherited from class edu.buffalo.cse.jive.ui.search.AbstractJiveSearchQuery |
|---|
canRerun, canRunInBackground, createSearchResult, getLabel, getSearchResult, run |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
protected String sourcePath
protected int lineNumber
| Constructor Detail |
|---|
public LineExecutedSearchQuery(String sourcePath,
int lineNumber)
sourcePath - the source path of the filelineNumber - the line number of the file| Method Detail |
|---|
public Class<? extends Object> getResultType()
IJiveSearchQueryNOTE: This will be changed in the future. For now, return Event.class for a result containing matches of mixed event types or return the specific class literal for a result containing matches of a single event type (e.g., AssignEvent.class).
getResultType in interface IJiveSearchQuerygetResultType in class ExecutionHistorySearchQuerypublic String getResultLabel(int matchCount)
IJiveSearchQuery
matchCount - the number of matches thus far
public ImageDescriptor getImageDescriptor()
IJiveSearchQueryImageDescriptor used to represent the search query's
result in the Search view's 'Show Previous Searches' tool bar action.
public void visit(EventOccurrence event)
SequenceModel.EventVisitorEventOccurrernce (other than a
MessageSend).
event - the event occurrence being visitedpublic void visit(MessageSend event)
SequenceModel.EventVisitorMessageSend event.
event - the message send being visitedprotected boolean checkForMatch(EOSEvent event)
event - the end-of-statement event to check
true if the source path and line number match,
false otherwise
|
JIVE Platform Release 0.2.2 |
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||