checkers.util
Class DAGQualifierHierarchy

java.lang.Object
  checkers.types.QualifierHierarchy
      checkers.util.DAGQualifierHierarchy

public class DAGQualifierHierarchy
extends QualifierHierarchy

Represents the type qualifier hierarchy of a type system. This class is immutable and can be only created through DAGQualifierHierarchy.Factory.

Nested Class Summary

static class

DAGQualifierHierarchy.Factory Factory used to create an instance of DAGQualifierHierarchy.

Constructor Summary

protected

DAGQualifierHierarchy(DAGQualifierHierarchy h)

Method Summary

AnnotationMirror	getRootAnnotation() Returns the root qualifier for this hierarchy.
Set<Name>	getTypeQualifiers() Returns the names of all type qualifiers in this type qualifier hierarchy
boolean	isSubtype(AnnotationMirror anno1, AnnotationMirror anno2) Tests whether anno1 is a super qualifier anno2, according to the type qualifiers hierarchy.
AnnotationMirror	leastUpperBound(AnnotationMirror a1, AnnotationMirror a2) Returns the least upper bound for a1 and a2 qualifiers.

Methods inherited from class checkers.types.QualifierHierarchy

difference, intersect, isSubtype, leastUpperBound, validQualifier, validQualifiers, wrapCollection

Methods inherited from class java.lang.Object

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

Constructor Detail

DAGQualifierHierarchy

protected DAGQualifierHierarchy(DAGQualifierHierarchy h)

Method Detail

getRootAnnotation

public AnnotationMirror getRootAnnotation()

Returns the root qualifier for this hierarchy. The root qualifier is inferred from the hierarchy, as being the only one without any super qualifiers

Specified by:

getRootAnnotation in class QualifierHierarchy

Returns:

the root (ultimate super) type qualifier in the hierarchy

getTypeQualifiers

public Set<Name> getTypeQualifiers()

Description copied from class: QualifierHierarchy

Returns the names of all type qualifiers in this type qualifier hierarchy

Specified by:

getTypeQualifiers in class QualifierHierarchy

Returns:

the fully qualified name represented in this hierarchy

leastUpperBound

public AnnotationMirror leastUpperBound(AnnotationMirror a1,
                                        AnnotationMirror a2)

Description copied from class: QualifierHierarchy

Returns the least upper bound for a1 and a2 qualifiers. Examples: For NonNull, leastUpperBound('Nullable', 'NonNull') ==> Nullable For IGJ, leastUpperBound('Immutable', 'Mutable') ==> ReadOnly

Specified by:

leastUpperBound in class QualifierHierarchy

Returns:

the least restrictive qualifiers for both types

isSubtype

public boolean isSubtype(AnnotationMirror anno1,
                         AnnotationMirror anno2)

Description copied from class: QualifierHierarchy

Tests whether anno1 is a super qualifier anno2, according to the type qualifiers hierarchy.

Specified by:

isSubtype in class QualifierHierarchy

Returns:

true iff anno1 is a sub qualifier of anno2