Package edu.umd.cs.findbugs.ba.obl

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

385
386
387
388
389
390
391
392
393
394
395
            }
            return;
        }

        // See what type of obligation is being created.
        Obligation createdObligation = null;
        if (xmethod.getName().equals("<init>")) {
            // Constructor - obligation type is the type of object being created
            // (or some supertype)
            createdObligation = database.getFactory().getObligationByType(xmethod.getClassDescriptor());
        } else {
View Full Code Here
436
437
438
439
440
441
442
443
444
445
        }

        if (DEBUG_ANNOTATIONS) {
            System.out.println("After scanning for resource types:");
            for (Iterator<Obligation> i = database.getFactory().obligationIterator(); i.hasNext();) {
                Obligation obligation = i.next();
                System.out.println("  " + obligation);
            }
        }
    }
View Full Code Here
TOP

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

  • edu.umd.cs.findbugs.ba.XFactory
  • edu.umd.cs.findbugs.detect.BuildObligationPolicyDatabase
  • edu.umd.cs.findbugs.detect.FindUnsatisfiedObligation$MethodChecker
  • edu.umd.cs.findbugs.detect.FindUnsatisfiedObligation$MethodChecker$PostProcessingPathVisitor
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.