com.sun.tools.javac.code.Type.CapturedType Java Examples

The following examples show how to use com.sun.tools.javac.code.Type.CapturedType. You can vote up the ones you like or vote down the ones you don't like, and go to the original project or source file by following the links above each example. You may check out the related API usage on the sidebar.
Example #1
Source File: Printer.java    From java-n-IDE-for-Android with Apache License 2.0 6 votes vote down vote up 
@Override
public String visitCapturedType(CapturedType t, Locale locale) {
    if (seenCaptured.contains(t))
        return localize(locale, "compiler.misc.type.captureof.1",
            capturedVarId(t, locale));
    else {
        try {
            seenCaptured = seenCaptured.prepend(t);
            return localize(locale, "compiler.misc.type.captureof",
                capturedVarId(t, locale),
                visit(t.wildcard, locale));
        }
        finally {
            seenCaptured = seenCaptured.tail;
        }
    }
}
Example #2
Source File: JavaEnvironment.java    From j2cl with Apache License 2.0 6 votes vote down vote up 
private TypeVariable createTypeVariable(javax.lang.model.type.TypeVariable typeVariable) {
  if (typeVariable instanceof CapturedType) {
    return createWildcardTypeVariable(typeVariable.getUpperBound());
  }

  Supplier<TypeDescriptor> boundTypeDescriptorFactory =
      () -> createTypeDescriptor(typeVariable.getUpperBound());

  List<String> classComponents = getClassComponents(typeVariable);
  return TypeVariable.newBuilder()
      .setBoundTypeDescriptorSupplier(boundTypeDescriptorFactory)
      .setWildcardOrCapture(false)
      .setUniqueKey(
          classComponents.stream().collect(Collectors.joining("::"))
              + (typeVariable.getUpperBound() != null
                  ? typeVariable.getUpperBound().toString()
                  : ""))
      .setName(typeVariable.asElement().getSimpleName().toString())
      .build();
}
Example #3
Source File: Printer.java    From javaide with GNU General Public License v3.0 6 votes vote down vote up 
@Override
public String visitCapturedType(CapturedType t, Locale locale) {
    if (seenCaptured.contains(t))
        return localize(locale, "compiler.misc.type.captureof.1",
            capturedVarId(t, locale));
    else {
        try {
            seenCaptured = seenCaptured.prepend(t);
            return localize(locale, "compiler.misc.type.captureof",
                capturedVarId(t, locale),
                visit(t.wildcard, locale));
        }
        finally {
            seenCaptured = seenCaptured.tail;
        }
    }
}
Example #4
Source File: ExpectedTypeResolver.java    From netbeans with Apache License 2.0 6 votes vote down vote up 
private TypeMirror decapture(TypeMirror argm) {
    if (argm instanceof CapturedType) {
        argm = ((CapturedType)argm).wildcard;
    }
    if (argm.getKind() == TypeKind.WILDCARD) {
        WildcardType wctype = (WildcardType)argm;
        TypeMirror bound = wctype.getExtendsBound();
        if (bound != null) {
            return bound;
        } 
        bound = wctype.getSuperBound();
        if (bound != null) {
            return bound;
        }
        return null;
    } 
    return argm;
}
Example #5
Source File: AbstractDiagnosticFormatter.java    From TencentKona-8 with GNU General Public License v2.0 5 votes vote down vote up 
@Override
public String visitCapturedType(CapturedType t, Locale locale) {
    if (!allCaptured.contains(t)) {
        allCaptured = allCaptured.append(t);
    }
    return super.visitCapturedType(t, locale);
}
Example #6
Source File: AbstractDiagnosticFormatter.java    From openjdk-8 with GNU General Public License v2.0 5 votes vote down vote up 
@Override
public String visitCapturedType(CapturedType t, Locale locale) {
    if (!allCaptured.contains(t)) {
        allCaptured = allCaptured.append(t);
    }
    return super.visitCapturedType(t, locale);
}
Example #7
Source File: AbstractDiagnosticFormatter.java    From openjdk-8-source with GNU General Public License v2.0 5 votes vote down vote up 
@Override
public String visitCapturedType(CapturedType t, Locale locale) {
    if (!allCaptured.contains(t)) {
        allCaptured = allCaptured.append(t);
    }
    return super.visitCapturedType(t, locale);
}
Example #8
Source File: AbstractDiagnosticFormatter.java    From hottub with GNU General Public License v2.0 5 votes vote down vote up 
@Override
public String visitCapturedType(CapturedType t, Locale locale) {
    if (!allCaptured.contains(t)) {
        allCaptured = allCaptured.append(t);
    }
    return super.visitCapturedType(t, locale);
}
Example #9
Source File: VarTypePrinter.java    From openjdk-jdk9 with GNU General Public License v2.0 5 votes vote down vote up 
@Override
public Void visitCapturedType(CapturedType t, Set<Type> seen) {
    if (seen.add(t)) {
        visit(t.getUpperBound(), seen);
        visit(t.getLowerBound(), seen);
    }
    return null;
}
Example #10
Source File: VarTypePrinter.java    From openjdk-jdk9 with GNU General Public License v2.0 5 votes vote down vote up 
@Override
public String visitCapturedType(CapturedType t, Locale locale) {
    /* Any type variable mentioned in the inferred type must have been declared as a type parameter
              (i.e cannot have been produced by capture conversion (5.1.10))
     */
    return WILD; // Non-denotable
}
Example #11
Source File: AbstractDiagnosticFormatter.java    From openjdk-jdk9 with GNU General Public License v2.0 5 votes vote down vote up 
@Override
public String visitCapturedType(CapturedType t, Locale locale) {
    if (!allCaptured.contains(t)) {
        allCaptured = allCaptured.append(t);
    }
    return super.visitCapturedType(t, locale);
}
Example #12
Source File: RichDiagnosticFormatter.java    From javaide with GNU General Public License v3.0 5 votes vote down vote up 
@Override
public String visitCapturedType(CapturedType t, Locale locale) {
    if (getConfiguration().isEnabled(RichFormatterFeature.WHERE_CLAUSES)) {
        return localize(locale,
                "compiler.misc.captured.type",
                indexOf(t, WhereClauseKind.CAPTURED));
    } else
        return super.visitCapturedType(t, locale);
}
Example #13
Source File: AbstractDiagnosticFormatter.java    From javaide with GNU General Public License v3.0 5 votes vote down vote up 
@Override
public String visitCapturedType(CapturedType t, Locale locale) {
    if (!allCaptured.contains(t)) {
        allCaptured = allCaptured.append(t);
    }
    return super.visitCapturedType(t, locale);
}
Example #14
Source File: AbstractDiagnosticFormatter.java    From openjdk-jdk8u-backup with GNU General Public License v2.0 5 votes vote down vote up 
@Override
public String visitCapturedType(CapturedType t, Locale locale) {
    if (!allCaptured.contains(t)) {
        allCaptured = allCaptured.append(t);
    }
    return super.visitCapturedType(t, locale);
}
Example #15
Source File: Infer.java    From lua-for-android with BSD 3-Clause "New" or "Revised" License 5 votes vote down vote up 
@Override
Type solve(UndetVar uv, InferenceContext inferenceContext) {
    Infer infer = inferenceContext.infer;
    Type upper = UPPER.filterBounds(uv, inferenceContext).nonEmpty() ?
            UPPER.solve(uv, inferenceContext) :
            infer.syms.objectType;
    Type lower = LOWER.filterBounds(uv, inferenceContext).nonEmpty() ?
            LOWER.solve(uv, inferenceContext) :
            infer.syms.botType;
    CapturedType prevCaptured = (CapturedType)uv.qtype;
    return new CapturedType(prevCaptured.tsym.name, prevCaptured.tsym.owner,
                            upper, lower, prevCaptured.wildcard);
}
Example #16
Source File: Check.java    From lua-for-android with BSD 3-Clause "New" or "Revised" License 5 votes vote down vote up 
@Override
public Boolean visitCapturedType(CapturedType t, Void s) {
    /* Any type variable mentioned in the inferred type must have been declared as a type parameter
      (i.e cannot have been produced by capture conversion (5.1.10))
    */
    return false;
}
Example #17
Source File: AbstractDiagnosticFormatter.java    From lua-for-android with BSD 3-Clause "New" or "Revised" License 5 votes vote down vote up 
@Override
public String visitCapturedType(CapturedType t, Locale locale) {
    if (!allCaptured.contains(t)) {
        allCaptured = allCaptured.append(t);
    }
    return super.visitCapturedType(t, locale);
}
Example #18
Source File: AbstractDiagnosticFormatter.java    From openjdk-jdk8u with GNU General Public License v2.0 5 votes vote down vote up 
@Override
public String visitCapturedType(CapturedType t, Locale locale) {
    if (!allCaptured.contains(t)) {
        allCaptured = allCaptured.append(t);
    }
    return super.visitCapturedType(t, locale);
}
Example #19
Source File: AbstractDiagnosticFormatter.java    From jdk8u60 with GNU General Public License v2.0 5 votes vote down vote up 
@Override
public String visitCapturedType(CapturedType t, Locale locale) {
    if (!allCaptured.contains(t)) {
        allCaptured = allCaptured.append(t);
    }
    return super.visitCapturedType(t, locale);
}
Example #20
Source File: RichDiagnosticFormatter.java    From java-n-IDE-for-Android with Apache License 2.0 5 votes vote down vote up 
@Override
public String visitCapturedType(CapturedType t, Locale locale) {
    if (getConfiguration().isEnabled(RichFormatterFeature.WHERE_CLAUSES)) {
        return localize(locale,
                "compiler.misc.captured.type",
                indexOf(t, WhereClauseKind.CAPTURED));
    } else
        return super.visitCapturedType(t, locale);
}
Example #21
Source File: AbstractDiagnosticFormatter.java    From java-n-IDE-for-Android with Apache License 2.0 5 votes vote down vote up 
@Override
public String visitCapturedType(CapturedType t, Locale locale) {
    if (!allCaptured.contains(t)) {
        allCaptured = allCaptured.append(t);
    }
    return super.visitCapturedType(t, locale);
}
Example #22
Source File: JavacResolution.java    From EasyMPermission with MIT License 4 votes vote down vote up 
private static JCExpression typeToJCTree0(Type type, JavacAST ast, boolean allowCompound, boolean allowVoid) throws TypeNotConvertibleException {
	// NB: There's such a thing as maker.Type(type), but this doesn't work very well; it screws up anonymous classes, captures, and adds an extra prefix dot for some reason too.
	//  -- so we write our own take on that here.
	
	JavacTreeMaker maker = ast.getTreeMaker();
	
	if (CTC_BOT.equals(typeTag(type))) return createJavaLangObject(ast);
	if (CTC_VOID.equals(typeTag(type))) return allowVoid ? primitiveToJCTree(type.getKind(), maker) : createJavaLangObject(ast);
	if (type.isPrimitive()) return primitiveToJCTree(type.getKind(), maker);
	if (type.isErroneous()) throw new TypeNotConvertibleException("Type cannot be resolved");
	
	TypeSymbol symbol = type.asElement();
	List<Type> generics = type.getTypeArguments();
	
	JCExpression replacement = null;
	
	if (symbol == null) throw new TypeNotConvertibleException("Null or compound type");
	
	if (symbol.name.length() == 0) {
		// Anonymous inner class
		if (type instanceof ClassType) {
			List<Type> ifaces = ((ClassType) type).interfaces_field;
			Type supertype = ((ClassType) type).supertype_field;
			if (ifaces != null && ifaces.length() == 1) {
				return typeToJCTree(ifaces.get(0), ast, allowCompound, allowVoid);
			}
			if (supertype != null) return typeToJCTree(supertype, ast, allowCompound, allowVoid);
		}
		throw new TypeNotConvertibleException("Anonymous inner class");
	}
	
	if (type instanceof CapturedType || type instanceof WildcardType) {
		Type lower, upper;
		if (type instanceof WildcardType) {
			upper = ((WildcardType)type).getExtendsBound();
			lower = ((WildcardType)type).getSuperBound();
		} else {
			lower = type.getLowerBound();
			upper = type.getUpperBound();
		}
		if (allowCompound) {
			if (lower == null || CTC_BOT.equals(typeTag(lower))) {
				if (upper == null || upper.toString().equals("java.lang.Object")) {
					return maker.Wildcard(maker.TypeBoundKind(BoundKind.UNBOUND), null);
				}
				if (upper.getTypeArguments().contains(type)) {
					return maker.Wildcard(maker.TypeBoundKind(BoundKind.UNBOUND), null);
				}
				return maker.Wildcard(maker.TypeBoundKind(BoundKind.EXTENDS), typeToJCTree(upper, ast, false, false));
			} else {
				return maker.Wildcard(maker.TypeBoundKind(BoundKind.SUPER), typeToJCTree(lower, ast, false, false));
			}
		}
		if (upper != null) {
			if (upper.getTypeArguments().contains(type)) {
				return maker.Wildcard(maker.TypeBoundKind(BoundKind.UNBOUND), null);
			}
			return typeToJCTree(upper, ast, allowCompound, allowVoid);
		}
		
		return createJavaLangObject(ast);
	}
	
	String qName;
	if (symbol.isLocal()) {
		qName = symbol.getSimpleName().toString();
	} else if (symbol.type != null && symbol.type.getEnclosingType() != null && typeTag(symbol.type.getEnclosingType()).equals(typeTag("CLASS"))) {
		replacement = typeToJCTree0(type.getEnclosingType(), ast, false, false);
		qName = symbol.getSimpleName().toString();
	} else {
		qName = symbol.getQualifiedName().toString();
	}
	
	if (qName.isEmpty()) throw new TypeNotConvertibleException("unknown type");
	if (qName.startsWith("<")) throw new TypeNotConvertibleException(qName);
	String[] baseNames = qName.split("\\.");
	int i = 0;
	
	if (replacement == null) {
		replacement = maker.Ident(ast.toName(baseNames[0]));
		i = 1;
	}
	for (; i < baseNames.length; i++) {
		replacement = maker.Select(replacement, ast.toName(baseNames[i]));
	}
	
	return genericsToJCTreeNodes(generics, ast, replacement);
}
Example #23
Source File: Check.java    From lua-for-android with BSD 3-Clause "New" or "Revised" License 4 votes vote down vote up 
@Override
public Boolean visitCapturedType(CapturedType t, Void s) {
    return visit(t.getUpperBound()) ||
            visit(t.getLowerBound());
}
Example #24
Source File: AbstractDiagnosticFormatter.java    From TencentKona-8 with GNU General Public License v2.0 4 votes vote down vote up 
@Override
protected String capturedVarId(CapturedType t, Locale locale) {
    return "" + (allCaptured.indexOf(t) + 1);
}
Example #25
Source File: AbstractDiagnosticFormatter.java    From openjdk-8 with GNU General Public License v2.0 4 votes vote down vote up 
@Override
protected String capturedVarId(CapturedType t, Locale locale) {
    return "" + (allCaptured.indexOf(t) + 1);
}
Example #26
Source File: AbstractDiagnosticFormatter.java    From jdk8u60 with GNU General Public License v2.0 4 votes vote down vote up 
@Override
protected String capturedVarId(CapturedType t, Locale locale) {
    return "" + (allCaptured.indexOf(t) + 1);
}
Example #27
Source File: AbstractDiagnosticFormatter.java    From openjdk-8-source with GNU General Public License v2.0 4 votes vote down vote up 
@Override
protected String capturedVarId(CapturedType t, Locale locale) {
    return "" + (allCaptured.indexOf(t) + 1);
}
Example #28
Source File: AbstractDiagnosticFormatter.java    From hottub with GNU General Public License v2.0 4 votes vote down vote up 
@Override
protected String capturedVarId(CapturedType t, Locale locale) {
    return "" + (allCaptured.indexOf(t) + 1);
}
Example #29
Source File: AbstractDiagnosticFormatter.java    From java-n-IDE-for-Android with Apache License 2.0 4 votes vote down vote up 
@Override
protected String capturedVarId(CapturedType t, Locale locale) {
    return "" + (allCaptured.indexOf(t) + 1);
}
Example #30
Source File: AbstractDiagnosticFormatter.java    From openjdk-jdk9 with GNU General Public License v2.0 4 votes vote down vote up 
@Override
protected String capturedVarId(CapturedType t, Locale locale) {
    return "" + (allCaptured.indexOf(t) + 1);
}