|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcheckers.types.QualifierHierarchy
checkers.util.DAGQualifierHierarchy
public class DAGQualifierHierarchy
Represents the type qualifier hierarchy of a type system.
Nested Class Summary | |
---|---|
static class |
DAGQualifierHierarchy.Factory
Factory used to create an instance of DAGQualifierHierarchy . |
Method Summary | |
---|---|
AnnotationMirror |
getRootAnnotation()
|
Set<Name> |
getTypeQualifiers()
Returns the names of all type qualifiers in this type qualifier hierarchy |
boolean |
inConflict(AnnotationMirror anno1,
AnnotationMirror anno2)
Check if the two annotations are in conflict. |
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 |
Method Detail |
---|
public AnnotationMirror getRootAnnotation()
getRootAnnotation
in class QualifierHierarchy
public Set<Name> getTypeQualifiers()
QualifierHierarchy
getTypeQualifiers
in class QualifierHierarchy
public boolean inConflict(AnnotationMirror anno1, AnnotationMirror anno2)
QualifierHierarchy
inConflict
in class QualifierHierarchy
public AnnotationMirror leastUpperBound(AnnotationMirror a1, AnnotationMirror a2)
QualifierHierarchy
leastUpperBound
in class QualifierHierarchy
public boolean isSubtype(AnnotationMirror anno1, AnnotationMirror anno2)
QualifierHierarchy
isSubtype
in class QualifierHierarchy
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |