@Override
public boolean isValidUse(AnnotatedPrimitiveType type, Tree tree) {
if (tree.getKind() != Tree.Kind.TYPE_CAST && !type.hasAnnotation(NONNULL)) {
// TODO: casts are sometimes inferred as @Nullable.
// Find a way to correctly handle that case.
return false;
}
return super.isValidUse(type, tree);
}
@Override
public Void visitPrimitive(AnnotatedPrimitiveType type, Tree tree) {
if (checker.shouldSkipUses(type.getUnderlyingType().toString()))
return super.visitPrimitive(type, tree);
if (!visitor.isValidUse(type, tree)) {
reportError(type, tree);
}
return super.visitPrimitive(type, tree);
}
