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 and Description
boolean	isValid(AnnotatedTypeMirror type, Tree tree) The entry point to the type validator.

Method Detail

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