Class TunedFieldRefinementPolicy

    • Constructor Detail

      • TunedFieldRefinementPolicy

        public TunedFieldRefinementPolicy​(IClassHierarchy cha)
    • Method Detail

      • nextPass

        public boolean nextPass()
        Specified by:
        nextPass in interface FieldRefinePolicy
        Returns:
        true if more refinement can be done, and hence another pass can be attempted; false otherwise
      • shouldRefine

        public boolean shouldRefine​(IField field,
                                    PointerKey basePtr,
                                    PointerKey val,
                                    IFlowLabel label,
                                    StateMachine.State state)
        Specified by:
        shouldRefine in interface FieldRefinePolicy
        Parameters:
        field - the accessed field
        basePtr - the base pointer of the access
        Returns:
        true if match edges for the field access should be refined. Otherwise, false is returned, indicating that the field can be handled with match edges.