Class IfNull

    • Constructor Detail

      • IfNull

        public IfNull​(java.lang.String varName)
    • Method Detail

      • match

        public MatchResult match​(org.apache.bcel.generic.InstructionHandle handle,
                                 org.apache.bcel.generic.ConstantPoolGen cpg,
                                 ValueNumberFrame before,
                                 ValueNumberFrame after,
                                 BindingSet bindingSet)
                          throws DataflowAnalysisException
        Description copied from class: PatternElement
        Return whether or not this element matches the given instruction with the given Bindings in effect.
        Specified by:
        match in class PatternElement
        Parameters:
        handle - the instruction
        cpg - the ConstantPoolGen from the method
        before - the ValueNumberFrame representing values in the Java stack frame just before the execution of the instruction
        after - the ValueNumberFrame representing values in the Java stack frame just after the execution of the instruction
        bindingSet - the set of Bindings
        Returns:
        if the match is successful, returns a MatchResult with the PatternElement and BindingSet; if the match is not successful, returns null
        Throws:
        DataflowAnalysisException
      • acceptBranch

        public boolean acceptBranch​(Edge edge,
                                    org.apache.bcel.generic.InstructionHandle source)
        Description copied from class: PatternElement
        Return whether or not it is acceptable to take the given branch.
        Overrides:
        acceptBranch in class SingleInstruction
        Parameters:
        edge - the Edge representing the branch
        source - the source instruction of the branch
        Returns:
        true if the Edge is acceptable, false if not