org.checkerframework.framework.type

Class AsSuperVisitor

java.lang.Object

org.checkerframework.framework.type.visitor.AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

org.checkerframework.framework.type.AsSuperVisitor

All Implemented Interfaces:

AtmComboVisitor<AnnotatedTypeMirror,Void>

public class AsSuperVisitor
extends AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

Implements asSuper AnnotatedTypes.asSuper(AnnotatedTypeFactory, AnnotatedTypeMirror, AnnotatedTypeMirror)

Constructor Summary

Constructors

Constructor and Description
AsSuperVisitor(AnnotatedTypeFactory annotatedTypeFactory)

Method Summary

Modifier and Type	Method and Description
<T extends AnnotatedTypeMirror> T	asSuper(AnnotatedTypeMirror type, T superType) Implements asSuper.
protected String	defaultErrorMessage(AnnotatedTypeMirror type, AnnotatedTypeMirror superType, Void p) Formats type1, type2 and param into an error message used by all methods of AbstractAtmComboVisitor that are not overridden.
boolean	sameAnnotatedTypeFactory(AnnotatedTypeFactory annotatedTypeFactory)
AnnotatedTypeMirror	visit(AnnotatedTypeMirror type, AnnotatedTypeMirror superType, Void p)
AnnotatedTypeMirror	visitArray_Array(AnnotatedTypeMirror.AnnotatedArrayType type, AnnotatedTypeMirror.AnnotatedArrayType superType, Void p)
AnnotatedTypeMirror	visitArray_Declared(AnnotatedTypeMirror.AnnotatedArrayType type, AnnotatedTypeMirror.AnnotatedDeclaredType superType, Void p)
AnnotatedTypeMirror	visitArray_Intersection(AnnotatedTypeMirror.AnnotatedArrayType type, AnnotatedTypeMirror.AnnotatedIntersectionType superType, Void p)
AnnotatedTypeMirror	visitArray_Typevar(AnnotatedTypeMirror.AnnotatedArrayType type, AnnotatedTypeMirror.AnnotatedTypeVariable superType, Void p)
AnnotatedTypeMirror	visitArray_Wildcard(AnnotatedTypeMirror.AnnotatedArrayType type, AnnotatedTypeMirror.AnnotatedWildcardType superType, Void p)
AnnotatedTypeMirror	visitDeclared_Declared(AnnotatedTypeMirror.AnnotatedDeclaredType type, AnnotatedTypeMirror.AnnotatedDeclaredType superType, Void p)
AnnotatedTypeMirror	visitDeclared_Intersection(AnnotatedTypeMirror.AnnotatedDeclaredType type, AnnotatedTypeMirror.AnnotatedIntersectionType superType, Void p)
AnnotatedTypeMirror	visitDeclared_Primitive(AnnotatedTypeMirror.AnnotatedDeclaredType type, AnnotatedTypeMirror.AnnotatedPrimitiveType superType, Void p)
AnnotatedTypeMirror	visitDeclared_Typevar(AnnotatedTypeMirror.AnnotatedDeclaredType type, AnnotatedTypeMirror.AnnotatedTypeVariable superType, Void p)
AnnotatedTypeMirror	visitDeclared_Union(AnnotatedTypeMirror.AnnotatedDeclaredType type, AnnotatedTypeMirror.AnnotatedUnionType superType, Void p)
AnnotatedTypeMirror	visitDeclared_Wildcard(AnnotatedTypeMirror.AnnotatedDeclaredType type, AnnotatedTypeMirror.AnnotatedWildcardType superType, Void p)
AnnotatedTypeMirror	visitIntersection_Declared(AnnotatedTypeMirror.AnnotatedIntersectionType type, AnnotatedTypeMirror.AnnotatedDeclaredType superType, Void p)
AnnotatedTypeMirror	visitIntersection_Intersection(AnnotatedTypeMirror.AnnotatedIntersectionType type, AnnotatedTypeMirror.AnnotatedIntersectionType superType, Void p)
AnnotatedTypeMirror	visitIntersection_Primitive(AnnotatedTypeMirror.AnnotatedIntersectionType type, AnnotatedTypeMirror.AnnotatedPrimitiveType superType, Void p)
AnnotatedTypeMirror	visitIntersection_Typevar(AnnotatedTypeMirror.AnnotatedIntersectionType type, AnnotatedTypeMirror.AnnotatedTypeVariable superType, Void p)
AnnotatedTypeMirror	visitIntersection_Union(AnnotatedTypeMirror.AnnotatedIntersectionType type, AnnotatedTypeMirror.AnnotatedUnionType superType, Void p)
AnnotatedTypeMirror	visitIntersection_Wildcard(AnnotatedTypeMirror.AnnotatedIntersectionType type, AnnotatedTypeMirror.AnnotatedWildcardType superType, Void p)
AnnotatedTypeMirror	visitPrimitive_Declared(AnnotatedTypeMirror.AnnotatedPrimitiveType type, AnnotatedTypeMirror.AnnotatedDeclaredType superType, Void p)
AnnotatedTypeMirror	visitPrimitive_Intersection(AnnotatedTypeMirror.AnnotatedPrimitiveType type, AnnotatedTypeMirror.AnnotatedIntersectionType superType, Void p)
AnnotatedTypeMirror	visitPrimitive_Primitive(AnnotatedTypeMirror.AnnotatedPrimitiveType type, AnnotatedTypeMirror.AnnotatedPrimitiveType superType, Void p)
AnnotatedTypeMirror	visitPrimitive_Typevar(AnnotatedTypeMirror.AnnotatedPrimitiveType type, AnnotatedTypeMirror.AnnotatedTypeVariable superType, Void p)
AnnotatedTypeMirror	visitPrimitive_Union(AnnotatedTypeMirror.AnnotatedPrimitiveType type, AnnotatedTypeMirror.AnnotatedUnionType superType, Void p)
AnnotatedTypeMirror	visitPrimitive_Wildcard(AnnotatedTypeMirror.AnnotatedPrimitiveType type, AnnotatedTypeMirror.AnnotatedWildcardType superType, Void p)
AnnotatedTypeMirror	visitTypevar_Declared(AnnotatedTypeMirror.AnnotatedTypeVariable type, AnnotatedTypeMirror.AnnotatedDeclaredType superType, Void p)
AnnotatedTypeMirror	visitTypevar_Intersection(AnnotatedTypeMirror.AnnotatedTypeVariable type, AnnotatedTypeMirror.AnnotatedIntersectionType superType, Void p)
AnnotatedTypeMirror	visitTypevar_Primitive(AnnotatedTypeMirror.AnnotatedTypeVariable type, AnnotatedTypeMirror.AnnotatedPrimitiveType superType, Void p)
AnnotatedTypeMirror	visitTypevar_Typevar(AnnotatedTypeMirror.AnnotatedTypeVariable type, AnnotatedTypeMirror.AnnotatedTypeVariable superType, Void p)
AnnotatedTypeMirror	visitTypevar_Union(AnnotatedTypeMirror.AnnotatedTypeVariable type, AnnotatedTypeMirror.AnnotatedUnionType superType, Void p)
AnnotatedTypeMirror	visitTypevar_Wildcard(AnnotatedTypeMirror.AnnotatedTypeVariable type, AnnotatedTypeMirror.AnnotatedWildcardType superType, Void p)
AnnotatedTypeMirror	visitUnion_Declared(AnnotatedTypeMirror.AnnotatedUnionType type, AnnotatedTypeMirror.AnnotatedDeclaredType superType, Void p)
AnnotatedTypeMirror	visitUnion_Intersection(AnnotatedTypeMirror.AnnotatedUnionType type, AnnotatedTypeMirror.AnnotatedIntersectionType superType, Void p)
AnnotatedTypeMirror	visitUnion_Typevar(AnnotatedTypeMirror.AnnotatedUnionType type, AnnotatedTypeMirror.AnnotatedTypeVariable superType, Void p)
AnnotatedTypeMirror	visitUnion_Union(AnnotatedTypeMirror.AnnotatedUnionType type, AnnotatedTypeMirror.AnnotatedUnionType superType, Void p)
AnnotatedTypeMirror	visitUnion_Wildcard(AnnotatedTypeMirror.AnnotatedUnionType type, AnnotatedTypeMirror.AnnotatedWildcardType superType, Void p)
AnnotatedTypeMirror	visitWildcard_Array(AnnotatedTypeMirror.AnnotatedWildcardType type, AnnotatedTypeMirror.AnnotatedArrayType superType, Void p)
AnnotatedTypeMirror	visitWildcard_Declared(AnnotatedTypeMirror.AnnotatedWildcardType type, AnnotatedTypeMirror.AnnotatedDeclaredType superType, Void p)
AnnotatedTypeMirror	visitWildcard_Intersection(AnnotatedTypeMirror.AnnotatedWildcardType type, AnnotatedTypeMirror.AnnotatedIntersectionType superType, Void p)
AnnotatedTypeMirror	visitWildcard_Primitive(AnnotatedTypeMirror.AnnotatedWildcardType type, AnnotatedTypeMirror.AnnotatedPrimitiveType superType, Void p)
AnnotatedTypeMirror	visitWildcard_Typevar(AnnotatedTypeMirror.AnnotatedWildcardType type, AnnotatedTypeMirror.AnnotatedTypeVariable superType, Void p)
AnnotatedTypeMirror	visitWildcard_Union(AnnotatedTypeMirror.AnnotatedWildcardType type, AnnotatedTypeMirror.AnnotatedUnionType superType, Void p)
AnnotatedTypeMirror	visitWildcard_Wildcard(AnnotatedTypeMirror.AnnotatedWildcardType type, AnnotatedTypeMirror.AnnotatedWildcardType superType, Void p)

Methods inherited from class org.checkerframework.framework.type.visitor.AbstractAtmComboVisitor

defaultAction, visitArray_Executable, visitArray_None, visitArray_Null, visitArray_Primitive, visitArray_Union, visitDeclared_Array, visitDeclared_Executable, visitDeclared_None, visitDeclared_Null, visitExecutable_Array, visitExecutable_Declared, visitExecutable_Executable, visitExecutable_Intersection, visitExecutable_None, visitExecutable_Null, visitExecutable_Primitive, visitExecutable_Typevar, visitExecutable_Union, visitExecutable_Wildcard, visitIntersection_Array, visitIntersection_Executable, visitIntersection_None, visitIntersection_Null, visitNone_Array, visitNone_Declared, visitNone_Executable, visitNone_Intersection, visitNone_None, visitNone_Null, visitNone_Primitive, visitNone_Union, visitNone_Wildcard, visitNull_Array, visitNull_Declared, visitNull_Executable, visitNull_Intersection, visitNull_None, visitNull_Null, visitNull_Primitive, visitNull_Typevar, visitNull_Union, visitNull_Wildcard, visitPrimitive_Array, visitPrimitive_Executable, visitPrimitive_None, visitPrimitive_Null, visitTypevar_Array, visitTypevar_Executable, visitTypevar_None, visitTypevar_Null, visitUnion_Array, visitUnion_Executable, visitUnion_None, visitUnion_Null, visitUnion_Primitive, visitWildcard_Executable, visitWildcard_None, visitWildcard_Null

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AsSuperVisitor

