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

Packages that use IValue

edu.ksu.cis.projects.bogor	Provides for Bogor command-line interface (CLI) and configuration.
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.state.event
edu.ksu.cis.projects.bogor.module.value	Provides for Bogor values.
edu.ksu.cis.projects.bogor.module.value.event

Uses of IValue in edu.ksu.cis.projects.bogor

Fields in edu.ksu.cis.projects.bogor with type parameters of type IValue

static Class<IValue>

IBogorConfiguration.EXP_DEF_EXT_OP_RETURN_TYPE

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

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

protected HashMap<String,IValue>	DefaultExpEvaluator.bindingMap
protected Set<IValue>	DefaultExpEvaluator.readValues
protected Set<IValue>	DefaultActionTaker.writtenValues

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

protected IValue	DefaultExpEvaluator.checkRange(Type type, IValue value)
protected IValue	DefaultActionTaker.checkRange(Type fromType, Type toType, IValue value)
protected IValue	DefaultExpEvaluator.convert(Object o)
IValue	IValueFactory.createDefaultValue(Type type) Creates a default value of a type.
protected IValue	DefaultExpEvaluator.evaluate(Exp exp)
IValue	DefaultExpEvaluator.evaluate(ISchedulingStrategyContext ssc, Exp exp, ISchedulingStrategyInfo ssi)
IValue	IExpEvaluator.evaluate(ISchedulingStrategyContext ssc, Exp exp, ISchedulingStrategyInfo ssi)
IValue	DefaultExpEvaluator.evaluateApply(String id, IValue[] args)
IValue	IExpEvaluator.evaluateApply(String id, IValue[] args)
protected IValue	DefaultExpEvaluator.evaluateApplyExp(ApplyExp e)
IValue	DefaultExpEvaluator.evaluateArrayAccess(IArrayValue arrayValue, IIntValue indexValue)
IValue	IExpEvaluator.evaluateArrayAccess(IArrayValue arrayValue, IIntValue indexValue)
protected IValue	DefaultExpEvaluator.evaluateArrayAccessExp(ArrayAccessExp e)
protected IValue	DefaultExpEvaluator.evaluateBinaryExp(BinaryExp e)
IValue	DefaultExpEvaluator.evaluateBinaryOp(BinaryOp binop, IDoubleValue value1, IDoubleValue value2)
IValue	IExpEvaluator.evaluateBinaryOp(BinaryOp binop, IDoubleValue value1, IDoubleValue value2)
IValue	DefaultExpEvaluator.evaluateBinaryOp(BinaryOp binop, IFloatValue value1, IFloatValue value2)
IValue	IExpEvaluator.evaluateBinaryOp(BinaryOp binop, IFloatValue value1, IFloatValue value2)
IValue	DefaultExpEvaluator.evaluateBinaryOp(BinaryOp binop, IIntValue value1, IIntValue value2)
IValue	IExpEvaluator.evaluateBinaryOp(BinaryOp binop, IIntValue value1, IIntValue value2)
IValue	DefaultExpEvaluator.evaluateBinaryOp(BinaryOp binop, ILongValue value1, ILongValue value2)
IValue	IExpEvaluator.evaluateBinaryOp(BinaryOp binop, ILongValue value1, ILongValue value2)
IValue	DefaultExpEvaluator.evaluateBinaryOp(BinaryOp binop, INonPrimitiveValue value1, INonPrimitiveValue value2)
IValue	IExpEvaluator.evaluateBinaryOp(BinaryOp binop, INonPrimitiveValue value1, INonPrimitiveValue value2)
IValue	DefaultExpEvaluator.evaluateBinaryOp(BinaryOp binop, IPrimitiveExtValue value1, IPrimitiveExtValue value2)
IValue	IExpEvaluator.evaluateBinaryOp(BinaryOp binop, IPrimitiveExtValue value1, IPrimitiveExtValue value2)
IValue	DefaultExpEvaluator.evaluateBinaryOp(BinaryOp binop, IValue value1, IValue value2)
IValue	IExpEvaluator.evaluateBinaryOp(BinaryOp binop, IValue value1, IValue value2)
IValue	DefaultExpEvaluator.evaluateCast(Type castType, Type valueType, IValue value)
IValue	IExpEvaluator.evaluateCast(Type castType, Type valueType, IValue value)
protected IValue	DefaultExpEvaluator.evaluateCastExp(CastExp e)
protected IValue	DefaultExpEvaluator.evaluateConditionalExp(ConditionalExp e)
IValue	DefaultExpEvaluator.evaluateExt(String expExtId, Node node, Type[] typeVarArgs, IValue[] args)
IValue	IExpEvaluator.evaluateExt(String expExtId, Node node, Type[] typeVarArgs, IValue[] args)
protected IValue	DefaultExpEvaluator.evaluateExtExp(ExtExp e)
IValue	DefaultExpEvaluator.evaluateFieldAccess(IRecordValue value, int fieldIndex)
IValue	IExpEvaluator.evaluateFieldAccess(IRecordValue value, int fieldIndex)
protected IValue	DefaultExpEvaluator.evaluateFieldAccessExp(FieldAccessExp e)
protected IValue	DefaultExpEvaluator.evaluateIdExp(IdExp e)
protected IValue	DefaultExpEvaluator.evaluateInstanceofExp(InstanceofExp e)
protected IValue	DefaultExpEvaluator.evaluateKindofExp(KindofExp e)
protected IValue	DefaultExpEvaluator.evaluateLetExp(LetExp e)
protected IValue	DefaultExpEvaluator.evaluateLiteral(Literal l)
protected IValue	DefaultExpEvaluator.evaluateLiteralExp(LiteralExp e)
protected IValue	DefaultExpEvaluator.evaluateLockTestExp(LockTestExp e)
IValue	DefaultExpEvaluator.evaluateLockTestOp(int threadId, LockTestOp locktestop, IValue value)
IValue	IExpEvaluator.evaluateLockTestOp(int threadId, LockTestOp locktestop, IValue value)
protected IValue	DefaultExpEvaluator.evaluateNewArrayExp(NewArrayExp e)
protected IValue	DefaultExpEvaluator.evaluateNewRecordExp(NewRecordExp e)
protected IValue	DefaultExpEvaluator.evaluateThreadTestExp(ThreadTestExp e)
protected IValue	DefaultExpEvaluator.evaluateUnaryExp(UnaryExp e)
IValue	DefaultExpEvaluator.evaluateUnaryOp(UnaryOp unop, IValue value)
IValue	IExpEvaluator.evaluateUnaryOp(UnaryOp unop, IValue value)
IValue	IExtArguments.getArgument(int index)

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

