org.checkerframework.framework.util

Class GraphQualifierHierarchy

java.lang.Object

org.checkerframework.framework.type.QualifierHierarchy

org.checkerframework.framework.util.MultiGraphQualifierHierarchy

org.checkerframework.framework.util.GraphQualifierHierarchy

Direct Known Subclasses:

FenumAnnotatedTypeFactory.FenumQualifierHierarchy, UnitsAnnotatedTypeFactory.UnitsQualifierHierarchy

public class GraphQualifierHierarchy
extends MultiGraphQualifierHierarchy

Represents the type qualifier hierarchy of a type system.

This class is immutable and can be only created through MultiGraphQualifierHierarchy.MultiGraphFactory.

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

Constructor Summary

Constructors

Constructor and Description
GraphQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory f, javax.lang.model.element.AnnotationMirror bottom)

Method Summary

Modifier and Type	Method and Description
protected void	finish(QualifierHierarchy qualHierarchy, java.util.Map<javax.lang.model.element.AnnotationMirror,java.util.Set<javax.lang.model.element.AnnotationMirror>> fullMap, java.util.Map<javax.lang.model.element.AnnotationMirror,javax.lang.model.element.AnnotationMirror> polyQualifiers, java.util.Set<javax.lang.model.element.AnnotationMirror> tops, java.util.Set<javax.lang.model.element.AnnotationMirror> bottoms, java.lang.Object... args) Method to finalize the qualifier hierarchy before it becomes unmodifiable.
java.util.Set<? extends javax.lang.model.element.AnnotationMirror>	getBottomAnnotations()
java.util.Set<? extends javax.lang.model.element.AnnotationMirror>	getTopAnnotations() Returns the top qualifier for this hierarchy.
boolean	isSubtype(java.util.Collection<? extends javax.lang.model.element.AnnotationMirror> rhs, java.util.Collection<? extends javax.lang.model.element.AnnotationMirror> lhs) Tests whether there is any annotation in lhs that is a super qualifier of some annotation in rhs.

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

addPolyRelations, buildFullMap, findBottoms, findLub, findTops, getBottomAnnotation, getPolymorphicAnnotation, getTopAnnotation, getTypeQualifiers, greatestLowerBound, greatestLowerBoundTypeVariable, isSubtype, isSubtypeTypeVariable, isSubtypeTypeVariable, leastUpperBound, leastUpperBoundTypeVariable, toString

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

canHaveEmptyAnnotationSet, findAnnotationInHierarchy, findAnnotationInSameHierarchy, findCorrespondingAnnotation, getAnnotationInHierarchy, getWidth, greatestLowerBound, greatestLowerBounds, greatestLowerBounds, greatestLowerBoundsTypeVariable, isSubtype, isSubtype, isValid, leastUpperBound, leastUpperBounds, leastUpperBounds, leastUpperBoundsTypeVariable, numberOfIterationsBeforeWidening, replacePolyAll, updateMappingToMutableSet, widenedUpperBound

Methods inherited from class java.lang.Object

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

Constructor Detail

GraphQualifierHierarchy

public GraphQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory f,
                               javax.lang.model.element.AnnotationMirror bottom)

Method Detail

finish

protected void finish(QualifierHierarchy qualHierarchy,
                      java.util.Map<javax.lang.model.element.AnnotationMirror,java.util.Set<javax.lang.model.element.AnnotationMirror>> fullMap,
                      java.util.Map<javax.lang.model.element.AnnotationMirror,javax.lang.model.element.AnnotationMirror> polyQualifiers,
                      java.util.Set<javax.lang.model.element.AnnotationMirror> tops,
                      java.util.Set<javax.lang.model.element.AnnotationMirror> bottoms,
                      java.lang.Object... args)

Description copied from class: MultiGraphQualifierHierarchy

Method to finalize the qualifier hierarchy before it becomes unmodifiable. The parameters pass all fields and allow modification.

Overrides:

finish in class MultiGraphQualifierHierarchy

getTopAnnotations

public java.util.Set<? extends javax.lang.model.element.AnnotationMirror> getTopAnnotations()

Returns the top qualifier for this hierarchy.

The top qualifier is inferred from the hierarchy, as being the only one without any super qualifiers

Overrides:

getTopAnnotations in class MultiGraphQualifierHierarchy

Returns:

the top (ultimate super) type qualifiers in the type system

getBottomAnnotations

public java.util.Set<? extends javax.lang.model.element.AnnotationMirror> getBottomAnnotations()

Overrides:

getBottomAnnotations in class MultiGraphQualifierHierarchy

Returns:

the bottom type qualifier in the hierarchy

isSubtype

public boolean isSubtype(java.util.Collection<? extends javax.lang.model.element.AnnotationMirror> rhs,
                         java.util.Collection<? extends javax.lang.model.element.AnnotationMirror> lhs)

Description copied from class: QualifierHierarchy

Tests whether there is any annotation in lhs that is a super qualifier of some annotation in rhs. lhs and rhs contain only the annotations, not the Java type.

Overrides:

isSubtype in class MultiGraphQualifierHierarchy

Returns:

true iff an annotation in lhs is a super of one in rhs