Package org.checkerframework.common.basetype

Interface TypeValidator

All Known Implementing Classes:
BaseTypeValidator, ReportVisitor.ReportTypeValidator
public interface TypeValidator
TypeValidator ensures that a type for a given tree is valid both for the tree and the type system that is being used to check the tree.

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    isValid(AnnotatedTypeMirror type, Tree tree)
    The entry point to the type validator.

  • Method Details

    • isValid

      boolean isValid(AnnotatedTypeMirror type, Tree tree)
      The entry point to the type validator. Validate the type against the given tree.
      Parameters:
      type - the type to validate
      tree - the tree from which the type originated. If the tree is a method tree, then validate its return type. If the tree is a variable tree, then validate its field type.
      Returns:
      true, iff the type is valid