Examples of edu.umd.cs.findbugs.ba.obl.ObligationFactory

        ObligationPolicyDatabase database = analysisCache.getDatabase(ObligationPolicyDatabase.class);


        TypeDataflow typeDataflow = analysisCache.getMethodAnalysis(TypeDataflow.class, methodDescriptor);
        IsNullValueDataflow invDataflow = analysisCache.getMethodAnalysis(IsNullValueDataflow.class, methodDescriptor);


        ObligationFactory factory = database.getFactory();


        ObligationAnalysis analysis = new ObligationAnalysis(dfs, xmethod, cpg, factory, database, typeDataflow, invDataflow,
                analysisCache.getErrorLogger());
        ObligationDataflow dataflow = new ObligationDataflow(cfg, analysis);


    @Override
    public void visitClass(ClassDescriptor classDescriptor) throws CheckedAnalysisException {
        IAnalysisCache analysisCache = Global.getAnalysisCache();


        ObligationFactory factory = database.getFactory();


        JavaClass jclass = analysisCache.getClassAnalysis(JavaClass.class, classDescriptor);
        for (Constant c : jclass.getConstantPool().getConstantPool()) {
            if (c instanceof ConstantNameAndType) {
                ConstantNameAndType cnt = (ConstantNameAndType) c;
                String signature = cnt.getSignature(jclass.getConstantPool());
                if (factory.signatureInvolvesObligations(signature)) {
                    super.visitClass(classDescriptor);
                    return;
                }
            } else if (c instanceof ConstantClass) {
                String className = ((ConstantClass) c).getBytes(jclass.getConstantPool());
                if (factory.signatureInvolvesObligations(className)) {
                    super.visitClass(classDescriptor);
                    return;
                }
            }
        }

Examples of edu.umd.cs.findbugs.ba.obl.ObligationFactory

Related Classes of edu.umd.cs.findbugs.ba.obl.ObligationFactory