org.checkerframework.framework.type

Class DefaultRawnessComparer

java.lang.Object

org.checkerframework.framework.type.visitor.AbstractAtmComboVisitor<Boolean,VisitHistory>

org.checkerframework.framework.type.DefaultRawnessComparer

All Implemented Interfaces:

AtmComboVisitor<Boolean,VisitHistory>

public class DefaultRawnessComparer
extends AbstractAtmComboVisitor<Boolean,VisitHistory>

Our //TODO: USING THE SAME LOGIC AS THE OLD TYPE_HIERARCHY.isSubtypeAsTypeArgument but only for //TODO: RAW TypeArguments, we can replace this later if we think there is a more sensible thing to do //TODO: LOOK AT OLD TYPE_HIERARCHY FOR MORE INFORAMTION

Constructor Summary

Constructors

Constructor and Description
DefaultRawnessComparer(DefaultTypeHierarchy typeHierarchy)

Method Summary

Modifier and Type	Method and Description
protected boolean	arePrimaryAnnotationsEqual(AnnotatedTypeMirror subtype, AnnotatedTypeMirror supertype)
protected String	defaultErrorMessage(AnnotatedTypeMirror subtype, AnnotatedTypeMirror supertype, VisitHistory visited) Formats type1, type2 and param into an error message used by all methods of AbstractAtmComboVisitor that are not overridden.
boolean	isValid(AnnotatedTypeMirror subtype, AnnotatedTypeMirror supertype, VisitHistory visited)
boolean	isValidInHierarchy(AnnotatedTypeMirror subtype, AnnotatedTypeMirror supertype, AnnotationMirror top, VisitHistory visited)
Boolean	visitArray_Array(AnnotatedTypeMirror.AnnotatedArrayType subtype, AnnotatedTypeMirror.AnnotatedArrayType supertype, VisitHistory visited)
Boolean	visitArray_Declared(AnnotatedTypeMirror.AnnotatedArrayType subtype, AnnotatedTypeMirror.AnnotatedDeclaredType supertype, VisitHistory visited)
Boolean	visitArray_Typevar(AnnotatedTypeMirror.AnnotatedArrayType subtype, AnnotatedTypeMirror.AnnotatedTypeVariable supertype, VisitHistory visited)
Boolean	visitArray_Wildcard(AnnotatedTypeMirror.AnnotatedArrayType subtype, AnnotatedTypeMirror.AnnotatedWildcardType supertype, VisitHistory visited)
Boolean	visitDeclared_Declared(AnnotatedTypeMirror.AnnotatedDeclaredType subtype, AnnotatedTypeMirror.AnnotatedDeclaredType supertype, VisitHistory visited)
Boolean	visitDeclared_Typevar(AnnotatedTypeMirror.AnnotatedDeclaredType subtype, AnnotatedTypeMirror.AnnotatedTypeVariable supertype, VisitHistory visited)
Boolean	visitDeclared_Wildcard(AnnotatedTypeMirror.AnnotatedDeclaredType subtype, AnnotatedTypeMirror.AnnotatedWildcardType supertype, VisitHistory visited)
Boolean	visitNull_Declared(AnnotatedTypeMirror.AnnotatedNullType subtype, AnnotatedTypeMirror.AnnotatedDeclaredType supertype, VisitHistory visited)
Boolean	visitNull_Typevar(AnnotatedTypeMirror.AnnotatedNullType subtype, AnnotatedTypeMirror.AnnotatedTypeVariable supertype, VisitHistory visited)
Boolean	visitPrimitive_Primitive(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype, AnnotatedTypeMirror.AnnotatedPrimitiveType supertype, VisitHistory visited)
Boolean	visitTypevar_Declared(AnnotatedTypeMirror.AnnotatedTypeVariable subtype, AnnotatedTypeMirror.AnnotatedDeclaredType supertype, VisitHistory visited)
Boolean	visitTypevar_Null(AnnotatedTypeMirror.AnnotatedTypeVariable subtype, AnnotatedTypeMirror.AnnotatedNullType supertype, VisitHistory visited)
Boolean	visitTypevar_Typevar(AnnotatedTypeMirror.AnnotatedTypeVariable subtype, AnnotatedTypeMirror.AnnotatedTypeVariable supertype, VisitHistory visited)
Boolean	visitTypevar_Wildcard(AnnotatedTypeMirror.AnnotatedTypeVariable subtype, AnnotatedTypeMirror.AnnotatedWildcardType supertype, VisitHistory visited)
Boolean	visitTypeVarSubtype(AnnotatedTypeMirror.AnnotatedTypeVariable subtype, AnnotatedTypeMirror supertype, VisitHistory visited)
Boolean	visitTypevarSupertype(AnnotatedTypeMirror subtype, AnnotatedTypeMirror.AnnotatedTypeVariable supertype, VisitHistory visited)
Boolean	visitWildcard_Array(AnnotatedTypeMirror.AnnotatedWildcardType subtype, AnnotatedTypeMirror.AnnotatedArrayType supertype, VisitHistory visited)
Boolean	visitWildcard_Declared(AnnotatedTypeMirror.AnnotatedWildcardType subtype, AnnotatedTypeMirror.AnnotatedDeclaredType supertype, VisitHistory visited)
Boolean	visitWildcard_Typevar(AnnotatedTypeMirror.AnnotatedWildcardType subtype, AnnotatedTypeMirror.AnnotatedTypeVariable supertype, VisitHistory visited)
Boolean	visitWildcard_Wildcard(AnnotatedTypeMirror.AnnotatedWildcardType subtype, AnnotatedTypeMirror.AnnotatedWildcardType supertype, VisitHistory visited)
Boolean	visitWildcardSupertype(AnnotatedTypeMirror subtype, AnnotatedTypeMirror.AnnotatedWildcardType supertype, VisitHistory visited)

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

