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)