Class ResourceLeakVisitor

All Implemented Interfaces:
TreeVisitor<Void,Void>

public class ResourceLeakVisitor extends CalledMethodsVisitor
The visitor for the Resource Leak Checker. Responsible for checking that the rules for Owning fields are satisfied, and for checking that CreatesMustCallFor overrides are valid.
  • Constructor Details

    • ResourceLeakVisitor

      public ResourceLeakVisitor(BaseTypeChecker checker)
      Create the visitor.
      Parameters:
      checker - the type-checker associated with this visitor
  • Method Details