AtmComboVisitor.java

package org.checkerframework.framework.type.visitor;

import org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedArrayType;
import org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType;
import org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType;
import org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedIntersectionType;
import org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedNoType;
import org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedNullType;
import org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedPrimitiveType;
import org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedTypeVariable;
import org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedUnionType;
import org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedWildcardType;

/**
 * Visitor interface for all pair-wise combinations of AnnotatedTypeMirrors. See AtmCombo, it
 * enumerates all possible combinations and provides an "accept" method used to call AtmComboVisitor
 * visit methods.
 */
public interface AtmComboVisitor<RETURN_TYPE, PARAM> {

    public RETURN_TYPE visitArray_Array(
            AnnotatedArrayType subtype, AnnotatedArrayType supertype, PARAM param);

    public RETURN_TYPE visitArray_Declared(
            AnnotatedArrayType subtype, AnnotatedDeclaredType supertype, PARAM param);

    public RETURN_TYPE visitArray_Executable(
            AnnotatedArrayType subtype, AnnotatedExecutableType supertype, PARAM param);

    public RETURN_TYPE visitArray_Intersection(
            AnnotatedArrayType subtype, AnnotatedIntersectionType supertype, PARAM param);

    public RETURN_TYPE visitArray_None(
            AnnotatedArrayType subtype, AnnotatedNoType supertype, PARAM param);

    public RETURN_TYPE visitArray_Null(
            AnnotatedArrayType subtype, AnnotatedNullType supertype, PARAM param);

    public RETURN_TYPE visitArray_Primitive(
            AnnotatedArrayType subtype, AnnotatedPrimitiveType supertype, PARAM param);

    public RETURN_TYPE visitArray_Typevar(
            AnnotatedArrayType subtype, AnnotatedTypeVariable supertype, PARAM param);

    public RETURN_TYPE visitArray_Union(
            AnnotatedArrayType subtype, AnnotatedUnionType supertype, PARAM param);

    public RETURN_TYPE visitArray_Wildcard(
            AnnotatedArrayType subtype, AnnotatedWildcardType supertype, PARAM param);

    public RETURN_TYPE visitDeclared_Array(
            AnnotatedDeclaredType subtype, AnnotatedArrayType supertype, PARAM param);

    public RETURN_TYPE visitDeclared_Declared(
            AnnotatedDeclaredType subtype, AnnotatedDeclaredType supertype, PARAM param);

    public RETURN_TYPE visitDeclared_Executable(
            AnnotatedDeclaredType subtype, AnnotatedExecutableType supertype, PARAM param);

    public RETURN_TYPE visitDeclared_Intersection(
            AnnotatedDeclaredType subtype, AnnotatedIntersectionType supertype, PARAM param);

    public RETURN_TYPE visitDeclared_None(
            AnnotatedDeclaredType subtype, AnnotatedNoType supertype, PARAM param);

    public RETURN_TYPE visitDeclared_Null(
            AnnotatedDeclaredType subtype, AnnotatedNullType supertype, PARAM param);

    public RETURN_TYPE visitDeclared_Primitive(
            AnnotatedDeclaredType subtype, AnnotatedPrimitiveType supertype, PARAM param);

    public RETURN_TYPE visitDeclared_Typevar(
            AnnotatedDeclaredType subtype, AnnotatedTypeVariable supertype, PARAM param);

    public RETURN_TYPE visitDeclared_Union(
            AnnotatedDeclaredType subtype, AnnotatedUnionType supertype, PARAM param);

    public RETURN_TYPE visitDeclared_Wildcard(
            AnnotatedDeclaredType subtype, AnnotatedWildcardType supertype, PARAM param);

    public RETURN_TYPE visitExecutable_Array(
            AnnotatedExecutableType subtype, AnnotatedArrayType supertype, PARAM param);

    public RETURN_TYPE visitExecutable_Declared(
            AnnotatedExecutableType subtype, AnnotatedDeclaredType supertype, PARAM param);