int	DefaultCounterExampleWriter.GuidedSchedulingStrategistProxy.advise(int extDesc, Node node, IValue[] choices, ISchedulingStrategyInfo ssi) [Document Pending]
int	DefaultSchedulingStrategist.advise(int extDesc, Node node, IValue[] choices, ISchedulingStrategyInfo ssi)
int	ISchedulingStrategist.advise(int extDesc, Node node, IValue[] choices, ISchedulingStrategyInfo ssi) Choose among several possible values for an expression.
protected IValue	DefaultExpEvaluator.checkRange(Type type, IValue value)
protected IValue	DefaultActionTaker.checkRange(Type fromType, Type toType, IValue value)
IArrayElementBacktrackingInfo	IBacktrackingInfoFactory.createArrayElementBacktrackingInfo(int stateId, int threadId, Action action, IArrayValue arrayValue, int elementIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
IExitFunctionBacktrackingInfo	IBacktrackingInfoFactory.createExitFunctionBacktrackingInfo(int stateId, int threadId, int locDesc, int transformationIndex, IValueArray localValues, IValue returnValue, ISchedulingStrategyInfo ssi)
IFieldBacktrackingInfo	IBacktrackingInfoFactory.createFieldBacktrackingInfo(int stateId, int threadId, Action action, IRecordValue arrayOrRecordValue, int fieldIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
IGlobalBacktrackingInfo	IBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
ILocalBacktrackingInfo	IBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId, int threadId, Node node, int localIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
IValue	DefaultExpEvaluator.evaluateApply(String id, IValue[] args)
IValue	IExpEvaluator.evaluateApply(String id, IValue[] args)
IValue	DefaultExpEvaluator.evaluateBinaryOp(BinaryOp binop, IValue value1, IValue value2)
IValue	IExpEvaluator.evaluateBinaryOp(BinaryOp binop, IValue value1, IValue value2)
IValue	DefaultExpEvaluator.evaluateCast(Type castType, Type valueType, IValue value)
IValue	IExpEvaluator.evaluateCast(Type castType, Type valueType, IValue value)
IValue	DefaultExpEvaluator.evaluateExt(String expExtId, Node node, Type[] typeVarArgs, IValue[] args)
IValue	IExpEvaluator.evaluateExt(String expExtId, Node node, Type[] typeVarArgs, IValue[] args)
IIntValue	DefaultExpEvaluator.evaluateInstanceof(IValue value, Type instanceofType)
IIntValue	IExpEvaluator.evaluateInstanceof(IValue value, Type instanceofType)
IIntValue	DefaultExpEvaluator.evaluateKindof(IValue value, Type kindofType)
IIntValue	IExpEvaluator.evaluateKindof(IValue value, Type kindofType)
IValue	DefaultExpEvaluator.evaluateLockTestOp(int threadId, LockTestOp locktestop, IValue value)
IValue	IExpEvaluator.evaluateLockTestOp(int threadId, LockTestOp locktestop, IValue value)
IArrayValue	DefaultExpEvaluator.evaluateNewArray(ArrayType arrayType, IValue[] lengths)
IArrayValue	IExpEvaluator.evaluateNewArray(ArrayType arrayType, IValue[] lengths)
IValue	DefaultExpEvaluator.evaluateUnaryOp(UnaryOp unop, IValue value)
IValue	IExpEvaluator.evaluateUnaryOp(UnaryOp unop, IValue value)
void	DefaultStateExternalizer.externalizeValue(int indents, IValue value)
protected void	DefaultStateExternalizer.externalizeVar(int indents, String id, IValue value)
Type	IValueFactory.getType(IValue value) Gets the type of a value.
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.
IArrayElementBacktrackingInfo	DefaultActionTaker.takeAssignArrayElementAction(AssignAction a, IArrayValue array, int elementIndex, IValue value)
IArrayElementBacktrackingInfo	IActionTaker.takeAssignArrayElementAction(AssignAction a, IArrayValue array, int elementIndex, IValue value)
IFieldBacktrackingInfo	DefaultActionTaker.takeAssignFieldAction(AssignAction a, IRecordValue record, int fieldIndex, IValue value)
IFieldBacktrackingInfo	IActionTaker.takeAssignFieldAction(AssignAction a, IRecordValue record, int fieldIndex, IValue value)
IGlobalBacktrackingInfo	DefaultActionTaker.takeAssignGlobalAction(AssignAction a, int globalIndex, IValue value)
IGlobalBacktrackingInfo	IActionTaker.takeAssignGlobalAction(AssignAction a, int globalIndex, IValue value)
ILocalBacktrackingInfo	DefaultActionTaker.takeAssignLocalAction(AssignAction a, int localIndex, IValue value)
ILocalBacktrackingInfo	IActionTaker.takeAssignLocalAction(AssignAction a, int localIndex, IValue value)
IBacktrackingInfo[]	DefaultTransformer.transform(ISchedulingStrategyContext ssc, InvokeTransformation t, boolean returned, IValue returnValue)
IBacktrackingInfo[]	ITransformer.transform(ISchedulingStrategyContext ssc, InvokeTransformation t, boolean returned, IValue returnValue)
IBacktrackingInfo[]	DefaultTransformer.transformExit(InvokeTransformation t, IValue returnValue)
IBacktrackingInfo[]	ITransformer.transformExit(InvokeTransformation t, IValue returnValue)
void	IValueFactory.validate(IValue value) Validates a value.

Method parameters in edu.ksu.cis.projects.bogor.module with type arguments of type IValue

IControlTransferBacktrackingInfo	IBacktrackingInfoFactory.createControlTransferBacktrackingInfo(int stateId, int threadId, int locDesc, IntObjectTable<IValue> deadLocalValues, Transformation t, ISchedulingStrategyInfo ssi)
void	DefaultExpEvaluator.setReadValueSet(Set<IValue> readValues)
void	IExpEvaluator.setReadValueSet(Set<IValue> readRecords) Deprecated. use event framework instead
void	DefaultActionTaker.setWrittenValueSet(Set<IValue> writtenValues)
void	IActionTaker.setWrittenValueSet(Set<IValue> writtenValues) Deprecated. use event framework instead

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

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

IValue	IArrayElementBacktrackingInfo.getOldValue()
IValue	IFieldBacktrackingInfo.getOldValue()
IValue	IGlobalBacktrackingInfo.getOldValue()
IValue	ILocalBacktrackingInfo.getOldValue()
IValue	IExitFunctionBacktrackingInfo.getReturnValue()

Methods in edu.ksu.cis.projects.bogor.module.backtrack that return types with arguments of type IValue

IntObjectTable<IValue>

IControlTransferBacktrackingInfo.getDeadLocalValues()

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

IArrayElementBacktrackingInfo	DefaultBacktrackingInfoFactory.createArrayElementBacktrackingInfo(int stateId, int threadId, Action action, IArrayValue arrayValue, int elementIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
IExitFunctionBacktrackingInfo	DefaultBacktrackingInfoFactory.createExitFunctionBacktrackingInfo(int stateId, int threadId, int locDesc, int transformationIndex, IValueArray localValues, IValue returnValue, ISchedulingStrategyInfo ssi)
IFieldBacktrackingInfo	DefaultBacktrackingInfoFactory.createFieldBacktrackingInfo(int stateId, int threadId, Action action, IRecordValue arrayOrRecordValue, int fieldIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
IGlobalBacktrackingInfo	DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, IValue oldValue, ISchedulingStrategyInfo ssi)
ILocalBacktrackingInfo	DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId, int threadId, Node node, int localIndex, IValue oldValue, ISchedulingStrategyInfo ssi)

Method parameters in edu.ksu.cis.projects.bogor.module.backtrack with type arguments of type IValue

IControlTransferBacktrackingInfo

DefaultBacktrackingInfoFactory.createControlTransferBacktrackingInfo(int stateId, int threadId, int locDesc, IntObjectTable<IValue> deadLocalValues, Transformation t, ISchedulingStrategyInfo ssi)

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

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

IValue	DefaultState.getGlobalValue(int globalIndex)
IValue	IState.getGlobalValue(int globalIndex) Gets a global's value.
IValue	DefaultThreadStore.getLocalValue(int localIndex) Gets a local's value.
IValue	DefaultState.getLocalValue(int threadId, int localIndex)
IValue	IState.getLocalValue(int threadId, int localIndex) Gets a local's value.

Methods in edu.ksu.cis.projects.bogor.module.state that return types with arguments of type IValue

HashSet<IValue>

StateValueVisitor.getSeenSet() Gets the seen set of this visitor.

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

void	DefaultState.setGlobalValue(int globalIndex, IValue value)
void	IState.setGlobalValue(int globalIndex, IValue value) Sets a global's value.
void	DefaultState.setLocalValue(int threadId, int localIndex, IValue value)
void	IState.setLocalValue(int threadId, int localIndex, IValue value) Sets a local's value.
void	DefaultThreadStore.setLocalValue(int localIndex, IValue value) Gets a local's value.

Uses of IValue in edu.ksu.cis.projects.bogor.module.state.event

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

void	IGlobalVarReadListener.globalVarRead(int threadId, int globalIndex, IValue readValue)
void	IGlobalVarWrittenListener.globalVarWritten(int threadId, int globalIndex, IValue writtenValue, IValue oldValue)
void	ILocalVarReadListener.localVarRead(int threadId, int localIndex, IValue readValue)
void	ILocalVarWrittenListener.localVarWritten(int threadId, int localIndex, IValue writtenValue, IValue oldValue)
void	DefaultGlobalVarEventNotifier.notifyGlobalVarRead(int threadId, int globalIndex, IValue readValue)
void	DefaultStateEventNotifier.notifyGlobalVarRead(int threadId, int globalIndex, IValue readValue)
void	IGlobalVarEventNotifier.notifyGlobalVarRead(int threadId, int globalIndex, IValue readValue)
void	DefaultGlobalVarEventNotifier.notifyGlobalVarWritten(int threadId, int globalIndex, IValue writtenValue, IValue oldValue)
void	DefaultStateEventNotifier.notifyGlobalVarWritten(int threadId, int globalIndex, IValue writtenValue, IValue oldValue)
void	IGlobalVarEventNotifier.notifyGlobalVarWritten(int threadId, int globalIndex, IValue writtenValue, IValue oldValue)
void	DefaultStateEventNotifier.notifyLocalVarRead(int threadId, int localIndex, IValue readValue)
void	DefaultThreadEventNotifier.notifyLocalVarRead(int threadId, int localIndex, IValue readValue)
void	IThreadEventNotifier.notifyLocalVarRead(int threadId, int localIndex, IValue readValue)
void	DefaultStateEventNotifier.notifyLocalVarWritten(int threadId, int localIndex, IValue writtenValue, IValue oldValue)
void	DefaultThreadEventNotifier.notifyLocalVarWritten(int threadId, int localIndex, IValue writtenValue, IValue oldValue)
void	IThreadEventNotifier.notifyLocalVarWritten(int threadId, int localIndex, IValue writtenValue, IValue oldValue)
void	DefaultStateEventNotifier.notifyThreadCreated(int creatorThreadId, int threadId, IValue[] localValues, int locDesc)
void	DefaultThreadEventNotifier.notifyThreadCreated(int creatorThreadId, int threadId, IValue[] localValues, int locDesc)
void	IThreadEventNotifier.notifyThreadCreated(int creatorThreadId, int threadId, IValue[] localValues, int locDesc)
void	DefaultStateEventNotifier.notifyThreadDied(int threadId, IValue[] localValues, int locDesc)
void	DefaultThreadEventNotifier.notifyThreadDied(int threadId, IValue[] localValues, int locDesc)
void	IThreadEventNotifier.notifyThreadDied(int threadId, IValue[] localValues, int locDesc)
void	DefaultStateEventNotifier.notifyThreadEnterFunction(int threadId, IValue[] localValues, int locDesc, int transformationIndex)
void	DefaultThreadEventNotifier.notifyThreadEnterFunction(int threadId, IValue[] localValues, int locDesc, int transformationIndex)
void	IThreadEventNotifier.notifyThreadEnterFunction(int threadId, IValue[] localValues, int locDesc, int transformationIndex)
void	DefaultStateEventNotifier.notifyThreadExitFunction(int threadId, IValue[] localValues, int locDesc, int transformationIndex)
void	DefaultThreadEventNotifier.notifyThreadExitFunction(int threadId, IValue[] localValues, int locDesc, int transformationIndex)
void	IThreadEventNotifier.notifyThreadExitFunction(int threadId, IValue[] localValues, int locDesc, int transformationIndex)
void	IThreadCreatedListener.threadCreated(int creatorThreadId, int threadId, IValue[] localValues, int locDesc)
void	IThreadDiedListener.threadDied(int threadId, IValue[] localValues, int locDesc)
void	IThreadEnterFunctionListener.threadEnterFunction(int threadId, IValue[] localValues, int locDesc, int transformationIndex)
void	IThreadExitFunctionListener.threadExitFunction(int threadId, IValue[] localValues, int locDesc, int transformationIndex)

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

Subinterfaces of IValue in edu.ksu.cis.projects.bogor.module.value

interface	IArrayValue Represents an array value.
interface	IComparablePrimitiveExtValue An interface to indicate a comparable primitive extension value.
interface	IDoubleValue Represents a double value.
interface	IExpASTValue Represents an exp AST value.
interface	IExtValue Interface to define methods shared in common between primitive and nonprimitive extension values.
interface	IFloatValue Represents a float value.
interface	IIntegralValue Represents an integral value.
interface	IIntValue Represents a boolean, integer, or ranged integer value.
interface	ILockValue Represents a lock value.
interface	ILongValue Represents a long value or a ranged long value.
interface	INonPrimitiveExtValue Represents an instance of a new type declared through the extension mechanism.
interface	INonPrimitiveValue Represents a non-primitive value.
interface	INullValue Represents a null value.
interface	IPrimitiveExtValue Represents a value of a primitive type extension.
interface	IPrimitiveValue Represents a primitive value.
interface	IRealValue Represents a real value.
interface	IRecordValue Represents a record value.
interface	IStringValue Represents a string value.

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

class	DefaultArrayValue The default implementation of IArrayValue.
class	DefaultDoubleValue The default implementation of IDoubleValue.
class	DefaultExpASTValue The default implementation of IExpASTValue.
class	DefaultFloatValue The default implementation of IFloatValue.
class	DefaultIntValue The default implementation of IIntValue.
class	DefaultLockValue The default implementation of ILockValue.
class	DefaultLongValue The default implementation of ILongValue.
class	DefaultNullValue The default implementation of INullValue.
class	DefaultRecordValue The default implementation of IRecordValue.
class	DefaultStringValue The default implementation of IStringValue.

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

IValue	IValue.clone(Map<Object,Object> cloneMap) Deep clone this value.
IValue	DefaultValueFactory.createDefaultValue(Type type)
IValue	DefaultArrayValue.getElementValue(int elementIndex)
IValue	IArrayValue.getElementValue(int elementIndex) Gets an array element's value.
IValue	IValueArray.getElementValue(int elementIndex) Gets a value array element's value.
IValue	UniformValueArray.getElementValue(int elementIndex)
IValue	VariedValueArray.getElementValue(int elementIndex)
IValue	DefaultArrayValue.getFieldValue(int fieldIndex)
IValue	DefaultRecordValue.getFieldValue(int fieldIndex)
IValue	IRecordValue.getFieldValue(int fieldIndex) Gets a record field's value.
IValue	INonPrimitiveExtValue.Field.getValue() Bogor representation of the contained value.
protected IValue	DefaultValueFactory.recurseNewArrayValue(ArrayType arrayType, Type[] fieldTypes, int[] lengths, int i) Creates an array value given for each dimension's length.
IValue[]	IValueArray.toArray() Returns the contained values as an array.
IValue[]	UniformValueArray.toArray()
IValue[]	VariedValueArray.toArray()

Methods in edu.ksu.cis.projects.bogor.module.value that return types with arguments of type IValue

HashSet<IValue>	ValueVisitor.getSeenSet() Gets the seen set of this visitor.
LinkedList<IValue>	ValueVisitor.getWorkList() Gets the work list of this visitor.

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

int	DefaultArrayValue.compareTo(IValue o)
int	DefaultDoubleValue.compareTo(IValue o)
int	DefaultExpASTValue.compareTo(IValue o)
int	DefaultFloatValue.compareTo(IValue o)
int	DefaultIntValue.compareTo(IValue o)
int	DefaultLockValue.compareTo(IValue o)
int	DefaultLongValue.compareTo(IValue o)
int	DefaultNullValue.compareTo(IValue o)
int	DefaultRecordValue.compareTo(IValue o)
int	DefaultStringValue.compareTo(IValue o)
int	IValueComparator.compareValues(IValue v1, IValue v2) Compares two values.
boolean	IValueVisitorAction.foundValue(Set<IValue> seen, List<IValue> workList, IValue value) Found a value.
Type	DefaultValueFactory.getType(IValue value)
IValueArray	DefaultValueFactory.newUniformValueArray(IValue[] values)
IValueArray	DefaultValueFactory.newVariedValueArray(IValue[] values)
void	DefaultArrayValue.setElementValue(int elementIndex, IValue elementValue)
void	IArrayValue.setElementValue(int elementIndex, IValue elementValue) Sets an array element's value.
void	IValueArray.setElementValue(int elementIndex, IValue elementValue) Sets a value array element's value.
void	UniformValueArray.setElementValue(int elementIndex, IValue elementValue)
void	VariedValueArray.setElementValue(int elementIndex, IValue elementValue)
void	DefaultArrayValue.setFieldValue(int fieldIndex, IValue fieldValue)
void	DefaultRecordValue.setFieldValue(int fieldIndex, IValue fieldValue)
void	IRecordValue.setFieldValue(int fieldIndex, IValue fieldValue) Sets a record field's value.
void	DefaultValueFactory.validate(IValue value)
void	ValueVisitor.visit(IValue value) Visits values reachable from a particular value.

Method parameters in edu.ksu.cis.projects.bogor.module.value with type arguments of type IValue

boolean	IValueVisitorAction.foundValue(Set<IValue> seen, List<IValue> workList, IValue value) Found a value.
boolean	IValueVisitorAction.foundValue(Set<IValue> seen, List<IValue> workList, IValue value) Found a value.
void	IExtValue.visit(IValueComparator vc, boolean depthFirst, Set<IValue> seen, LinkedList<IValue> workList, IValueVisitorAction vva) Visits this value and all reachable values from this value.
void	IExtValue.visit(IValueComparator vc, boolean depthFirst, Set<IValue> seen, LinkedList<IValue> workList, IValueVisitorAction vva) Visits this value and all reachable values from this value.

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

UniformValueArray(IValueFactory valueFactory, IValue[] elementValues)
Default constructor.

VariedValueArray(IValueFactory valueFactory, IValue[] elementValues)
Default constructor.

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

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

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)
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)