Interface FixedPointConstants
- All Known Implementing Classes:
AbstractFixedPointSolver
,AbstractIntRegisterMachine
,AbstractIntStackMachine
,AbstractMeetOperator
,AbstractOperator
,AstJavaTypeInference
,AstJavaTypeInference.PrimAndStringOp
,AstTypeInference
,BitVectorFilter
,BitVectorIdentity
,BitVectorIntersection
,BitVectorKillAll
,BitVectorKillGen
,BitVectorMinusVector
,BitVectorOr
,BitVectorSolver
,BitVectorUnion
,BitVectorUnionConstant
,BitVectorUnionVector
,BooleanIdentity
,BooleanSolver
,BooleanUnion
,DalvikTypeInference
,DataflowSolver
,DefaultFixedPointSolver
,DexSSABuilder
,InitializedBitVectorSolver
,JSTypeInference
,NullaryOperator
,NullPointerSolver
,OperatorUtil.UnaryOperatorSequence
,PrefixTransferFunction
,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
Modifier and TypeFieldDescriptionstatic final byte
A return value which indicates that a lhs has changed, and the statement might need to be evaluated again.static final byte
A return value which indicates that lhs has changed, and the statement need not be evaluated again.static final int
The bit-mask which defines the "CHANGED" flagstatic final int
The bit-mask which defines the "FIXED" flagstatic final byte
A return value which indicates that lhs has not changed, and the statement might need to be evaluated again.static final byte
A return value which indicates that lhs has not changed, and the statement need not be evaluated again.static final int
The bit-mask which defines the "SIDE EFFECT" flag
-
Field Details
-
CHANGED
static final byte CHANGEDA return value which indicates that a lhs has changed, and the statement might need to be evaluated again.- See Also:
-
NOT_CHANGED
static final byte NOT_CHANGEDA return value which indicates that lhs has not changed, and the statement might need to be evaluated again.- See Also:
-
CHANGED_AND_FIXED
static final byte CHANGED_AND_FIXEDA return value which indicates that lhs has changed, and the statement need not be evaluated again.- See Also:
-
NOT_CHANGED_AND_FIXED
static final byte NOT_CHANGED_AND_FIXEDA return value which indicates that lhs has not changed, and the statement need not be evaluated again.- See Also:
-
CHANGED_MASK
static final int CHANGED_MASKThe bit-mask which defines the "CHANGED" flag- See Also:
-
FIXED_MASK
static final int FIXED_MASKThe bit-mask which defines the "FIXED" flag- See Also:
-
SIDE_EFFECT_MASK
static final int SIDE_EFFECT_MASKThe bit-mask which defines the "SIDE EFFECT" flag- See Also:
-