Package org.checkerframework.checker.resourceleak

Class MustCallInference

  • public class MustCallInference
extends java.lang.Object
    This class contains the Resource Leak Checker's annotation inference algorithm. It contains inference logic for owning annotations on final owning fields. It adds an @Owning annotation on a field if it finds a method that satisfies the @MustCall obligation of the field along some path to the regular exit point.

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected javax.lang.model.element.AnnotationMirror OWNING
      The Owning annotation.

    • Method Summary

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Field Detail

      • OWNING

        protected final javax.lang.model.element.AnnotationMirror OWNING
        The Owning annotation.