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

Fields

Modifier and Type	Field	Description
static final byte	CHANGED	A return value which indicates that a lhs has changed, and the statement might need to be evaluated again.
static final byte	CHANGED_AND_FIXED	A return value which indicates that lhs has changed, and the statement need not be evaluated again.
static final int	CHANGED_MASK	The bit-mask which defines the "CHANGED" flag
static final int	FIXED_MASK	The bit-mask which defines the "FIXED" flag
static final byte	NOT_CHANGED	A return value which indicates that lhs has not changed, and the statement might need to be evaluated again.
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.
static final int	SIDE_EFFECT_MASK	The bit-mask which defines the "SIDE EFFECT" flag

Field Details

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