checkers.util

Class GraphQualifierHierarchy

@NonNull java.lang.Object

checkers.types.QualifierHierarchy

checkers.util.MultiGraphQualifierHierarchy

checkers.util.GraphQualifierHierarchy

Direct Known Subclasses:

FenumChecker.FenumQualifierHierarchy, UnitsChecker.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 GraphFactory.

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
GraphQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory f, @Nullable AnnotationMirror bottom)

Method Summary

Methods

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

Methods inherited from class checkers.util.MultiGraphQualifierHierarchy

addPolyRelations, buildFullMap, findBottoms, findTops, getBottomAnnotation, getPolymorphicAnnotation, getTopAnnotation, getTypeQualifiers, greatestLowerBound, isSubtype, 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

GraphQualifierHierarchy

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

Method Detail

finish

protected void finish(AnnotationUtils annoFactory,
          QualifierHierarchy qualHierarchy,
          Map<@Nullable AnnotationMirror,Set<@Nullable AnnotationMirror>> fullMap,
          Map<@Nullable AnnotationMirror,@Nullable AnnotationMirror> polyQualifiers,
          Set<@Nullable AnnotationMirror> tops,
          Set<@Nullable AnnotationMirror> bottoms,
          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 Set<@Nullable 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 Set<@Nullable AnnotationMirror> getBottomAnnotations()

Overrides:

getBottomAnnotations in class MultiGraphQualifierHierarchy

Returns:

the bottom type qualifier in the hierarchy

isSubtype

public boolean isSubtype(Collection<@Nullable AnnotationMirror> rhs,
                Collection<@Nullable 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