Examples of edu.umd.cs.findbugs.ba.AssertionMethods

edu.umd.cs.findbugs.ba.AssertionMethods
Mark methodref constant pool entries of methods that are likely to implement assertions. This is useful for pruning likely false paths. @author David Hovemeyer

public class AssertionMethodsFactory extends RecomputableClassAnalysisEngine<AssertionMethods> {


    @Override
    public AssertionMethods analyze(IAnalysisCache analysisCache, ClassDescriptor descriptor) throws CheckedAnalysisException {
        JavaClass jclass = analysisCache.getClassAnalysis(JavaClass.class, descriptor);
        return new AssertionMethods(jclass);
    }

View Full Code Here

            throw new MethodUnprofitableException(descriptor);
        }
        CFG cfg = getCFG(analysisCache, descriptor);
        ValueNumberDataflow vnaDataflow = getValueNumberDataflow(analysisCache, descriptor);
        DepthFirstSearch dfs = getDepthFirstSearch(analysisCache, descriptor);
        AssertionMethods assertionMethods = getAssertionMethods(analysisCache, descriptor.getClassDescriptor());
        TypeDataflow typeDataflow = getTypeDataflow(analysisCache, descriptor);


        IsNullValueAnalysis invAnalysis = new IsNullValueAnalysis(descriptor, methodGen, cfg, vnaDataflow, typeDataflow, dfs,
                assertionMethods);

View Full Code Here

TOP

Related Classes of edu.umd.cs.findbugs.ba.AssertionMethods

edu.umd.cs.findbugs.classfile.engine.bcel.AssertionMethodsFactory

edu.umd.cs.findbugs.classfile.engine.bcel.IsNullValueDataflowFactory

org.apache.bcel.classfile.Constant

org.apache.bcel.classfile.ConstantMethodref

org.apache.bcel.classfile.ConstantNameAndType

org.apache.bcel.classfile.ConstantPool

org.apache.bcel.generic.GETSTATIC

org.apache.bcel.generic.Instruction

org.apache.bcel.generic.INVOKEINTERFACE

java.util.BitSet

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.