    public RETURN_TYPE visitExecutable_Executable(
            AnnotatedExecutableType subtype, AnnotatedExecutableType supertype, PARAM param);

    public RETURN_TYPE visitExecutable_Intersection(
            AnnotatedExecutableType subtype, AnnotatedIntersectionType supertype, PARAM param);

    public RETURN_TYPE visitExecutable_None(
            AnnotatedExecutableType subtype, AnnotatedNoType supertype, PARAM param);

    public RETURN_TYPE visitExecutable_Null(
            AnnotatedExecutableType subtype, AnnotatedNullType supertype, PARAM param);

    public RETURN_TYPE visitExecutable_Primitive(
            AnnotatedExecutableType subtype, AnnotatedPrimitiveType supertype, PARAM param);

    public RETURN_TYPE visitExecutable_Typevar(
            AnnotatedExecutableType subtype, AnnotatedTypeVariable supertype, PARAM param);

    public RETURN_TYPE visitExecutable_Union(
            AnnotatedExecutableType subtype, AnnotatedUnionType supertype, PARAM param);

    public RETURN_TYPE visitExecutable_Wildcard(
            AnnotatedExecutableType subtype, AnnotatedWildcardType supertype, PARAM param);

    public RETURN_TYPE visitIntersection_Array(
            AnnotatedIntersectionType subtype, AnnotatedArrayType supertype, PARAM param);

    public RETURN_TYPE visitIntersection_Declared(
            AnnotatedIntersectionType subtype, AnnotatedDeclaredType supertype, PARAM param);

    public RETURN_TYPE visitIntersection_Executable(
            AnnotatedIntersectionType subtype, AnnotatedExecutableType supertype, PARAM param);

    public RETURN_TYPE visitIntersection_Intersection(
            AnnotatedIntersectionType subtype, AnnotatedIntersectionType supertype, PARAM param);

    public RETURN_TYPE visitIntersection_None(
            AnnotatedIntersectionType subtype, AnnotatedNoType supertype, PARAM param);

    public RETURN_TYPE visitIntersection_Null(
            AnnotatedIntersectionType subtype, AnnotatedNullType supertype, PARAM param);

    public RETURN_TYPE visitIntersection_Primitive(
            AnnotatedIntersectionType subtype, AnnotatedPrimitiveType supertype, PARAM param);

    public RETURN_TYPE visitIntersection_Typevar(
            AnnotatedIntersectionType subtype, AnnotatedTypeVariable supertype, PARAM param);

    public RETURN_TYPE visitIntersection_Union(
            AnnotatedIntersectionType subtype, AnnotatedUnionType supertype, PARAM param);

    public RETURN_TYPE visitIntersection_Wildcard(
            AnnotatedIntersectionType subtype, AnnotatedWildcardType supertype, PARAM param);

    public RETURN_TYPE visitNone_Array(
            AnnotatedNoType subtype, AnnotatedArrayType supertype, PARAM param);

    public RETURN_TYPE visitNone_Declared(
            AnnotatedNoType subtype, AnnotatedDeclaredType supertype, PARAM param);

    public RETURN_TYPE visitNone_Executable(
            AnnotatedNoType subtype, AnnotatedExecutableType supertype, PARAM param);

    public RETURN_TYPE visitNone_Intersection(
            AnnotatedNoType subtype, AnnotatedIntersectionType supertype, PARAM param);

    public RETURN_TYPE visitNone_None(
            AnnotatedNoType subtype, AnnotatedNoType supertype, PARAM param);

    public RETURN_TYPE visitNone_Null(
            AnnotatedNoType subtype, AnnotatedNullType supertype, PARAM param);

    public RETURN_TYPE visitNone_Primitive(
            AnnotatedNoType subtype, AnnotatedPrimitiveType supertype, PARAM param);

    public RETURN_TYPE visitNone_Union(
            AnnotatedNoType subtype, AnnotatedUnionType supertype, PARAM param);

