edu.buffalo.cse.jive.ui.search.queries
Class InvariantViolatedSearchQuery.AssignEventExporter

java.lang.Object
  edu.buffalo.cse.jive.ui.search.queries.InvariantViolatedSearchQuery.AssignEventExporter

All Implemented Interfaces:

AssignEvent.Exporter, Event.Exporter

Enclosing class:

InvariantViolatedSearchQuery

protected class InvariantViolatedSearchQuery.AssignEventExporter
extends Object
implements AssignEvent.Exporter

An exporter used to examine AssignEvents and to determine if the event is an assignment to a variable represented by a JiveSearchPattern.

Field Summary

protected String	className The fully-qualified class name containing the variable assignment.
protected String	instanceNumber The instance number of the class containing the variable assignment.
protected String	methodName The method name where the variable assignment is occurring if the variable is a parameter or local variable.
protected Value	value The value assigned to the variable.
protected String	variableName The variable which is being assigned a value.

Constructor Summary

protected

InvariantViolatedSearchQuery.AssignEventExporter()

Method Summary

void	addContourID(ContourID id) Adds the identifier for the contour that contains the variable whose value is changing.
void	addNewValue(Value v) Adds the new value assigned to the variable.
void	addNumber(long n) Get the sequence number of this event.
void	addThreadID(ThreadID thread) Adds the thread on which this event took place.
void	addVariableID(VariableID variableID) Adds the identifier of the variable that has changed value.
boolean	matchesPattern(JiveSearchPattern pattern) Returns whether the event is an assignment to a variable represented by the supplied JiveSearchPattern.

Methods inherited from class java.lang.Object

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

Field Detail

className

protected String className

The fully-qualified class name containing the variable assignment.

instanceNumber

protected String instanceNumber

The instance number of the class containing the variable assignment.

methodName

protected String methodName

The method name where the variable assignment is occurring if the variable is a parameter or local variable.

variableName

protected String variableName

The variable which is being assigned a value.

value

protected Value value

The value assigned to the variable.

Constructor Detail

InvariantViolatedSearchQuery.AssignEventExporter

protected InvariantViolatedSearchQuery.AssignEventExporter()

Method Detail

addContourID

public void addContourID(ContourID id)

Description copied from interface: AssignEvent.Exporter

Adds the identifier for the contour that contains the variable whose value is changing.

Specified by:

addContourID in interface AssignEvent.Exporter

Parameters:

id - the variables context

addNewValue

public void addNewValue(Value v)

Description copied from interface: AssignEvent.Exporter

Adds the new value assigned to the variable. This method is called by AssignEvent#export(Exporter).

Specified by:

addNewValue in interface AssignEvent.Exporter

Parameters:

v - the new value

addVariableID

public void addVariableID(VariableID variableID)

Description copied from interface: AssignEvent.Exporter

Adds the identifier of the variable that has changed value.

Specified by:

addVariableID in interface AssignEvent.Exporter

Parameters:

variableID - the variable identifier

addNumber

public void addNumber(long n)

Description copied from interface: Event.Exporter

Get the sequence number of this event. Each event has a unique sequence number with respect to a single execution.

Specified by:

addNumber in interface Event.Exporter

Parameters:

n - the event number

addThreadID

public void addThreadID(ThreadID thread)

Description copied from interface: Event.Exporter

Adds the thread on which this event took place.

Specified by:

addThreadID in interface Event.Exporter

Parameters:

thread - the thread identifier

matchesPattern

public boolean matchesPattern(JiveSearchPattern pattern)

Returns whether the event is an assignment to a variable represented by the supplied JiveSearchPattern.

Parameters:

pattern - the pattern to check against

Returns:

true if the assignment can be associated with the pattern, false otherwise