Examples with QualifierKind org.checkerframework.framework.util.QualifierKind used on opensource projects

Example 11 with QualifierKind

use of org.checkerframework.framework.util.QualifierKind in project checker-framework by typetools.

the class ElementQualifierHierarchy method getBottomAnnotation.

@Override
public AnnotationMirror getBottomAnnotation(AnnotationMirror start) {
    QualifierKind kind = getQualifierKind(start);
    // All bottoms are keys for bottomsMap.
    @SuppressWarnings("nullness:assignment") @NonNull AnnotationMirror result = bottomsMap.get(kind.getBottom());
    return result;
}

Example 12 with QualifierKind

use of org.checkerframework.framework.util.QualifierKind in project checker-framework by typetools.

the class ElementQualifierHierarchy method getTopAnnotation.

@Override
public AnnotationMirror getTopAnnotation(AnnotationMirror start) {
    QualifierKind kind = getQualifierKind(start);
    // All tops are a key for topsMap.
    @SuppressWarnings("nullness:assignment") @NonNull AnnotationMirror result = topsMap.get(kind.getTop());
    return result;
}