Package com.ibm.wala.fixpoint

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:

    • 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:

    • 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:

    • 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:

    • CHANGED_MASK

      static final int CHANGED_MASK
      The bit-mask which defines the "CHANGED" flag
      See Also:

    • FIXED_MASK

      static final int FIXED_MASK
      The bit-mask which defines the "FIXED" flag
      See Also:

    • SIDE_EFFECT_MASK

      static final int SIDE_EFFECT_MASK
      The bit-mask which defines the "SIDE EFFECT" flag
      See Also: