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

Packages that use IValueArray

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

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

Fields in edu.ksu.cis.projects.bogor.module declared as IValueArray

protected IValueArray[]

DefaultStateExternalizer.localStack

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

IValueArray	IStateFactoryArguments.getGlobalValues() Gets the initial globalValues
IValueArray	IStateFactoryArguments.getLocalValues(int threadId) Gets the local values of a thread
IValueArray	IValueFactory.newUniformValueArray(IValue[] values) Creates a value array from an array of values.
IValueArray	IValueFactory.newVariedValueArray(IValue[] values) Creates a value array from an array of values.

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

IExceptionBacktrackingInfo	IBacktrackingInfoFactory.createExceptionBacktrackingInfo(int stateId, BogorException throwable, Node node, int threadId, int[] threadLocationStack, int[] threadTransformationIndexStack, IValueArray[] threadLocalValuesStack, int threadLockCount, boolean isUncaught, ISchedulingStrategyInfo ssi, IExceptionBacktrackingInfo.IExceptionKilledThreadInfo[] collateralThreadInfos)
IExceptionBacktrackingInfo.IExceptionKilledThreadInfo	IBacktrackingInfoFactory.createExceptionKilledThreadInfo(int threadId, int[] threadLocationStack, int[] threadTransformationIndexStack, IValueArray[] threadLocalValuesStack, int threadLockCount)
IExitFunctionBacktrackingInfo	IBacktrackingInfoFactory.createExitFunctionBacktrackingInfo(int stateId, int threadId, int locDesc, int transformationIndex, IValueArray localValues, IValue returnValue, ISchedulingStrategyInfo ssi)
IExitThreadBacktrackingInfo	IBacktrackingInfoFactory.createExitThreadBacktrackingInfo(int stateId, int threadId, Action action, int[] threadLocationStack, int[] threadTransformationIndexStack, IValueArray[] threadLocalValuesStack, ISchedulingStrategyInfo ssi)
void	IValueFactory.validate(IValueArray valueArray) Validates a value array.

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

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

IValueArray	IExitFunctionBacktrackingInfo.getFunctionLocalValues()
IValueArray[]	IExceptionBacktrackingInfo.getThreadLocalValuesStack()
IValueArray[]	IExceptionBacktrackingInfo.IExceptionKilledThreadInfo.getThreadLocalValuesStack()
IValueArray[]	IExitThreadBacktrackingInfo.getThreadLocalValuesStack()

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

IExceptionBacktrackingInfo	DefaultBacktrackingInfoFactory.createExceptionBacktrackingInfo(int stateId, BogorException throwable, Node node, int threadId, int[] threadLocationStack, int[] threadTransformationIndexStack, IValueArray[] threadLocalValuesStack, int threadLockCount, boolean isUncaught, ISchedulingStrategyInfo ssi, IExceptionBacktrackingInfo.IExceptionKilledThreadInfo[] collateralThreadInfos)
IExceptionBacktrackingInfo.IExceptionKilledThreadInfo	DefaultBacktrackingInfoFactory.createExceptionKilledThreadInfo(int threadId, int[] threadLocationStack, int[] threadTransformationIndexStack, IValueArray[] threadLocalValuesStack, int threadLockCount)
IExitFunctionBacktrackingInfo	DefaultBacktrackingInfoFactory.createExitFunctionBacktrackingInfo(int stateId, int threadId, int locDesc, int transformationIndex, IValueArray localValues, IValue returnValue, ISchedulingStrategyInfo ssi)
IExitThreadBacktrackingInfo	DefaultBacktrackingInfoFactory.createExitThreadBacktrackingInfo(int stateId, int threadId, Action action, int[] threadLocationStack, int[] threadTransformationIndexStack, IValueArray[] threadLocalValuesStack, ISchedulingStrategyInfo ssi)

Uses of IValueArray in edu.ksu.cis.projects.bogor.module.state

Fields in edu.ksu.cis.projects.bogor.module.state declared as IValueArray

