framework.src.org.checkerframework.qualframework.base.TreeAnnotator Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of checker Show documentation
The Checker Framework enhances Java’s type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. The Checker Framework includes compiler plug-ins ("checkers") that find bugs or verify their absence. It also permits you to write your own compiler plug-ins.
There is a newer version: 3.42.0
Show newest version
package org.checkerframework.qualframework.base;

import org.checkerframework.qualframework.util.ExtendedTypeMirror;

import com.sun.source.tree.*;
import com.sun.source.util.SimpleTreeVisitor;

/**
 * {@link DefaultQualifiedTypeFactory} component for computing the qualified
 * type of a {@link Tree}.
 */
public class TreeAnnotator extends SimpleTreeVisitor, ExtendedTypeMirror> {
    private TreeAnnotatorAdapter adapter;

    void setAdapter(TreeAnnotatorAdapter adapter) {
        this.adapter = adapter;
    }

    @Override
    public QualifiedTypeMirror defaultAction(Tree node, ExtendedTypeMirror type) {
        throw new UnsupportedOperationException("unsupported Tree kind: " + node.getKind());
    }

    @Override
    public QualifiedTypeMirror visitAnnotation(AnnotationTree node, ExtendedTypeMirror type) {
        return adapter.superVisitAnnotation(node, type);
    }

    @Override
    public QualifiedTypeMirror visitArrayAccess(ArrayAccessTree node, ExtendedTypeMirror type) {
        return adapter.superVisitArrayAccess(node, type);
    }

    @Override
    public QualifiedTypeMirror visitArrayType(ArrayTypeTree node, ExtendedTypeMirror type) {
        return adapter.superVisitArrayType(node, type);
    }

    @Override
    public QualifiedTypeMirror visitAssert(AssertTree node, ExtendedTypeMirror type) {
        return adapter.superVisitAssert(node, type);
    }

    @Override
    public QualifiedTypeMirror visitAssignment(AssignmentTree node, ExtendedTypeMirror type) {
        return adapter.superVisitAssignment(node, type);
    }

    @Override
    public QualifiedTypeMirror visitBinary(BinaryTree node, ExtendedTypeMirror type) {
        return adapter.superVisitBinary(node, type);
    }

    @Override
    public QualifiedTypeMirror visitBlock(BlockTree node, ExtendedTypeMirror type) {
        return adapter.superVisitBlock(node, type);
    }

    @Override
    public QualifiedTypeMirror visitBreak(BreakTree node, ExtendedTypeMirror type) {
        return adapter.superVisitBreak(node, type);
    }

    @Override
    public QualifiedTypeMirror visitCase(CaseTree node, ExtendedTypeMirror type) {
        return adapter.superVisitCase(node, type);
    }

    @Override
    public QualifiedTypeMirror visitCatch(CatchTree node, ExtendedTypeMirror type) {
        return adapter.superVisitCatch(node, type);
    }

    @Override
    public QualifiedTypeMirror visitClass(ClassTree node, ExtendedTypeMirror type) {
        return adapter.superVisitClass(node, type);
    }

    @Override
    public QualifiedTypeMirror visitCompilationUnit(CompilationUnitTree node, ExtendedTypeMirror type) {
        return adapter.superVisitCompilationUnit(node, type);
    }

    @Override
    public QualifiedTypeMirror visitCompoundAssignment(CompoundAssignmentTree node, ExtendedTypeMirror type) {
        return adapter.superVisitCompoundAssignment(node, type);
    }

    @Override
    public QualifiedTypeMirror visitConditionalExpression(ConditionalExpressionTree node, ExtendedTypeMirror type) {
        return adapter.superVisitConditionalExpression(node, type);
    }

    @Override
    public QualifiedTypeMirror visitContinue(ContinueTree node, ExtendedTypeMirror type) {
        return adapter.superVisitContinue(node, type);
    }

    @Override
    public QualifiedTypeMirror visitDoWhileLoop(DoWhileLoopTree node, ExtendedTypeMirror type) {
        return adapter.superVisitDoWhileLoop(node, type);
    }

    @Override
    public QualifiedTypeMirror visitEmptyStatement(EmptyStatementTree node, ExtendedTypeMirror type) {
        return adapter.superVisitEmptyStatement(node, type);
    }

    @Override
    public QualifiedTypeMirror visitEnhancedForLoop(EnhancedForLoopTree node, ExtendedTypeMirror type) {
        return adapter.superVisitEnhancedForLoop(node, type);
    }

    @Override
    public QualifiedTypeMirror visitErroneous(ErroneousTree node, ExtendedTypeMirror type) {
        return adapter.superVisitErroneous(node, type);
    }

    @Override
    public QualifiedTypeMirror visitExpressionStatement(ExpressionStatementTree node, ExtendedTypeMirror type) {
        return adapter.superVisitExpressionStatement(node, type);
    }

    @Override
    public QualifiedTypeMirror visitForLoop(ForLoopTree node, ExtendedTypeMirror type) {
        return adapter.superVisitForLoop(node, type);
    }