    public RETURN_TYPE visitNone_Wildcard(
            AnnotatedNoType subtype, AnnotatedWildcardType supertype, PARAM param);

    public RETURN_TYPE visitNull_Array(
            AnnotatedNullType subtype, AnnotatedArrayType supertype, PARAM param);

    public RETURN_TYPE visitNull_Declared(
            AnnotatedNullType subtype, AnnotatedDeclaredType supertype, PARAM param);

    public RETURN_TYPE visitNull_Executable(
            AnnotatedNullType subtype, AnnotatedExecutableType supertype, PARAM param);

    public RETURN_TYPE visitNull_Intersection(
            AnnotatedNullType subtype, AnnotatedIntersectionType supertype, PARAM param);

    public RETURN_TYPE visitNull_None(
            AnnotatedNullType subtype, AnnotatedNoType supertype, PARAM param);

    public RETURN_TYPE visitNull_Null(
            AnnotatedNullType subtype, AnnotatedNullType supertype, PARAM param);

    public RETURN_TYPE visitNull_Primitive(
            AnnotatedNullType subtype, AnnotatedPrimitiveType supertype, PARAM param);

    public RETURN_TYPE visitNull_Typevar(
            AnnotatedNullType subtype, AnnotatedTypeVariable supertype, PARAM param);

    public RETURN_TYPE visitNull_Union(
            AnnotatedNullType subtype, AnnotatedUnionType supertype, PARAM param);

    public RETURN_TYPE visitNull_Wildcard(
            AnnotatedNullType subtype, AnnotatedWildcardType supertype, PARAM param);

    public RETURN_TYPE visitPrimitive_Array(
            AnnotatedPrimitiveType subtype, AnnotatedArrayType supertype, PARAM param);

    public RETURN_TYPE visitPrimitive_Declared(
            AnnotatedPrimitiveType subtype, AnnotatedDeclaredType supertype, PARAM param);

    public RETURN_TYPE visitPrimitive_Executable(
            AnnotatedPrimitiveType subtype, AnnotatedExecutableType supertype, PARAM param);

    public RETURN_TYPE visitPrimitive_Intersection(
            AnnotatedPrimitiveType subtype, AnnotatedIntersectionType supertype, PARAM param);

    public RETURN_TYPE visitPrimitive_None(
            AnnotatedPrimitiveType subtype, AnnotatedNoType supertype, PARAM param);

    public RETURN_TYPE visitPrimitive_Null(
            AnnotatedPrimitiveType subtype, AnnotatedNullType supertype, PARAM param);

    public RETURN_TYPE visitPrimitive_Primitive(
            AnnotatedPrimitiveType subtype, AnnotatedPrimitiveType supertype, PARAM param);

    public RETURN_TYPE visitPrimitive_Typevar(
            AnnotatedPrimitiveType subtype, AnnotatedTypeVariable supertype, PARAM param);

    public RETURN_TYPE visitPrimitive_Union(
            AnnotatedPrimitiveType subtype, AnnotatedUnionType supertype, PARAM param);

    public RETURN_TYPE visitPrimitive_Wildcard(
            AnnotatedPrimitiveType subtype, AnnotatedWildcardType supertype, PARAM param);

    public RETURN_TYPE visitUnion_Array(
            AnnotatedUnionType subtype, AnnotatedArrayType supertype, PARAM param);

    public RETURN_TYPE visitUnion_Declared(
            AnnotatedUnionType subtype, AnnotatedDeclaredType supertype, PARAM param);

    public RETURN_TYPE visitUnion_Executable(
            AnnotatedUnionType subtype, AnnotatedExecutableType supertype, PARAM param);

    public RETURN_TYPE visitUnion_Intersection(
            AnnotatedUnionType subtype, AnnotatedIntersectionType supertype, PARAM param);

