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.
 *
 * @param <RETURN_TYPE> the type returned by each visit method
 * @param <PARAM> the type of a single value that is passed to every visit method. It can act as
 *     global state.
 */
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);
}