|
JIVE Platform Release 0.3.1 |
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object edu.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 fileMethod Detail |
---|
public Class<? extends Object> getResultType()
IJiveSearchQuery
NOTE: 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 IJiveSearchQuery
getResultType
in class ExecutionHistorySearchQuery
public String getResultLabel(int matchCount)
IJiveSearchQuery
matchCount
- the number of matches thus far
public ImageDescriptor getImageDescriptor()
IJiveSearchQuery
ImageDescriptor
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.EventVisitor
EventOccurrernce
(other than a
MessageSend
).
event
- the event occurrence being visitedpublic void visit(MessageSend event)
SequenceModel.EventVisitor
MessageSend
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.3.1 |
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |