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.