public AsSuperVisitor(AnnotatedTypeFactory annotatedTypeFactory)

Method Detail

asSuper

public <T extends AnnotatedTypeMirror> T asSuper(AnnotatedTypeMirror type,
                                                 T superType)

Implements asSuper. See AnnotatedTypes.asSuper(AnnotatedTypeFactory, AnnotatedTypeMirror, AnnotatedTypeMirror) for details.

Parameters:

type - type from which to copy annotations

superType - a type whose erased Java type is a supertype of type's erased Java type.

Returns:

a copy of superType with annotations copied from type and type variables substituted from type.

visit

public AnnotatedTypeMirror visit(AnnotatedTypeMirror type,
                                 AnnotatedTypeMirror superType,
                                 Void p)

Overrides:

visit in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

defaultErrorMessage

protected String defaultErrorMessage(AnnotatedTypeMirror type,
                                     AnnotatedTypeMirror superType,
                                     Void p)

Description copied from class: AbstractAtmComboVisitor

Formats type1, type2 and param into an error message used by all methods of AbstractAtmComboVisitor that are not overridden. Normally, this method should indicate that the given method (and therefore the given pair of type mirror classes) is not supported by this class.

Specified by:

defaultErrorMessage in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

Parameters:

type - the first AnnotatedTypeMirror parameter to the visit method called

superType - the second AnnotatedTypeMirror parameter to the visit method called

p - subtype specific parameter passed to every visit method

Returns:

an error message

visitArray_Array

public AnnotatedTypeMirror visitArray_Array(AnnotatedTypeMirror.AnnotatedArrayType type,
                                            AnnotatedTypeMirror.AnnotatedArrayType superType,
                                            Void p)

Specified by:

visitArray_Array in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitArray_Array in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitArray_Intersection

public AnnotatedTypeMirror visitArray_Intersection(AnnotatedTypeMirror.AnnotatedArrayType type,
                                                   AnnotatedTypeMirror.AnnotatedIntersectionType superType,
                                                   Void p)

Specified by:

