|
JIVE Platform Release 0.2.2 |
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Value | |
---|---|
edu.bsu.cs.jive.contour | Interfaces and classes to support the contour model of program execution. |
edu.bsu.cs.jive.events | Interfaces that define the JiveLog representation for program execution history. |
edu.buffalo.cse.jive.ui.search | JIVE runtime search support. |
edu.buffalo.cse.jive.ui.search.queries | JIVE search queries. |
Uses of Value in edu.bsu.cs.jive.contour |
---|
Subinterfaces of Value in edu.bsu.cs.jive.contour | |
---|---|
static interface |
Value.ContourReference
A value that is a reference to a contour. |
static interface |
Value.Encoded
A value that is described as text. |
static interface |
Value.InnerClassDefinition
The value of an inner class declaration in the contour model. |
static interface |
Value.MethodDefinition
The value of a method declaration in the contour model. |
static interface |
Value.Null
Representation of a null reference. |
static interface |
Value.Uninitialized
Representation of an uninitialized value. |
Methods in edu.bsu.cs.jive.contour that return Value | |
---|---|
Value |
ContourMember.Importer.provideValue()
|
Value |
ContourMember.value()
Get the value stored in this member. |
Methods in edu.bsu.cs.jive.contour with parameters of type Value | |
---|---|
void |
ContourMember.Exporter.addValue(Value value)
|
void |
ContourModel.Listener.valueChanged(ContourModel model,
Contour contour,
VariableID variableID,
Value newValue,
Value oldValue)
Called when a value is changed in the contour model |
Uses of Value in edu.bsu.cs.jive.events |
---|
Methods in edu.bsu.cs.jive.events that return Value | |
---|---|
Value |
ReturnEvent.getReturnValue()
Get the value from this return event. |
Value |
ExceptionEvent.Importer.provideException()
Provides the exception that was caught. |
Value |
AssignEvent.Importer.provideNewValue()
Provide the updated value for the variable. |
Value |
ReturnEvent.Importer.provideReturnValue()
Provides the value returned from the method. |
Methods in edu.bsu.cs.jive.events that return types with arguments of type Value | |
---|---|
List<Value> |
CallEvent.Importer.provideActualParams()
Provides the actual parameter values of the call. |
Methods in edu.bsu.cs.jive.events with parameters of type Value | |
---|---|
void |
ExceptionEvent.Exporter.addException(Value exception)
Adds the exception that was caught. |
void |
AssignEvent.Exporter.addNewValue(Value v)
Adds the new value assigned to the variable. |
void |
ReturnEvent.Exporter.addReturnValue(Value value)
Adds the value returned from the method. |
Method parameters in edu.bsu.cs.jive.events with type arguments of type Value | |
---|---|
void |
CallEvent.Exporter.addActualParams(List<Value> actuals)
Adds the actual parameters of the call. |
Uses of Value in edu.buffalo.cse.jive.ui.search |
---|
Methods in edu.buffalo.cse.jive.ui.search with parameters of type Value | |
---|---|
abstract boolean |
RelationalOperator.evaluate(Value left,
String right)
Evaluates the operator on the supplied values. |
abstract boolean |
RelationalOperator.evaluate(Value left,
Value right)
Evaluates the operator on the supplied values. |
Uses of Value in edu.buffalo.cse.jive.ui.search.queries |
---|
Fields in edu.buffalo.cse.jive.ui.search.queries declared as Value | |
---|---|
protected Value |
ExceptionCaughtSearchQuery.ExceptionEventExporter.exceptionValue
The exception that was caught. |
protected Value |
MethodReturnedSearchQuery.ReturnEventExporter.leftValue
The return value used as the left operand of the condition. |
protected Value |
VariableChangedSearchQuery.AssignEventExporter.value
The value assigned to the variable. |
protected Value |
InvariantViolatedSearchQuery.AssignEventExporter.value
The value assigned to the variable. |
Fields in edu.buffalo.cse.jive.ui.search.queries with type parameters of type Value | |
---|---|
protected Map<String,Value> |
InvariantViolatedSearchQuery.instanceToLeftValueMap
A mapping between an instance number and a value currently assigned with the variable of the left search pattern. |
protected Map<String,Value> |
InvariantViolatedSearchQuery.instanceToRightValueMap
A mapping between an instance number and a value currently assigned with the variable of the right search pattern. |
Methods in edu.buffalo.cse.jive.ui.search.queries with parameters of type Value | |
---|---|
void |
ExceptionCaughtSearchQuery.ExceptionEventExporter.addException(Value exception)
|
void |
VariableChangedSearchQuery.AssignEventExporter.addNewValue(Value v)
|
void |
InvariantViolatedSearchQuery.AssignEventExporter.addNewValue(Value v)
|
void |
MethodReturnedSearchQuery.ReturnEventExporter.addReturnValue(Value value)
|
Method parameters in edu.buffalo.cse.jive.ui.search.queries with type arguments of type Value | |
---|---|
void |
MethodCalledSearchQuery.CallEventExporter.addActualParams(List<Value> actuals)
|
|
JIVE Platform Release 0.2.2 |
|||||||||
PREV NEXT | FRAMES NO FRAMES |