Uses of Interface
edu.ksu.cis.projects.bogor.module.value.IRecordValue

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)