|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use IRecordValue | |
---|---|
edu.ksu.cis.projects.bogor.module | Provide a generic framework for dataflow analysis on BIR transition systems. |
edu.ksu.cis.projects.bogor.module.backtrack | Provides types and factories for "undo" operations. |
edu.ksu.cis.projects.bogor.module.throwable | Provides for Bogor throwables. |
edu.ksu.cis.projects.bogor.module.value | Provides for Bogor values. |
edu.ksu.cis.projects.bogor.module.value.event |
Uses of IRecordValue in edu.ksu.cis.projects.bogor.module |
---|
Fields in edu.ksu.cis.projects.bogor.module with type parameters of type IRecordValue | |
---|---|
protected Map<IRecordValue,IntSet> |
DefaultExpEvaluator.readFieldsTable
|
protected Map<IRecordValue,IntSet> |
DefaultActionTaker.writtenFieldsTable
|
Methods in edu.ksu.cis.projects.bogor.module that return IRecordValue | |
---|---|
IRecordValue |
DefaultExpEvaluator.evaluateCast(RecordType castType,
IRecordValue value)
|
IRecordValue |
IExpEvaluator.evaluateCast(RecordType castType,
IRecordValue value)
|
IRecordValue |
DefaultExpEvaluator.evaluateNewRecord(RecordType recordType)
|
IRecordValue |
IExpEvaluator.evaluateNewRecord(RecordType recordType)
|
IRecordValue |
IValueFactory.newRecordValue(RecordType recordType)
Creates a new record value. |
Methods in edu.ksu.cis.projects.bogor.module with parameters of type IRecordValue | |
---|---|
IFieldBacktrackingInfo |
IBacktrackingInfoFactory.createFieldBacktrackingInfo(int stateId,
int threadId,
Action action,
IRecordValue arrayOrRecordValue,
int fieldIndex,
IValue oldValue,
ISchedulingStrategyInfo ssi)
|
IRecordValue |
DefaultExpEvaluator.evaluateCast(RecordType castType,
IRecordValue value)
|
IRecordValue |
IExpEvaluator.evaluateCast(RecordType castType,
IRecordValue value)
|
IValue |
DefaultExpEvaluator.evaluateFieldAccess(IRecordValue value,
int fieldIndex)
|
IValue |
IExpEvaluator.evaluateFieldAccess(IRecordValue value,
int fieldIndex)
|
void |
DefaultStateExternalizer.externalizeRecordField(IRecordValue value,
int fieldIndex)
|
void |
DefaultStateExternalizer.externalizeRecordHeapElement(IRecordValue element)
|
void |
DefaultStateExternalizer.externalizeRecordValue(int indents,
IRecordValue value)
|
IFieldBacktrackingInfo |
DefaultActionTaker.takeAssignFieldAction(AssignAction a,
IRecordValue record,
int fieldIndex,
IValue value)
|
IFieldBacktrackingInfo |
IActionTaker.takeAssignFieldAction(AssignAction a,
IRecordValue record,
int fieldIndex,
IValue value)
|
void |
DefaultActionTaker.takeThrowAction(ThrowAction a,
IRecordValue value)
|
void |
IActionTaker.takeThrowAction(ThrowAction a,
IRecordValue value)
|
Method parameters in edu.ksu.cis.projects.bogor.module with type arguments of type IRecordValue | |
---|---|
void |
DefaultExpEvaluator.setReadFieldsTable(Map<IRecordValue,IntSet> readFieldsTable)
|
void |
IExpEvaluator.setReadFieldsTable(Map<IRecordValue,IntSet> readFieldsTable)
Deprecated. use event framework instead |
void |
DefaultActionTaker.setWrittenFieldsTable(Map<IRecordValue,IntSet> writtenFieldsTable)
|
void |
IActionTaker.setWrittenFieldsTable(Map<IRecordValue,IntSet> writeFieldsTable)
Deprecated. use event framework instead |
Uses of IRecordValue in edu.ksu.cis.projects.bogor.module.backtrack |
---|
Methods in edu.ksu.cis.projects.bogor.module.backtrack that return IRecordValue | |
---|---|
IRecordValue |
IFieldBacktrackingInfo.getArrayOrRecordValue()
|
Methods in edu.ksu.cis.projects.bogor.module.backtrack with parameters of type IRecordValue | |
---|---|
IFieldBacktrackingInfo |
DefaultBacktrackingInfoFactory.createFieldBacktrackingInfo(int stateId,
int threadId,
Action action,
IRecordValue arrayOrRecordValue,
int fieldIndex,
IValue oldValue,
ISchedulingStrategyInfo ssi)
|
Uses of IRecordValue in edu.ksu.cis.projects.bogor.module.throwable |
---|
Methods in edu.ksu.cis.projects.bogor.module.throwable that return IRecordValue | |
---|---|
IRecordValue |
ExceptionThrownBogorException.getThrowableValue()
Gets the throwable record value. |
Constructors in edu.ksu.cis.projects.bogor.module.throwable with parameters of type IRecordValue | |
---|---|
ExceptionThrownBogorException(boolean isDefined,
String throwableName,
IRecordValue throwableValue)
Default constructor. |
Uses of IRecordValue in edu.ksu.cis.projects.bogor.module.value |
---|
Subinterfaces of IRecordValue in edu.ksu.cis.projects.bogor.module.value | |
---|---|
interface |
IArrayValue
Represents an array value. |
Classes in edu.ksu.cis.projects.bogor.module.value that implement IRecordValue | |
---|---|
class |
DefaultArrayValue
The default implementation of IArrayValue . |
class |
DefaultRecordValue
The default implementation of IRecordValue . |
Methods in edu.ksu.cis.projects.bogor.module.value that return IRecordValue | |
---|---|
IRecordValue |
DefaultRecordValue.clone(Map<Object,Object> cloneMap)
|
IRecordValue |
IRecordValue.clone(Map<Object,Object> cloneMap)
Override to specialize return type. |
IRecordValue |
DefaultValueFactory.newRecordValue(RecordType recordType)
|
Uses of IRecordValue in edu.ksu.cis.projects.bogor.module.value.event |
---|
Methods in edu.ksu.cis.projects.bogor.module.value.event with parameters of type IRecordValue | |
---|---|
void |
DefaultRecordEventNotifier.notifyRecordFieldRead(int threadId,
IRecordValue rv,
int fieldIndex,
IValue readValue)
|
void |
DefaultValueEventNotifier.notifyRecordFieldRead(int threadId,
IRecordValue rv,
int fieldIndex,
IValue readValue)
|
void |
IRecordEventNotifier.notifyRecordFieldRead(int threadId,
IRecordValue rv,
int fieldIndex,
IValue readValue)
|
void |
DefaultRecordEventNotifier.notifyRecordFieldWritten(int threadId,
IRecordValue rv,
int fieldIndex,
IValue writtenValue,
IValue oldValue)
|
void |
DefaultValueEventNotifier.notifyRecordFieldWritten(int threadId,
IRecordValue rv,
int fieldIndex,
IValue writtenValue,
IValue oldValue)
|
void |
IRecordEventNotifier.notifyRecordFieldWritten(int threadId,
IRecordValue rv,
int fieldIndex,
IValue writtenValue,
IValue oldValue)
|
void |
IRecordFieldReadListener.recordFieldRead(int threadId,
IRecordValue rv,
int fieldIndex,
IValue readValue)
|
void |
IRecordFieldWrittenListener.recordFieldWritten(int threadId,
IRecordValue rv,
int fieldIndex,
IValue writtenValue,
IValue oldValue)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |