Package org.checkerframework.checker.resourceleak

Class MustCallInference

java.lang.Object
org.checkerframework.checker.resourceleak.MustCallInference
public class MustCallInference extends 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.