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

Packages that use IArrayValue

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.value	Provides for Bogor values.
edu.ksu.cis.projects.bogor.module.value.event

Uses of IArrayValue in edu.ksu.cis.projects.bogor.module

Methods in edu.ksu.cis.projects.bogor.module that return IArrayValue

IArrayValue	DefaultExpEvaluator.evaluateCast(ArrayType castType, IArrayValue value)
IArrayValue	IExpEvaluator.evaluateCast(ArrayType castType, IArrayValue value)
IArrayValue	DefaultExpEvaluator.evaluateNewArray(ArrayType arrayType, IValue[] lengths)
IArrayValue	IExpEvaluator.evaluateNewArray(ArrayType arrayType, IValue[] lengths)
IArrayValue	IValueFactory.newArrayValue(ArrayType arrayType, Type[] fieldTypes, int[] lengths) Creates an array value.

Methods in edu.ksu.cis.projects.bogor.module with parameters of type IArrayValue

IArrayElementBacktrackingInfo	IBacktrackingInfoFactory.createArrayElementBacktrackingInfo(int stateId, int threadId, Action action, IArrayValue arrayValue, int elementIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
IValue	DefaultExpEvaluator.evaluateArrayAccess(IArrayValue arrayValue, IIntValue indexValue)
IValue	IExpEvaluator.evaluateArrayAccess(IArrayValue arrayValue, IIntValue indexValue)
IArrayValue	DefaultExpEvaluator.evaluateCast(ArrayType castType, IArrayValue value)
IArrayValue	IExpEvaluator.evaluateCast(ArrayType castType, IArrayValue value)
void	DefaultStateExternalizer.externalizeArrayElement(IArrayValue value, int elementIndex)
void	DefaultStateExternalizer.externalizeArrayField(IArrayValue value, int fieldIndex)
void	DefaultStateExternalizer.externalizeArrayHeapElement(IArrayValue element)
void	DefaultStateExternalizer.externalizeArrayValue(int indents, IArrayValue value)
IArrayElementBacktrackingInfo	DefaultActionTaker.takeAssignArrayElementAction(AssignAction a, IArrayValue array, int elementIndex, IValue value)
IArrayElementBacktrackingInfo	IActionTaker.takeAssignArrayElementAction(AssignAction a, IArrayValue array, int elementIndex, IValue value)

Uses of IArrayValue in edu.ksu.cis.projects.bogor.module.backtrack

Methods in edu.ksu.cis.projects.bogor.module.backtrack that return IArrayValue

IArrayValue

IArrayElementBacktrackingInfo.getArrayValue()

Methods in edu.ksu.cis.projects.bogor.module.backtrack with parameters of type IArrayValue

IArrayElementBacktrackingInfo

DefaultBacktrackingInfoFactory.createArrayElementBacktrackingInfo(int stateId, int threadId, Action action, IArrayValue arrayValue, int elementIndex, IValue oldValue, ISchedulingStrategyInfo ssi)

Uses of IArrayValue in edu.ksu.cis.projects.bogor.module.value

Classes in edu.ksu.cis.projects.bogor.module.value that implement IArrayValue

class

DefaultArrayValue The default implementation of IArrayValue.

Methods in edu.ksu.cis.projects.bogor.module.value that return IArrayValue

IArrayValue	DefaultArrayValue.clone(Map<Object,Object> cloneMap)
IArrayValue	IArrayValue.clone(Map<Object,Object> cloneMap) Override to specialize return type.
IArrayValue	DefaultValueFactory.newArrayValue(ArrayType arrayType, Type[] fieldTypes, int[] lengths)

Uses of IArrayValue in edu.ksu.cis.projects.bogor.module.value.event

Methods in edu.ksu.cis.projects.bogor.module.value.event with parameters of type IArrayValue

void	IArrayElementReadListener.arrayElementRead(int threadId, IArrayValue av, int elementIndex, IValue readValue)
void	IArrayElementWrittenListener.arrayElementWritten(int threadId, IArrayValue av, int elementIndex, IValue writtenValue, IValue oldValue)
void	IArrayFieldReadListener.arrayFieldRead(int threadId, IArrayValue av, int fieldIndex, IValue readValue)
void	IArrayFieldWrittenListener.arrayFieldWritten(int threadId, IArrayValue av, int fieldIndex, IValue writtenValue, IValue oldValue)
void	DefaultArrayEventNotifier.notifyArrayElementRead(int threadId, IArrayValue av, int elementIndex, IValue readValue)
void	DefaultValueEventNotifier.notifyArrayElementRead(int threadId, IArrayValue av, int elementIndex, IValue readValue)
void	IArrayEventNotifier.notifyArrayElementRead(int threadId, IArrayValue av, int elementIndex, IValue readValue)
void	DefaultArrayEventNotifier.notifyArrayElementWritten(int threadId, IArrayValue av, int elementIndex, IValue writtenValue, IValue oldValue)
void	DefaultValueEventNotifier.notifyArrayElementWritten(int threadId, IArrayValue av, int elementIndex, IValue writtenValue, IValue oldValue)
void	IArrayEventNotifier.notifyArrayElementWritten(int threadId, IArrayValue av, int elementIndex, IValue writtenValue, IValue oldValue)
void	DefaultArrayEventNotifier.notifyArrayFieldRead(int threadId, IArrayValue av, int fieldIndex, IValue readValue)
void	DefaultValueEventNotifier.notifyArrayFieldRead(int threadId, IArrayValue av, int fieldIndex, IValue readValue)
void	IArrayEventNotifier.notifyArrayFieldRead(int threadId, IArrayValue av, int fieldIndex, IValue readValue)
void	DefaultArrayEventNotifier.notifyArrayFieldWritten(int threadId, IArrayValue av, int fieldIndex, IValue writtenValue, IValue oldValue)
void	DefaultValueEventNotifier.notifyArrayFieldWritten(int threadId, IArrayValue av, int fieldIndex, IValue writtenValue, IValue oldValue)
void	IArrayEventNotifier.notifyArrayFieldWritten(int threadId, IArrayValue av, int fieldIndex, IValue writtenValue, IValue oldValue)