    public RETURN_TYPE visitUnion_None(
            AnnotatedUnionType subtype, AnnotatedNoType supertype, PARAM param);

    public RETURN_TYPE visitUnion_Null(
            AnnotatedUnionType subtype, AnnotatedNullType supertype, PARAM param);

    public RETURN_TYPE visitUnion_Primitive(
            AnnotatedUnionType subtype, AnnotatedPrimitiveType supertype, PARAM param);

    public RETURN_TYPE visitUnion_Typevar(
            AnnotatedUnionType subtype, AnnotatedTypeVariable supertype, PARAM param);

    public RETURN_TYPE visitUnion_Union(
            AnnotatedUnionType subtype, AnnotatedUnionType supertype, PARAM param);

    public RETURN_TYPE visitUnion_Wildcard(
            AnnotatedUnionType subtype, AnnotatedWildcardType supertype, PARAM param);

    public RETURN_TYPE visitTypevar_Array(
            AnnotatedTypeVariable subtype, AnnotatedArrayType supertype, PARAM param);

    public RETURN_TYPE visitTypevar_Declared(
            AnnotatedTypeVariable subtype, AnnotatedDeclaredType supertype, PARAM param);

    public RETURN_TYPE visitTypevar_Executable(
            AnnotatedTypeVariable subtype, AnnotatedExecutableType supertype, PARAM param);

    public RETURN_TYPE visitTypevar_Intersection(
            AnnotatedTypeVariable subtype, AnnotatedIntersectionType supertype, PARAM param);

    public RETURN_TYPE visitTypevar_None(
            AnnotatedTypeVariable subtype, AnnotatedNoType supertype, PARAM param);

    public RETURN_TYPE visitTypevar_Null(
            AnnotatedTypeVariable subtype, AnnotatedNullType supertype, PARAM param);

    public RETURN_TYPE visitTypevar_Primitive(
            AnnotatedTypeVariable subtype, AnnotatedPrimitiveType supertype, PARAM param);

    public RETURN_TYPE visitTypevar_Typevar(
            AnnotatedTypeVariable subtype, AnnotatedTypeVariable supertype, PARAM param);

    public RETURN_TYPE visitTypevar_Union(
            AnnotatedTypeVariable subtype, AnnotatedUnionType supertype, PARAM param);

    public RETURN_TYPE visitTypevar_Wildcard(
            AnnotatedTypeVariable subtype, AnnotatedWildcardType supertype, PARAM param);

    public RETURN_TYPE visitWildcard_Array(
            AnnotatedWildcardType subtype, AnnotatedArrayType supertype, PARAM param);

    public RETURN_TYPE visitWildcard_Declared(
            AnnotatedWildcardType subtype, AnnotatedDeclaredType supertype, PARAM param);

    public RETURN_TYPE visitWildcard_Executable(
            AnnotatedWildcardType subtype, AnnotatedExecutableType supertype, PARAM param);

    public RETURN_TYPE visitWildcard_Intersection(
            AnnotatedWildcardType subtype, AnnotatedIntersectionType supertype, PARAM param);

    public RETURN_TYPE visitWildcard_None(
            AnnotatedWildcardType subtype, AnnotatedNoType supertype, PARAM param);

    public RETURN_TYPE visitWildcard_Null(
            AnnotatedWildcardType subtype, AnnotatedNullType supertype, PARAM param);

    public RETURN_TYPE visitWildcard_Primitive(
            AnnotatedWildcardType subtype, AnnotatedPrimitiveType supertype, PARAM param);

    public RETURN_TYPE visitWildcard_Typevar(
            AnnotatedWildcardType subtype, AnnotatedTypeVariable supertype, PARAM param);

    public RETURN_TYPE visitWildcard_Union(
            AnnotatedWildcardType subtype, AnnotatedUnionType supertype, PARAM param);

    public RETURN_TYPE visitWildcard_Wildcard(
            AnnotatedWildcardType subtype, AnnotatedWildcardType supertype, PARAM param);
}