Package edu.umd.cs.findbugs.ba

Class AssertionMethods

java.lang.Object
edu.umd.cs.findbugs.ba.AssertionMethods
public class AssertionMethods extends 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

    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 Details

    • AssertionMethods

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

  • Method Details

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