org.checkerframework.common.aliasing

Class AliasingAnnotatedTypeFactory.AliasingQualifierHierarchy

java.lang.Object

org.checkerframework.framework.type.QualifierHierarchy

org.checkerframework.framework.util.MultiGraphQualifierHierarchy

org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory.AliasingQualifierHierarchy

Enclosing class:

AliasingAnnotatedTypeFactory

protected class AliasingAnnotatedTypeFactory.AliasingQualifierHierarchy
extends MultiGraphQualifierHierarchy

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.framework.util.MultiGraphQualifierHierarchy

MultiGraphQualifierHierarchy.MultiGraphFactory

Field Summary

Fields inherited from class org.checkerframework.framework.util.MultiGraphQualifierHierarchy

bottoms, polymorphicQualifier, polyQualifiers, supertypesGraph, supertypesMap, tops, typeQualifiers

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AliasingQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory f)

Method Summary

Modifier and Type	Method and Description
protected Set<AnnotationMirror>	findBottoms(Map<AnnotationMirror,Set<AnnotationMirror>> supertypes) Infer the bottoms of the subtype hierarchy.
protected Set<AnnotationMirror>	findTops(Map<AnnotationMirror,Set<AnnotationMirror>> supertypes) Infer the tops of the subtype hierarchy.
boolean	isSubtype(AnnotationMirror rhs, AnnotationMirror lhs) Most qualifiers have no value fields.

Methods inherited from class org.checkerframework.framework.util.MultiGraphQualifierHierarchy

addPolyRelations, buildFullMap, findLub, finish, getBottomAnnotation, getBottomAnnotations, getPolymorphicAnnotation, getTopAnnotation, getTopAnnotations, getTypeQualifiers, greatestLowerBound, greatestLowerBoundTypeVariable, isSubtype, isSubtypeTypeVariable, isSubtypeTypeVariable, leastUpperBound, leastUpperBoundTypeVariable, toString

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

canHaveEmptyAnnotationSet, findCorrespondingAnnotation, getAnnotationInHierarchy, getWidth, greatestLowerBound, greatestLowerBounds, greatestLowerBounds, greatestLowerBoundsTypeVariable, isSubtype, isSubtype, isValid, leastUpperBound, leastUpperBounds, leastUpperBounds, leastUpperBoundsTypeVariable, updateMappingToMutableSet

Methods inherited from class java.lang.Object

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

Constructor Detail

AliasingQualifierHierarchy

protected AliasingQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory f)

Method Detail

findBottoms

protected Set<AnnotationMirror> findBottoms(Map<AnnotationMirror,Set<AnnotationMirror>> supertypes)

Description copied from class: MultiGraphQualifierHierarchy

Infer the bottoms of the subtype hierarchy. Simple finds the qualifiers that are not supertypes of other qualifiers.

Overrides:

findBottoms in class MultiGraphQualifierHierarchy

findTops

protected Set<AnnotationMirror> findTops(Map<AnnotationMirror,Set<AnnotationMirror>> supertypes)

Description copied from class: MultiGraphQualifierHierarchy

Infer the tops of the subtype hierarchy. Simple finds the qualifiers that have no supertypes.

Overrides:

findTops in class MultiGraphQualifierHierarchy

isSubtype

public boolean isSubtype(AnnotationMirror rhs,
                         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.

Overrides:

isSubtype in class MultiGraphQualifierHierarchy

Parameters:

rhs - The right-hand side, i.e. the sub qualifier

lhs - The left-hand side, i.e. the super qualifier

Returns:

true iff rhs is a sub qualifier of lhs