visitArray_Intersection in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitArray_Intersection in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitArray_Declared

public AnnotatedTypeMirror visitArray_Declared(AnnotatedTypeMirror.AnnotatedArrayType type,
                                               AnnotatedTypeMirror.AnnotatedDeclaredType superType,
                                               Void p)

Specified by:

visitArray_Declared in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitArray_Declared in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitArray_Typevar

public AnnotatedTypeMirror visitArray_Typevar(AnnotatedTypeMirror.AnnotatedArrayType type,
                                              AnnotatedTypeMirror.AnnotatedTypeVariable superType,
                                              Void p)

Specified by:

visitArray_Typevar in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitArray_Typevar in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitArray_Wildcard

public AnnotatedTypeMirror visitArray_Wildcard(AnnotatedTypeMirror.AnnotatedArrayType type,
                                               AnnotatedTypeMirror.AnnotatedWildcardType superType,
                                               Void p)

Specified by:

visitArray_Wildcard in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitArray_Wildcard in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitDeclared_Declared

public AnnotatedTypeMirror visitDeclared_Declared(AnnotatedTypeMirror.AnnotatedDeclaredType type,
                                                  AnnotatedTypeMirror.AnnotatedDeclaredType superType,
                                                  Void p)

Specified by:

visitDeclared_Declared in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitDeclared_Declared in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitDeclared_Intersection

public AnnotatedTypeMirror visitDeclared_Intersection(AnnotatedTypeMirror.AnnotatedDeclaredType type,
                                                      AnnotatedTypeMirror.AnnotatedIntersectionType superType,
                                                      Void p)

Specified by:

visitDeclared_Intersection in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitDeclared_Intersection in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitDeclared_Primitive

public AnnotatedTypeMirror visitDeclared_Primitive(AnnotatedTypeMirror.AnnotatedDeclaredType type,
                                                   AnnotatedTypeMirror.AnnotatedPrimitiveType superType,
                                                   Void p)

Specified by:

visitDeclared_Primitive in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitDeclared_Primitive in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitDeclared_Typevar

public AnnotatedTypeMirror visitDeclared_Typevar(AnnotatedTypeMirror.AnnotatedDeclaredType type,
                                                 AnnotatedTypeMirror.AnnotatedTypeVariable superType,
                                                 Void p)

Specified by:

visitDeclared_Typevar in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitDeclared_Typevar in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitDeclared_Union

public AnnotatedTypeMirror visitDeclared_Union(AnnotatedTypeMirror.AnnotatedDeclaredType type,
                                               AnnotatedTypeMirror.AnnotatedUnionType superType,
                                               Void p)

Specified by:

visitDeclared_Union in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitDeclared_Union in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitDeclared_Wildcard

public AnnotatedTypeMirror visitDeclared_Wildcard(AnnotatedTypeMirror.AnnotatedDeclaredType type,
                                                  AnnotatedTypeMirror.AnnotatedWildcardType superType,
                                                  Void p)

Specified by:

visitDeclared_Wildcard in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitDeclared_Wildcard in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitIntersection_Declared

public AnnotatedTypeMirror visitIntersection_Declared(AnnotatedTypeMirror.AnnotatedIntersectionType type,
                                                      AnnotatedTypeMirror.AnnotatedDeclaredType superType,
                                                      Void p)

Specified by:

visitIntersection_Declared in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitIntersection_Declared in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitIntersection_Intersection

public AnnotatedTypeMirror visitIntersection_Intersection(AnnotatedTypeMirror.AnnotatedIntersectionType type,
                                                          AnnotatedTypeMirror.AnnotatedIntersectionType superType,
                                                          Void p)

Specified by:

visitIntersection_Intersection in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitIntersection_Intersection in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitIntersection_Primitive

public AnnotatedTypeMirror visitIntersection_Primitive(AnnotatedTypeMirror.AnnotatedIntersectionType type,
                                                       AnnotatedTypeMirror.AnnotatedPrimitiveType superType,
                                                       Void p)

Specified by:

visitIntersection_Primitive in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitIntersection_Primitive in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitIntersection_Typevar

public AnnotatedTypeMirror visitIntersection_Typevar(AnnotatedTypeMirror.AnnotatedIntersectionType type,
                                                     AnnotatedTypeMirror.AnnotatedTypeVariable superType,
                                                     Void p)

Specified by:

visitIntersection_Typevar in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitIntersection_Typevar in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitIntersection_Union