protected IValueArray	DefaultState.globalValues Holds the global values.
protected IValueArray	DefaultThreadStore.localValues Holds the local values of this thread store.

Fields in edu.ksu.cis.projects.bogor.module.state with type parameters of type IValueArray

protected ArrayList<IValueArray>

DefaultThreadStore.valueStack Holds the stack of local values of this thread store ArrayList<IValueArray>.

Methods in edu.ksu.cis.projects.bogor.module.state that return IValueArray

IValueArray	DefaultThreadStore.exitFunction() Exits a function for particular thread.
IValueArray	DefaultState.exitFunction(int threadId)
IValueArray	IState.exitFunction(int threadId) Exits a function for particular thread.
IValueArray	DefaultState.exitThread(int threadId)
IValueArray	IState.exitThread(int threadId) Kills a thread.
IValueArray	DefaultState.getGlobalValues()
IValueArray	IState.getGlobalValues() Gets all global values.
IValueArray	DefaultThreadStore.getLocalValues() Gets the local values of this thread store.
IValueArray	DefaultState.getLocalValues(int threadId)
IValueArray	IState.getLocalValues(int threadId) Gets local values for a particular thread.
IValueArray[]	DefaultThreadStore.getLocalValuesStack() Gets local values stack.
IValueArray[]	DefaultState.getLocalValuesStack(int threadId)
IValueArray[]	IState.getLocalValuesStack(int threadId) Gets local values stack for a particular thread.

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

void	DefaultState.enterFunction(int threadId, IValueArray localValues, int beginLocationDesc, int transformationIndex)
void	IState.enterFunction(int threadId, IValueArray localValues, int beginLocationDesc, int transformationIndex) Enters a function for a particular thread.
void	DefaultThreadStore.enterFunction(IValueArray localValues) Enters a function.
void	DefaultState.newThread(int threadId, IValueArray localValues, int beginLocationDesc)
void	IState.newThread(int threadId, IValueArray localValues, int beginLocationDesc) Creates a new thread.

Constructors in edu.ksu.cis.projects.bogor.module.state with parameters of type IValueArray

DefaultState(SymbolTable st, IStateFactory sf, IValueArray globalValues)
Default constructor.

DefaultThreadStore(IValueArray localValues)
Default constructor.

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

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

class	UniformValueArray The default implementation of IValueArray
class	VariedValueArray The default implementation of IValueArray

Fields in edu.ksu.cis.projects.bogor.module.value declared as IValueArray

protected IValueArray	DefaultArrayValue.elementValues Holds the element values of this array value.
protected IValueArray	DefaultArrayValue.fieldValues Holds the field values of this array value.
protected IValueArray	DefaultRecordValue.fieldValues Holds the field values of this record.

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

IValueArray	IValueArray.clone(boolean deepClone, Map<Object,Object> cloneMap) Clone this value array.
IValueArray	UniformValueArray.clone(boolean deepClone, Map<Object,Object> cloneMap)
IValueArray	VariedValueArray.clone(boolean deepClone, Map<Object,Object> cloneMap)
IValueArray	DefaultArrayValue.getElementValues()
IValueArray	IArrayValue.getElementValues() Gets the element values.
IValueArray	DefaultArrayValue.getFieldValues()
IValueArray	DefaultRecordValue.getFieldValues()
IValueArray	IRecordValue.getFieldValues()
IValueArray	DefaultValueFactory.newUniformValueArray(IValue[] values)
IValueArray	DefaultValueFactory.newVariedValueArray(IValue[] values)

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

void	DefaultValueFactory.validate(IValueArray valueArray)

Constructors in edu.ksu.cis.projects.bogor.module.value with parameters of type IValueArray

DefaultArrayValue(IValueFactory vf, int referenceId, ArrayType type, IValueArray elementValues, IValueArray fieldValues, ILockValue lockValue)
Default constructor.

DefaultRecordValue(IValueFactory vf, int referenceId, RecordType type, IValueArray fieldValues, ILockValue lockValue)
Default constructor.