Examples with AnnotatedIntersectionType org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedIntersectionType used on opensource projects

Example 6 with AnnotatedIntersectionType

use of org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedIntersectionType in project checker-framework by typetools.

the class AtmLubVisitor method visitIntersection_Intersection.

@Override
public Void visitIntersection_Intersection(AnnotatedIntersectionType type1, AnnotatedIntersectionType type2, AnnotatedTypeMirror lub) {
    AnnotatedIntersectionType castedLub = castLub(type1, lub);
    lubPrimaryAnnotations(type1, type2, lub);
    for (int i = 0; i < lub.directSuperTypes().size(); i++) {
        AnnotatedDeclaredType lubST = castedLub.directSuperTypes().get(i);
        visit(type1.directSuperTypes().get(i), type2.directSuperTypes().get(i), lubST);
    }
    return null;
}