|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcheckers.types.QualifierHierarchy
checkers.util.GraphQualifierHierarchy
public class GraphQualifierHierarchy extends QualifierHierarchy
Represents the type qualifier hierarchy of a type system.
This class is immutable and can be only created through GraphQualifierHierarchy.Factory
.
Modifier and Type | Class and Description |
---|---|
static class |
GraphQualifierHierarchy.Factory
Factory used to create an instance of GraphQualifierHierarchy . |
Modifier | Constructor and Description |
---|---|
protected |
GraphQualifierHierarchy(GraphQualifierHierarchy h)
|
Modifier and Type | Method and Description |
---|---|
AnnotationMirror |
getBottomQualifier()
|
AnnotationMirror |
getRootAnnotation()
Returns the root qualifier for this hierarchy. |
Set<Name> |
getTypeQualifiers()
Returns the names of all type qualifiers in this type qualifier hierarchy |
AnnotationMirror |
greatestLowerBound(AnnotationMirror a1,
AnnotationMirror a2)
Returns the greatest lower bound for the qualifiers a1 and a2. |
boolean |
isSubtype(AnnotationMirror anno1,
AnnotationMirror anno2)
Most qualifiers have no value fields. |
AnnotationMirror |
leastUpperBound(AnnotationMirror a1,
AnnotationMirror a2)
Returns the least upper bound for the qualifiers a1 and a2. |
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 |
---|
protected GraphQualifierHierarchy(GraphQualifierHierarchy h)
Method Detail |
---|
public AnnotationMirror getRootAnnotation()
getRootAnnotation
in class QualifierHierarchy
public AnnotationMirror getBottomQualifier()
getBottomQualifier
in class QualifierHierarchy
public Set<Name> getTypeQualifiers()
QualifierHierarchy
getTypeQualifiers
in class QualifierHierarchy
public AnnotationMirror leastUpperBound(AnnotationMirror a1, AnnotationMirror a2)
QualifierHierarchy
leastUpperBound
in class QualifierHierarchy
public AnnotationMirror greatestLowerBound(AnnotationMirror a1, AnnotationMirror a2)
QualifierHierarchy
greatestLowerBound
in class QualifierHierarchy
a1
- First annotationa2
- Second annotationpublic boolean isSubtype(AnnotationMirror anno1, AnnotationMirror anno2)
@I
.
isSubtype
in class QualifierHierarchy
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |