com.ibm.wala.fixpoint
Interface FixedPointConstants

All Known Implementing Classes:

AbstractFixedPointSolver, AbstractIntStackMachine, AbstractMeetOperator, AbstractOperator, AstJavaTypeInference, AstJavaTypeInference.PrimAndStringOp, AstTypeInference, BitVectorFilter, BitVectorIdentity, BitVectorKillGen, BitVectorMinusVector, BitVectorOr, BitVectorSolver, BitVectorUnion, BitVectorUnionConstant, BitVectorUnionVector, BooleanIdentity, BooleanSolver, BooleanUnion, DataflowSolver, DefaultFixedPointSolver, JSTypeInference, 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

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" flag
static int	FIXED_MASK The bit-mask which defines the "FIXED" flag
static 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