Package com.ibm.wala.fixpoint
Interface FixedPointConstants
-
- All Known Implementing Classes:
AbstractFixedPointSolver
,AbstractMeetOperator
,AbstractOperator
,BitVectorFilter
,BitVectorIdentity
,BitVectorIntersection
,BitVectorKillAll
,BitVectorKillGen
,BitVectorMinusVector
,BitVectorOr
,BitVectorSolver
,BitVectorUnion
,BitVectorUnionConstant
,BitVectorUnionVector
,BooleanIdentity
,BooleanSolver
,BooleanUnion
,DataflowSolver
,DefaultFixedPointSolver
,NullaryOperator
,TrueOperator
,UnaryBitVectorUnion
,UnaryOperator
,UnaryOr
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
-
-