edu.umd.cs.findbugs.ba

Class AssertionMethods

public class AssertionMethods extends Object implements Constants

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
AssertionMethods(JavaClass jclass)
Constructor.
Method Summary
booleanisAssertionCall(InvokeInstruction inv)
booleanisAssertionInstruction(Instruction ins, ConstantPoolGen cpg)
Does the given InvokeInstruction refer to a likely assertion method?

Constructor Detail

AssertionMethods

public AssertionMethods(JavaClass jclass)
Constructor.

Parameters: jclass the JavaClass containing the methodrefs

Method Detail

isAssertionCall

public boolean isAssertionCall(InvokeInstruction inv)

isAssertionInstruction

public boolean isAssertionInstruction(Instruction ins, ConstantPoolGen cpg)
Does the given InvokeInstruction refer to a likely assertion method?

Parameters: ins the InvokeInstruction

Returns: true if the instruction likely refers to an assertion, false if not

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.