    @Override
    public QualifiedTypeMirror visitIdentifier(IdentifierTree node, ExtendedTypeMirror type) {
        return adapter.superVisitIdentifier(node, type);
    }

    @Override
    public QualifiedTypeMirror visitIf(IfTree node, ExtendedTypeMirror type) {
        return adapter.superVisitIf(node, type);
    }

    @Override
    public QualifiedTypeMirror visitImport(ImportTree node, ExtendedTypeMirror type) {
        return adapter.superVisitImport(node, type);
    }

    @Override
    public QualifiedTypeMirror visitInstanceOf(InstanceOfTree node, ExtendedTypeMirror type) {
        return adapter.superVisitInstanceOf(node, type);
    }

    @Override
    public QualifiedTypeMirror visitLabeledStatement(LabeledStatementTree node, ExtendedTypeMirror type) {
        return adapter.superVisitLabeledStatement(node, type);
    }

    @Override
    public QualifiedTypeMirror visitLiteral(LiteralTree node, ExtendedTypeMirror type) {
        return adapter.superVisitLiteral(node, type);
    }

    @Override
    public QualifiedTypeMirror visitMemberSelect(MemberSelectTree node, ExtendedTypeMirror type) {
        return adapter.superVisitMemberSelect(node, type);
    }

    @Override
    public QualifiedTypeMirror visitMethod(MethodTree node, ExtendedTypeMirror type) {
        return adapter.superVisitMethod(node, type);
    }

    @Override
    public QualifiedTypeMirror visitMethodInvocation(MethodInvocationTree node, ExtendedTypeMirror type) {
        return adapter.superVisitMethodInvocation(node, type);
    }

    @Override
    public QualifiedTypeMirror visitModifiers(ModifiersTree node, ExtendedTypeMirror type) {
        return adapter.superVisitModifiers(node, type);
    }

    @Override
    public QualifiedTypeMirror visitNewArray(NewArrayTree node, ExtendedTypeMirror type) {
        return adapter.superVisitNewArray(node, type);
    }

    @Override
    public QualifiedTypeMirror visitNewClass(NewClassTree node, ExtendedTypeMirror type) {
        return adapter.superVisitNewClass(node, type);
    }

    @Override
    public QualifiedTypeMirror visitOther(Tree node, ExtendedTypeMirror type) {
        return adapter.superVisitOther(node, type);
    }

    @Override
    public QualifiedTypeMirror visitParameterizedType(ParameterizedTypeTree node, ExtendedTypeMirror type) {
        return adapter.superVisitParameterizedType(node, type);
    }

    @Override
    public QualifiedTypeMirror visitParenthesized(ParenthesizedTree node, ExtendedTypeMirror type) {
        return adapter.superVisitParenthesized(node, type);
    }

    @Override
    public QualifiedTypeMirror visitPrimitiveType(PrimitiveTypeTree node, ExtendedTypeMirror type) {
        return adapter.superVisitPrimitiveType(node, type);
    }

    @Override
    public QualifiedTypeMirror visitReturn(ReturnTree node, ExtendedTypeMirror type) {
        return adapter.superVisitReturn(node, type);
    }

    @Override
    public QualifiedTypeMirror visitSwitch(SwitchTree node, ExtendedTypeMirror type) {
        return adapter.superVisitSwitch(node, type);
    }

    @Override
    public QualifiedTypeMirror visitSynchronized(SynchronizedTree node, ExtendedTypeMirror type) {
        return adapter.superVisitSynchronized(node, type);
    }

    @Override
    public QualifiedTypeMirror visitThrow(ThrowTree node, ExtendedTypeMirror type) {
        return adapter.superVisitThrow(node, type);
    }

    @Override
    public QualifiedTypeMirror visitTry(TryTree node, ExtendedTypeMirror type) {
        return adapter.superVisitTry(node, type);
    }

    @Override
    public QualifiedTypeMirror visitTypeCast(TypeCastTree node, ExtendedTypeMirror type) {
        return adapter.superVisitTypeCast(node, type);
    }

    @Override
    public QualifiedTypeMirror visitTypeParameter(TypeParameterTree node, ExtendedTypeMirror type) {
        return adapter.superVisitTypeParameter(node, type);
    }

    @Override
    public QualifiedTypeMirror visitUnary(UnaryTree node, ExtendedTypeMirror type) {
        return adapter.superVisitUnary(node, type);
    }

    @Override
    public QualifiedTypeMirror visitUnionType(UnionTypeTree node, ExtendedTypeMirror type) {
        return adapter.superVisitUnionType(node, type);
    }

    @Override
    public QualifiedTypeMirror visitVariable(VariableTree node, ExtendedTypeMirror type) {
        return adapter.superVisitVariable(node, type);
    }

    @Override
    public QualifiedTypeMirror visitWhileLoop(WhileLoopTree node, ExtendedTypeMirror type) {
        return adapter.superVisitWhileLoop(node, type);
    }

    @Override
    public QualifiedTypeMirror visitWildcard(WildcardTree node, ExtendedTypeMirror type) {
        return adapter.superVisitWildcard(node, type);
    }
}