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
boolean	isAssertionCall(InvokeInstruction inv)
boolean	isAssertionInstruction(Instruction ins, ConstantPoolGen cpg) Does the given InvokeInstruction refer to a likely assertion method?

Constructor Detail

public AssertionMethods(JavaClass jclass)

Constructor.

Parameters: jclass the JavaClass containing the methodrefs

public boolean isAssertionCall(InvokeInstruction inv)

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