defaultAction, visit, visitArray_Executable, visitArray_Intersection, visitArray_None, visitArray_Null, visitArray_Primitive, visitArray_Union, visitDeclared_Array, visitDeclared_Executable, visitDeclared_Intersection, visitDeclared_None, visitDeclared_Null, visitDeclared_Primitive, visitDeclared_Union, visitExecutable_Array, visitExecutable_Declared, visitExecutable_Executable, visitExecutable_Intersection, visitExecutable_None, visitExecutable_Null, visitExecutable_Primitive, visitExecutable_Typevar, visitExecutable_Union, visitExecutable_Wildcard, visitIntersection_Array, visitIntersection_Declared, visitIntersection_Executable, visitIntersection_Intersection, visitIntersection_None, visitIntersection_Null, visitIntersection_Primitive, visitIntersection_Typevar, visitIntersection_Union, visitIntersection_Wildcard, visitNone_Array, visitNone_Declared, visitNone_Executable, visitNone_Intersection, visitNone_None, visitNone_Null, visitNone_Primitive, visitNone_Union, visitNone_Wildcard, visitNull_Array, visitNull_Executable, visitNull_Intersection, visitNull_None, visitNull_Null, visitNull_Primitive, visitNull_Union, visitNull_Wildcard, visitPrimitive_Array, visitPrimitive_Declared, visitPrimitive_Executable, visitPrimitive_Intersection, visitPrimitive_None, visitPrimitive_Null, visitPrimitive_Typevar, visitPrimitive_Union, visitPrimitive_Wildcard, visitTypevar_Array, visitTypevar_Executable, visitTypevar_Intersection, visitTypevar_None, visitTypevar_Primitive, visitTypevar_Union, visitUnion_Array, visitUnion_Declared, visitUnion_Executable, visitUnion_Intersection, visitUnion_None, visitUnion_Null, visitUnion_Primitive, visitUnion_Typevar, visitUnion_Union, visitUnion_Wildcard, visitWildcard_Executable, visitWildcard_Intersection, visitWildcard_None, visitWildcard_Null, visitWildcard_Primitive, visitWildcard_Union

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultRawnessComparer

public DefaultRawnessComparer(DefaultTypeHierarchy typeHierarchy)

Method Detail

defaultErrorMessage

protected String defaultErrorMessage(AnnotatedTypeMirror subtype,
                                     AnnotatedTypeMirror supertype,
                                     VisitHistory visited)

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<Boolean,VisitHistory>

Parameters:

subtype - the first AnnotatedTypeMirror parameter to the visit method called

supertype - the second AnnotatedTypeMirror parameter to the visit method called

visited - subtype specific parameter passed to every visit method

Returns:

an error message

isValid

public boolean isValid(AnnotatedTypeMirror subtype,
                       AnnotatedTypeMirror supertype,
                       VisitHistory visited)

isValidInHierarchy

public boolean isValidInHierarchy(AnnotatedTypeMirror subtype,
                                  AnnotatedTypeMirror supertype,
                                  AnnotationMirror top,
                                  VisitHistory visited)

arePrimaryAnnotationsEqual

protected boolean arePrimaryAnnotationsEqual(AnnotatedTypeMirror subtype,
                                             AnnotatedTypeMirror supertype)

visitDeclared_Declared

public Boolean visitDeclared_Declared(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
                                      AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
                                      VisitHistory visited)

Specified by:

visitDeclared_Declared in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitDeclared_Declared in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitWildcard_Wildcard

public Boolean visitWildcard_Wildcard(AnnotatedTypeMirror.AnnotatedWildcardType subtype,
                                      AnnotatedTypeMirror.AnnotatedWildcardType supertype,
                                      VisitHistory visited)

Specified by:

visitWildcard_Wildcard in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitWildcard_Wildcard in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitArray_Array

public Boolean visitArray_Array(AnnotatedTypeMirror.AnnotatedArrayType subtype,
                                AnnotatedTypeMirror.AnnotatedArrayType supertype,
                                VisitHistory visited)

Specified by:

visitArray_Array in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitArray_Array in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitNull_Declared

public Boolean visitNull_Declared(AnnotatedTypeMirror.AnnotatedNullType subtype,
                                  AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
                                  VisitHistory visited)

Specified by:

