Class MustCallVisitor

All Implemented Interfaces:
TreeVisitor<Void,Void>

public class MustCallVisitor extends BaseTypeVisitor<MustCallAnnotatedTypeFactory>
The visitor for the Must Call Checker. This visitor is similar to BaseTypeVisitor, but overrides methods that don't work well with the MustCall type hierarchy because it doesn't use the top type as the default type.
  • Constructor Details

    • MustCallVisitor

      public MustCallVisitor(BaseTypeChecker checker)
      Creates a new MustCallVisitor.
      Parameters:
      checker - the type-checker associated with this visitor
  • Method Details