Package com.ibm.wala.fixpoint
Interface FixedPointConstants
-
- All Known Implementing Classes:
AbstractFixedPointSolver
,AbstractIntRegisterMachine
,AbstractIntStackMachine
,AbstractMeetOperator
,AbstractOperator
,AstTypeInference
,BitVectorFilter
,BitVectorIdentity
,BitVectorIntersection
,BitVectorKillAll
,BitVectorKillGen
,BitVectorMinusVector
,BitVectorOr
,BitVectorSolver
,BitVectorUnion
,BitVectorUnionConstant
,BitVectorUnionVector
,BooleanIdentity
,BooleanSolver
,BooleanUnion
,DataflowSolver
,DefaultFixedPointSolver
,DexSSABuilder
,NullaryOperator
,PropagationCallGraphBuilder.ArrayLoadOperator
,PropagationCallGraphBuilder.ArrayStoreOperator
,PropagationCallGraphBuilder.FilterOperator
,PropagationCallGraphBuilder.GetFieldOperator
,PropagationCallGraphBuilder.InstanceArrayStoreOperator
,PropagationCallGraphBuilder.InstancePutFieldOperator
,PropagationCallGraphBuilder.InverseFilterOperator
,PropagationCallGraphBuilder.PutFieldOperator
,PropagationSystem
,SSABuilder
,SSAInference
,TrueOperator
,TypeInference
,TypeInference.DeclaredTypeOperator
,TypeInference.PrimitivePropagateOperator
,UnaryBitVectorUnion
,UnaryOperator
,UnaryOr
,UnarySideEffect
public interface FixedPointConstants
Constants used in the fixed-point solver framework
-
-
Field Summary
Fields Modifier and Type Field Description static byte
CHANGED
A return value which indicates that a lhs has changed, and the statement might need to be evaluated again.static byte
CHANGED_AND_FIXED
A return value which indicates that lhs has changed, and the statement need not be evaluated again.static int
CHANGED_MASK
The bit-mask which defines the "CHANGED" flagstatic int
FIXED_MASK
The bit-mask which defines the "FIXED" flagstatic byte
NOT_CHANGED
A return value which indicates that lhs has not changed, and the statement might need to be evaluated again.static byte
NOT_CHANGED_AND_FIXED
A return value which indicates that lhs has not changed, and the statement need not be evaluated again.static int
SIDE_EFFECT_MASK
The bit-mask which defines the "SIDE EFFECT" flag
-
-
-
Field Detail
-
CHANGED
static final byte CHANGED
A return value which indicates that a lhs has changed, and the statement might need to be evaluated again.- See Also:
- Constant Field Values
-
NOT_CHANGED
static final byte NOT_CHANGED
A return value which indicates that lhs has not changed, and the statement might need to be evaluated again.- See Also:
- Constant Field Values
-
CHANGED_AND_FIXED
static final byte CHANGED_AND_FIXED
A return value which indicates that lhs has changed, and the statement need not be evaluated again.- See Also:
- Constant Field Values
-
NOT_CHANGED_AND_FIXED
static final byte NOT_CHANGED_AND_FIXED
A return value which indicates that lhs has not changed, and the statement need not be evaluated again.- See Also:
- Constant Field Values
-
CHANGED_MASK
static final int CHANGED_MASK
The bit-mask which defines the "CHANGED" flag- See Also:
- Constant Field Values
-
FIXED_MASK
static final int FIXED_MASK
The bit-mask which defines the "FIXED" flag- See Also:
- Constant Field Values
-
SIDE_EFFECT_MASK
static final int SIDE_EFFECT_MASK
The bit-mask which defines the "SIDE EFFECT" flag- See Also:
- Constant Field Values
-
-