Package org.checkerframework.checker.resourceleak

Class MustCallInferenceLogic

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