edu.umd.cs.findbugs.ba

Class AssertionMethods

java.lang.Object

edu.umd.cs.findbugs.ba.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 and Description
AssertionMethods(org.apache.bcel.classfile.JavaClass jclass) Constructor.

Method Summary

Modifier and Type	Method and 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)