public AnnotatedTypeMirror visitIntersection_Union(AnnotatedTypeMirror.AnnotatedIntersectionType type,
                                                   AnnotatedTypeMirror.AnnotatedUnionType superType,
                                                   Void p)

Specified by:

visitIntersection_Union in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitIntersection_Union in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitIntersection_Wildcard

public AnnotatedTypeMirror visitIntersection_Wildcard(AnnotatedTypeMirror.AnnotatedIntersectionType type,
                                                      AnnotatedTypeMirror.AnnotatedWildcardType superType,
                                                      Void p)

Specified by:

visitIntersection_Wildcard in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitIntersection_Wildcard in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitPrimitive_Primitive

public AnnotatedTypeMirror visitPrimitive_Primitive(AnnotatedTypeMirror.AnnotatedPrimitiveType type,
                                                    AnnotatedTypeMirror.AnnotatedPrimitiveType superType,
                                                    Void p)

Specified by:

visitPrimitive_Primitive in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitPrimitive_Primitive in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitPrimitive_Declared

public AnnotatedTypeMirror visitPrimitive_Declared(AnnotatedTypeMirror.AnnotatedPrimitiveType type,
                                                   AnnotatedTypeMirror.AnnotatedDeclaredType superType,
                                                   Void p)

Specified by:

visitPrimitive_Declared in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitPrimitive_Declared in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitPrimitive_Intersection

public AnnotatedTypeMirror visitPrimitive_Intersection(AnnotatedTypeMirror.AnnotatedPrimitiveType type,
                                                       AnnotatedTypeMirror.AnnotatedIntersectionType superType,
                                                       Void p)

Specified by:

visitPrimitive_Intersection in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitPrimitive_Intersection in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitPrimitive_Typevar

public AnnotatedTypeMirror visitPrimitive_Typevar(AnnotatedTypeMirror.AnnotatedPrimitiveType type,
                                                  AnnotatedTypeMirror.AnnotatedTypeVariable superType,
                                                  Void p)

Specified by:

visitPrimitive_Typevar in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitPrimitive_Typevar in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitPrimitive_Union

public AnnotatedTypeMirror visitPrimitive_Union(AnnotatedTypeMirror.AnnotatedPrimitiveType type,
                                                AnnotatedTypeMirror.AnnotatedUnionType superType,
                                                Void p)

Specified by:

visitPrimitive_Union in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitPrimitive_Union in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitPrimitive_Wildcard

public AnnotatedTypeMirror visitPrimitive_Wildcard(AnnotatedTypeMirror.AnnotatedPrimitiveType type,
                                                   AnnotatedTypeMirror.AnnotatedWildcardType superType,
                                                   Void p)

Specified by:

visitPrimitive_Wildcard in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitPrimitive_Wildcard in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitTypevar_Declared

public AnnotatedTypeMirror visitTypevar_Declared(AnnotatedTypeMirror.AnnotatedTypeVariable type,
                                                 AnnotatedTypeMirror.AnnotatedDeclaredType superType,
                                                 Void p)

Specified by:

visitTypevar_Declared in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitTypevar_Declared in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitTypevar_Intersection

public AnnotatedTypeMirror visitTypevar_Intersection(AnnotatedTypeMirror.AnnotatedTypeVariable type,
                                                     AnnotatedTypeMirror.AnnotatedIntersectionType superType,
                                                     Void p)

Specified by:

visitTypevar_Intersection in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitTypevar_Intersection in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitTypevar_Primitive

public AnnotatedTypeMirror visitTypevar_Primitive(AnnotatedTypeMirror.AnnotatedTypeVariable type,
                                                  AnnotatedTypeMirror.AnnotatedPrimitiveType superType,
                                                  Void p)

Specified by:

visitTypevar_Primitive in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitTypevar_Primitive in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitTypevar_Typevar

public AnnotatedTypeMirror visitTypevar_Typevar(AnnotatedTypeMirror.AnnotatedTypeVariable type,
                                                AnnotatedTypeMirror.AnnotatedTypeVariable superType,
                                                Void p)

Specified by:

visitTypevar_Typevar in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitTypevar_Typevar in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitTypevar_Union

public AnnotatedTypeMirror visitTypevar_Union(AnnotatedTypeMirror.AnnotatedTypeVariable type,
                                              AnnotatedTypeMirror.AnnotatedUnionType superType,
                                              Void p)

Specified by:

visitTypevar_Union in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitTypevar_Union in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitTypevar_Wildcard

public AnnotatedTypeMirror visitTypevar_Wildcard(AnnotatedTypeMirror.AnnotatedTypeVariable type,
                                                 AnnotatedTypeMirror.AnnotatedWildcardType superType,
                                                 Void p)

Specified by:

visitTypevar_Wildcard in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitTypevar_Wildcard in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitUnion_Declared

public AnnotatedTypeMirror visitUnion_Declared(AnnotatedTypeMirror.AnnotatedUnionType type,
                                               AnnotatedTypeMirror.AnnotatedDeclaredType superType,
                                               Void p)

Specified by:

visitUnion_Declared in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitUnion_Declared in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitUnion_Intersection

public AnnotatedTypeMirror visitUnion_Intersection(AnnotatedTypeMirror.AnnotatedUnionType type,
                                                   AnnotatedTypeMirror.AnnotatedIntersectionType superType,
                                                   Void p)

Specified by:

visitUnion_Intersection in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitUnion_Intersection in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitUnion_Typevar

public AnnotatedTypeMirror visitUnion_Typevar(AnnotatedTypeMirror.AnnotatedUnionType type,
                                              AnnotatedTypeMirror.AnnotatedTypeVariable superType,
                                              Void p)

Specified by:

visitUnion_Typevar in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitUnion_Typevar in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitUnion_Union

public AnnotatedTypeMirror visitUnion_Union(AnnotatedTypeMirror.AnnotatedUnionType type,
                                            AnnotatedTypeMirror.AnnotatedUnionType superType,
                                            Void p)

Specified by:

visitUnion_Union in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitUnion_Union in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitUnion_Wildcard

public AnnotatedTypeMirror visitUnion_Wildcard(AnnotatedTypeMirror.AnnotatedUnionType type,
                                               AnnotatedTypeMirror.AnnotatedWildcardType superType,
                                               Void p)

Specified by:

visitUnion_Wildcard in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitUnion_Wildcard in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitWildcard_Array

public AnnotatedTypeMirror visitWildcard_Array(AnnotatedTypeMirror.AnnotatedWildcardType type,
                                               AnnotatedTypeMirror.AnnotatedArrayType superType,
                                               Void p)

Specified by:

visitWildcard_Array in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitWildcard_Array in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitWildcard_Declared

public AnnotatedTypeMirror visitWildcard_Declared(AnnotatedTypeMirror.AnnotatedWildcardType type,
                                                  AnnotatedTypeMirror.AnnotatedDeclaredType superType,
                                                  Void p)

Specified by:

visitWildcard_Declared in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitWildcard_Declared in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitWildcard_Intersection

public AnnotatedTypeMirror visitWildcard_Intersection(AnnotatedTypeMirror.AnnotatedWildcardType type,
                                                      AnnotatedTypeMirror.AnnotatedIntersectionType superType,
                                                      Void p)

Specified by:

visitWildcard_Intersection in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitWildcard_Intersection in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitWildcard_Primitive

public AnnotatedTypeMirror visitWildcard_Primitive(AnnotatedTypeMirror.AnnotatedWildcardType type,
                                                   AnnotatedTypeMirror.AnnotatedPrimitiveType superType,
                                                   Void p)

Specified by:

visitWildcard_Primitive in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitWildcard_Primitive in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitWildcard_Typevar

public AnnotatedTypeMirror visitWildcard_Typevar(AnnotatedTypeMirror.AnnotatedWildcardType type,
                                                 AnnotatedTypeMirror.AnnotatedTypeVariable superType,
                                                 Void p)

Specified by:

visitWildcard_Typevar in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitWildcard_Typevar in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitWildcard_Union

public AnnotatedTypeMirror visitWildcard_Union(AnnotatedTypeMirror.AnnotatedWildcardType type,
                                               AnnotatedTypeMirror.AnnotatedUnionType superType,
                                               Void p)

Specified by:

visitWildcard_Union in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitWildcard_Union in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

visitWildcard_Wildcard

public AnnotatedTypeMirror visitWildcard_Wildcard(AnnotatedTypeMirror.AnnotatedWildcardType type,
                                                  AnnotatedTypeMirror.AnnotatedWildcardType superType,
                                                  Void p)

Specified by:

visitWildcard_Wildcard in interface AtmComboVisitor<AnnotatedTypeMirror,Void>

Overrides:

visitWildcard_Wildcard in class AbstractAtmComboVisitor<AnnotatedTypeMirror,Void>

sameAnnotatedTypeFactory

public boolean sameAnnotatedTypeFactory(AnnotatedTypeFactory annotatedTypeFactory)