Package edu.umd.cs.findbugs.ba

Class AssertionMethods

  • public class AssertionMethods
extends java.lang.Object
    Mark methodref constant pool entries of methods that are likely to implement assertions. This is useful for pruning likely false paths.
    Author:
    David Hovemeyer

    • Constructor Summary

      Constructors 
      Constructor Description
      AssertionMethods​(org.apache.bcel.classfile.JavaClass jclass)
      Constructor.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean isAssertionCall​(org.apache.bcel.generic.InvokeInstruction inv)  
      boolean isAssertionHandle​(org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg)  
      boolean isAssertionInstruction​(org.apache.bcel.generic.Instruction ins, org.apache.bcel.generic.ConstantPoolGen cpg)
      Does the given instruction refer to a likely assertion method?

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • AssertionMethods

        public AssertionMethods​(org.apache.bcel.classfile.JavaClass jclass)
        Constructor.
        Parameters:
        jclass - the JavaClass containing the methodrefs

    • Method Detail

      • isAssertionHandle

        public boolean isAssertionHandle​(org.apache.bcel.generic.InstructionHandle handle,
                                 org.apache.bcel.generic.ConstantPoolGen cpg)

      • isAssertionInstruction

        public boolean isAssertionInstruction​(org.apache.bcel.generic.Instruction ins,
                                      org.apache.bcel.generic.ConstantPoolGen cpg)
        Does the given instruction refer to a likely assertion method?
        Parameters:
        ins - the instruction
        Returns:
        true if the instruction likely refers to an assertion, false if not

      • isAssertionCall

        public boolean isAssertionCall​(org.apache.bcel.generic.InvokeInstruction inv)