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

Packages that use IIntValue

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.

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

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

IIntValue	DefaultExpEvaluator.evaluateCast(IntType castType, IDoubleValue value)
IIntValue	IExpEvaluator.evaluateCast(IntType castType, IDoubleValue value)
IIntValue	DefaultExpEvaluator.evaluateCast(IntType castType, IFloatValue value)
IIntValue	IExpEvaluator.evaluateCast(IntType castType, IFloatValue value)
IIntValue	DefaultExpEvaluator.evaluateCast(IntType castType, IIntValue value)
IIntValue	IExpEvaluator.evaluateCast(IntType castType, IIntValue value)
IIntValue	DefaultExpEvaluator.evaluateCast(IntType castType, ILongValue value)
IIntValue	IExpEvaluator.evaluateCast(IntType castType, ILongValue value)
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)
IIntValue	DefaultExpEvaluator.evaluateUnaryOp(UnaryOp unop, IIntValue value)
IIntValue	IExpEvaluator.evaluateUnaryOp(UnaryOp unop, IIntValue value)
IIntValue	IValueFactory.newIntValue(int integer) Creates an integer value.
IIntValue	IValueFactory.newIntValue(Type type, int integer) Creates an integer value.

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

IValue	DefaultExpEvaluator.evaluateArrayAccess(IArrayValue arrayValue, IIntValue indexValue)
IValue	IExpEvaluator.evaluateArrayAccess(IArrayValue arrayValue, IIntValue indexValue)
IValue	DefaultExpEvaluator.evaluateBinaryOp(BinaryOp binop, IIntValue value1, IIntValue value2)
IValue	IExpEvaluator.evaluateBinaryOp(BinaryOp binop, IIntValue value1, IIntValue value2)
IIntValue	DefaultExpEvaluator.evaluateCast(IntType castType, IIntValue value)
IIntValue	IExpEvaluator.evaluateCast(IntType castType, IIntValue value)
ILongValue	DefaultExpEvaluator.evaluateCast(LongType castType, IIntValue value)
ILongValue	IExpEvaluator.evaluateCast(LongType castType, IIntValue value)
IDoubleValue	DefaultExpEvaluator.evaluateCastDouble(IIntValue value)
IDoubleValue	IExpEvaluator.evaluateCastDouble(IIntValue value)
IFloatValue	DefaultExpEvaluator.evaluateCastFloat(IIntValue value)
IFloatValue	IExpEvaluator.evaluateCastFloat(IIntValue value)
IIntValue	DefaultExpEvaluator.evaluateUnaryOp(UnaryOp unop, IIntValue value)
IIntValue	IExpEvaluator.evaluateUnaryOp(UnaryOp unop, IIntValue value)
void	DefaultStateExternalizer.externalizeIntValue(int indents, IIntValue value)
INoChangeBacktrackingInfo	DefaultActionTaker.takeAssertAction(AssertAction a, IIntValue value)
INoChangeBacktrackingInfo	IActionTaker.takeAssertAction(AssertAction a, IIntValue value)
IBacktrackingInfo	DefaultActionTaker.takeAssumeAction(AssumeAction a, IIntValue value)
IBacktrackingInfo	IActionTaker.takeAssumeAction(AssumeAction a, IIntValue value)

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

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

IGlobalBacktrackingInfo	DefaultBacktrackingInfoFactory.createGlobalBacktrackingInfo(int stateId, int threadId, Action action, int globalIndex, IIntValue oldValue, ISchedulingStrategyInfo ssi)
ILocalBacktrackingInfo	DefaultBacktrackingInfoFactory.createLocalBacktrackingInfo(int stateId, int threadId, Node node, int localIndex, IIntValue oldValue, ISchedulingStrategyInfo ssi)

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

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

class

DefaultIntValue The default implementation of IIntValue.

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

IIntValue	DefaultIntValue.clone(Map<Object,Object> cloneMap)
IIntValue	IIntValue.clone(Map<Object,Object> cloneMap) Override to specialize return type
IIntValue	DefaultValueFactory.newIntValue(int integer)
IIntValue	DefaultValueFactory.newIntValue(Type type, int integer)