Class 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.