org.checkerframework.checker.signedness

Class SignednessAnnotatedTypeFactory.SignednessTypeHierarchy

java.lang.Object

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

org.checkerframework.framework.type.DefaultTypeHierarchy

org.checkerframework.checker.signedness.SignednessAnnotatedTypeFactory.SignednessTypeHierarchy

All Implemented Interfaces:

TypeHierarchy, AtmComboVisitor<Boolean,Void>

Enclosing class:

SignednessAnnotatedTypeFactory

protected class SignednessAnnotatedTypeFactory.SignednessTypeHierarchy
extends DefaultTypeHierarchy

The type hierarchy for the signedness type system. If A is narrower (fewer bits) than B, then A with any qualifier is a subtype of @SignedPositive B.

Field Summary

Fields inherited from class org.checkerframework.framework.type.DefaultTypeHierarchy

checker, currentTop, equalityComparer, ignoreRawTypes, invariantArrayComponents, qualifierHierarchy, typeargVisitHistory, visitHistory

Constructor Summary

Constructors

Constructor and Description
SignednessTypeHierarchy(BaseTypeChecker checker, QualifierHierarchy qualifierHierarchy, boolean ignoreRawTypes, boolean invariantArrayComponents) Create a new SignednessTypeHierarchy.

Method Summary

Modifier and Type	Method and Description
Boolean	visitDeclared_Declared(AnnotatedTypeMirror.AnnotatedDeclaredType subtype, AnnotatedTypeMirror.AnnotatedDeclaredType supertype, Void p)
Boolean	visitDeclared_Primitive(AnnotatedTypeMirror.AnnotatedDeclaredType subtype, AnnotatedTypeMirror.AnnotatedPrimitiveType supertype, Void p)
Boolean	visitPrimitive_Declared(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype, AnnotatedTypeMirror.AnnotatedDeclaredType supertype, Void p)
Boolean	visitPrimitive_Primitive(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype, AnnotatedTypeMirror.AnnotatedPrimitiveType supertype, Void p)

Methods inherited from class org.checkerframework.framework.type.DefaultTypeHierarchy

areAllSubtypes, areEqualInHierarchy, createEqualityComparer, defaultErrorMessage, isAnnoSubtype, isBottom, isContainedBy, isPrimarySubtype, isPrimarySubtype, isSubtype, isSubtype, isSubtypeCaching, visitArray_Array, visitArray_Declared, visitArray_Intersection, visitArray_Null, visitArray_Wildcard, visitDeclared_Array, visitDeclared_Intersection, visitDeclared_Null, visitDeclared_Typevar, visitDeclared_Union, visitDeclared_Wildcard, visitIntersection_Declared, visitIntersection_Intersection, visitIntersection_Null, visitIntersection_Primitive, visitIntersection_Typevar, visitIntersection_Wildcard, visitIntersectionSupertype, visitNull_Array, visitNull_Declared, visitNull_Intersection, visitNull_Null, visitNull_Primitive, visitNull_Typevar, visitNull_Union, visitNull_Wildcard, visitPrimitive_Intersection, visitPrimitive_Typevar, visitPrimitive_Wildcard, visitTypeArgs, visitTypevar_Declared, visitTypevar_Intersection, visitTypevar_Null, visitTypevar_Primitive, visitTypevar_Typevar, visitTypevar_Wildcard, visitTypevarSubtype, visitTypevarSupertype, visitUnion_Declared, visitUnion_Intersection, visitUnion_Union, visitUnion_Wildcard, visitUnionSubtype, visitWildcard_Array, visitWildcard_Declared, visitWildcard_Intersection, visitWildcard_Primitive, visitWildcard_Typevar, visitWildcard_Wildcard, visitWildcardSubtype, visitWildcardSupertype

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

defaultAction, visit, visitArray_Executable, visitArray_None, visitArray_Primitive, visitArray_Typevar, visitArray_Union, visitDeclared_Executable, visitDeclared_None, 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_Union, visitNone_Array, visitNone_Declared, visitNone_Executable, visitNone_Intersection, visitNone_None, visitNone_Null, visitNone_Primitive, visitNone_Union, visitNone_Wildcard, visitNull_Executable, visitNull_None, visitPrimitive_Array, visitPrimitive_Executable, visitPrimitive_None, visitPrimitive_Null, visitPrimitive_Union, visitTypevar_Array, visitTypevar_Executable, visitTypevar_None, visitTypevar_Union, visitUnion_Array, visitUnion_Executable, visitUnion_None, visitUnion_Null, visitUnion_Primitive, visitUnion_Typevar, visitWildcard_Executable, visitWildcard_None, visitWildcard_Null, visitWildcard_Union

Methods inherited from class java.lang.Object

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

Constructor Detail

SignednessTypeHierarchy

public SignednessTypeHierarchy(BaseTypeChecker checker,
                               QualifierHierarchy qualifierHierarchy,
                               boolean ignoreRawTypes,
                               boolean invariantArrayComponents)

Create a new SignednessTypeHierarchy.

Parameters:

checker - the checker

qualifierHierarchy - the qualifier hierarchy

ignoreRawTypes - from -AignoreRawTypes

invariantArrayComponents - from -AinvariantArrays

Method Detail

visitPrimitive_Primitive

public Boolean visitPrimitive_Primitive(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype,
                                        AnnotatedTypeMirror.AnnotatedPrimitiveType supertype,
                                        Void p)

Specified by:

visitPrimitive_Primitive in interface AtmComboVisitor<Boolean,Void>

Overrides:

visitPrimitive_Primitive in class DefaultTypeHierarchy

visitPrimitive_Declared

public Boolean visitPrimitive_Declared(AnnotatedTypeMirror.AnnotatedPrimitiveType subtype,
                                       AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
                                       Void p)

Specified by:

visitPrimitive_Declared in interface AtmComboVisitor<Boolean,Void>

Overrides:

visitPrimitive_Declared in class DefaultTypeHierarchy

visitDeclared_Declared

public Boolean visitDeclared_Declared(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
                                      AnnotatedTypeMirror.AnnotatedDeclaredType supertype,
                                      Void p)

Specified by:

visitDeclared_Declared in interface AtmComboVisitor<Boolean,Void>

Overrides:

visitDeclared_Declared in class DefaultTypeHierarchy

visitDeclared_Primitive

public Boolean visitDeclared_Primitive(AnnotatedTypeMirror.AnnotatedDeclaredType subtype,
                                       AnnotatedTypeMirror.AnnotatedPrimitiveType supertype,
                                       Void p)

Specified by:

visitDeclared_Primitive in interface AtmComboVisitor<Boolean,Void>

Overrides:

visitDeclared_Primitive in class DefaultTypeHierarchy