Uses of Class
edu.buffalo.cse.jive.ui.search.JiveSearchPattern

Packages that use JiveSearchPattern

edu.buffalo.cse.jive.ui.search	JIVE runtime search support.
edu.buffalo.cse.jive.ui.search.pages	JIVE search pages.
edu.buffalo.cse.jive.ui.search.queries	JIVE search queries.

Uses of JiveSearchPattern in edu.buffalo.cse.jive.ui.search

Methods in edu.buffalo.cse.jive.ui.search that return JiveSearchPattern

static JiveSearchPattern

JiveSearchPattern.createPattern(JiveSearchPattern.Importer builder) Creates a new pattern using the supplied builder.

Uses of JiveSearchPattern in edu.buffalo.cse.jive.ui.search.pages

Methods in edu.buffalo.cse.jive.ui.search.pages that return JiveSearchPattern

protected JiveSearchPattern

InvariantViolatedSearchPage.createPattern(String className, String instanceNumber, String variableName) Creates a JiveSearchPattern with the supplied values.

Uses of JiveSearchPattern in edu.buffalo.cse.jive.ui.search.queries

Fields in edu.buffalo.cse.jive.ui.search.queries declared as JiveSearchPattern

protected JiveSearchPattern	InvariantViolatedSearchQuery.leftPattern A search pattern for the invariant's left operand.
protected JiveSearchPattern	VariableChangedSearchQuery.pattern A search pattern for the variable change.
protected JiveSearchPattern	ObjectCreatedSearchQuery.pattern A search pattern for the object creation.
protected JiveSearchPattern	MethodReturnedSearchQuery.pattern A search pattern for the method return.
protected JiveSearchPattern	MethodCalledSearchQuery.pattern A search pattern for the method call.
protected JiveSearchPattern	ExceptionCaughtSearchQuery.pattern A search pattern for the catcher of the exception.
protected JiveSearchPattern	InvariantViolatedSearchQuery.rightPattern A search pattern for the invariant's right operand.

Methods in edu.buffalo.cse.jive.ui.search.queries with parameters of type JiveSearchPattern

boolean	ObjectCreatedSearchQuery.NewEventExporter.checkForMatch(JiveSearchPattern pattern) Returns whether the event is a object creation represented by the supplied JiveSearchPattern.
boolean	MethodCalledSearchQuery.CallEventExporter.checkForMatch(JiveSearchPattern pattern) Returns whether the event is a method call represented by the supplied JiveSearchPattern.
boolean	VariableChangedSearchQuery.AssignEventExporter.checkForMatch(JiveSearchPattern pattern, RelationalOperator operator, String rightValue) Returns whether the event is an assignment to a variable represented by the supplied JiveSearchPattern and the condition on the value holds.
boolean	MethodReturnedSearchQuery.ReturnEventExporter.checkForMatch(JiveSearchPattern pattern, RelationalOperator operator, String rightValue) Returns whether the event is a method return represented by the supplied JiveSearchPattern and whether the return value condition holds.
boolean	InvariantViolatedSearchQuery.AssignEventExporter.matchesPattern(JiveSearchPattern pattern) Returns whether the event is an assignment to a variable represented by the supplied JiveSearchPattern.

Constructors in edu.buffalo.cse.jive.ui.search.queries with parameters of type JiveSearchPattern

ExceptionCaughtSearchQuery(JiveSearchPattern pattern, String exceptionName)
Constructs a new search query with the supplied pattern and exception name.

InvariantViolatedSearchQuery(JiveSearchPattern leftPattern, RelationalOperator operator, JiveSearchPattern rightPattern)
Constructs a new search query with the supplied patterns and relational operator.

MethodCalledSearchQuery(JiveSearchPattern pattern)
Constructs a new search query with the supplied pattern.

MethodReturnedSearchQuery(JiveSearchPattern pattern, RelationalOperator operator, String rightValue)
Constructs a new search query with the supplied pattern and relational operator.

ObjectCreatedSearchQuery(JiveSearchPattern pattern)
Constructs a new search query with the supplied pattern.

VariableChangedSearchQuery(JiveSearchPattern pattern, RelationalOperator operator, String value)
Constructs a new search query with the supplied pattern, relational operator, and optional value.