Examples with IntersectionTypeTree com.sun.source.tree.IntersectionTypeTree used on opensource projects

Example 1 with IntersectionTypeTree

use of com.sun.source.tree.IntersectionTypeTree in project checker-framework by typetools.

the class TypeFromTypeTreeVisitor method visitIntersectionType.

@Override
public AnnotatedTypeMirror visitIntersectionType(IntersectionTypeTree node, AnnotatedTypeFactory f) {
    // This method is only called for IntersectionTypes in casts.  There is no IntersectionTypeTree
    // for a type variable bound that is an intersection.  See #visitTypeParameter.
    AnnotatedIntersectionType type = (AnnotatedIntersectionType) f.type(node);
    List<AnnotatedTypeMirror> bounds = CollectionsPlume.mapList((Tree boundTree) -> visit(boundTree, f), node.getBounds());
    type.setBounds(bounds);
    type.copyIntersectionBoundAnnotations();
    return type;
}