visitNull_Declared in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitNull_Declared in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitNull_Typevar

public Boolean visitNull_Typevar(AnnotatedTypeMirror.AnnotatedNullType subtype,
                                 AnnotatedTypeMirror.AnnotatedTypeVariable supertype,
                                 VisitHistory visited)

Specified by:

visitNull_Typevar in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitNull_Typevar in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitArray_Declared

public Boolean visitArray_Declared(AnnotatedTypeMirror.AnnotatedArrayType subtype,
                                   AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
                                   VisitHistory visited)

Specified by:

visitArray_Declared in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitArray_Declared in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitPrimitive_Primitive

public Boolean visitPrimitive_Primitive(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype,
                                        AnnotatedTypeMirror.AnnotatedPrimitiveType supertype,
                                        VisitHistory visited)

Specified by:

visitPrimitive_Primitive in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitPrimitive_Primitive in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitDeclared_Wildcard

public Boolean visitDeclared_Wildcard(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
                                      AnnotatedTypeMirror.AnnotatedWildcardType supertype,
                                      VisitHistory visited)

Specified by:

visitDeclared_Wildcard in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitDeclared_Wildcard in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitArray_Wildcard

public Boolean visitArray_Wildcard(AnnotatedTypeMirror.AnnotatedArrayType subtype,
                                   AnnotatedTypeMirror.AnnotatedWildcardType supertype,
                                   VisitHistory visited)

Specified by:

visitArray_Wildcard in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitArray_Wildcard in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitTypevar_Wildcard

public Boolean visitTypevar_Wildcard(AnnotatedTypeMirror.AnnotatedTypeVariable subtype,
                                     AnnotatedTypeMirror.AnnotatedWildcardType supertype,
                                     VisitHistory visited)

Specified by:

visitTypevar_Wildcard in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitTypevar_Wildcard in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitDeclared_Typevar

public Boolean visitDeclared_Typevar(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
                                     AnnotatedTypeMirror.AnnotatedTypeVariable supertype,
                                     VisitHistory visited)

Specified by:

visitDeclared_Typevar in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitDeclared_Typevar in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitArray_Typevar

public Boolean visitArray_Typevar(AnnotatedTypeMirror.AnnotatedArrayType subtype,
                                  AnnotatedTypeMirror.AnnotatedTypeVariable supertype,
                                  VisitHistory visited)

Specified by:

visitArray_Typevar in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitArray_Typevar in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitTypevar_Declared

public Boolean visitTypevar_Declared(AnnotatedTypeMirror.AnnotatedTypeVariable subtype,
                                     AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
                                     VisitHistory visited)

Specified by:

visitTypevar_Declared in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitTypevar_Declared in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitTypevar_Null

public Boolean visitTypevar_Null(AnnotatedTypeMirror.AnnotatedTypeVariable subtype,
                                 AnnotatedTypeMirror.AnnotatedNullType supertype,
                                 VisitHistory visited)

Specified by:

visitTypevar_Null in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitTypevar_Null in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitTypevar_Typevar

public Boolean visitTypevar_Typevar(AnnotatedTypeMirror.AnnotatedTypeVariable subtype,
                                    AnnotatedTypeMirror.AnnotatedTypeVariable supertype,
                                    VisitHistory visited)

Specified by:

visitTypevar_Typevar in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitTypevar_Typevar in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitWildcard_Array

public Boolean visitWildcard_Array(AnnotatedTypeMirror.AnnotatedWildcardType subtype,
                                   AnnotatedTypeMirror.AnnotatedArrayType supertype,
                                   VisitHistory visited)

Specified by:

visitWildcard_Array in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitWildcard_Array in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitWildcard_Declared

public Boolean visitWildcard_Declared(AnnotatedTypeMirror.AnnotatedWildcardType subtype,
                                      AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
                                      VisitHistory visited)

Specified by:

visitWildcard_Declared in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitWildcard_Declared in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitWildcard_Typevar

public Boolean visitWildcard_Typevar(AnnotatedTypeMirror.AnnotatedWildcardType subtype,
                                     AnnotatedTypeMirror.AnnotatedTypeVariable supertype,
                                     VisitHistory visited)

Specified by:

visitWildcard_Typevar in interface AtmComboVisitor<Boolean,VisitHistory>

Overrides:

visitWildcard_Typevar in class AbstractAtmComboVisitor<Boolean,VisitHistory>

visitWildcardSupertype

public Boolean visitWildcardSupertype(AnnotatedTypeMirror subtype,
                                      AnnotatedTypeMirror.AnnotatedWildcardType supertype,
                                      VisitHistory visited)

visitTypevarSupertype

public Boolean visitTypevarSupertype(AnnotatedTypeMirror subtype,
                                     AnnotatedTypeMirror.AnnotatedTypeVariable supertype,
                                     VisitHistory visited)

visitTypeVarSubtype

public Boolean visitTypeVarSubtype(AnnotatedTypeMirror.AnnotatedTypeVariable subtype,
                                   AnnotatedTypeMirror supertype,
                                   VisitHistory visited)