checkers.units

Class UnitsChecker.UnitsQualifierHierarchy

@NonNull java.lang.Object

checkers.types.QualifierHierarchy

checkers.util.MultiGraphQualifierHierarchy

checkers.util.GraphQualifierHierarchy

checkers.units.UnitsChecker.UnitsQualifierHierarchy

Enclosing class:

UnitsChecker

protected class UnitsChecker.UnitsQualifierHierarchy
extends GraphQualifierHierarchy

Nested Class Summary

Nested classes/interfaces inherited from class checkers.util.MultiGraphQualifierHierarchy

MultiGraphQualifierHierarchy.MultiGraphFactory

Field Summary

Fields inherited from class checkers.util.MultiGraphQualifierHierarchy

bottoms, polymorphicQualifier, polyQualifiers, supertypesGraph, supertypesMap, tops

Constructor Summary

Constructors

Constructor and Description
UnitsChecker.UnitsQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory f, @Nullable AnnotationMirror bottom)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	isSubtype(@Nullable AnnotationMirror rhs, @Nullable AnnotationMirror lhs) Most qualifiers have no value fields.

Methods inherited from class checkers.util.GraphQualifierHierarchy

finish, getBottomAnnotations, getTopAnnotations, isSubtype

Methods inherited from class checkers.util.MultiGraphQualifierHierarchy

addPolyRelations, buildFullMap, findBottoms, findTops, getBottomAnnotation, getPolymorphicAnnotation, getTopAnnotation, getTypeQualifiers, greatestLowerBound, leastUpperBound, toString

Methods inherited from class checkers.types.QualifierHierarchy

findCorrespondingAnnotation, greatestLowerBounds, leastUpperBounds

Methods inherited from class java.lang.Object

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

Constructor Detail

UnitsChecker.UnitsQualifierHierarchy

public UnitsChecker.UnitsQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory f,
                                    @Nullable AnnotationMirror bottom)

Method Detail

isSubtype

public boolean isSubtype(@Nullable AnnotationMirror rhs,
                @Nullable AnnotationMirror lhs)

Description copied from class: MultiGraphQualifierHierarchy

Most qualifiers have no value fields. However, two annotations with values are subtype of each other only if they have the same values. i.e. I(m) is a subtype of I(n) iff m = n When client specifies an annotation, a1, to be a subtype of annotation with values, a2, then a1 is a subtype of all instances of a2 regardless of a2 values. i.e. IGJBottom is a subtype of all instances of @I.

Overrides:

isSubtype in class MultiGraphQualifierHierarchy

Returns:

true iff anno1 is a sub qualifier of anno2