Searched refs:ForAll (Results 1 - 12 of 12) sorted by relevance
/openjdk7/langtools/src/share/classes/com/sun/tools/javac/comp/ |
H A D | Infer.java | 35 import com.sun.tools.javac.code.Type.ForAll.ConstraintKind; 304 public Type instantiateExpr(ForAll that, 398 actual = instantiateArg((ForAll)actual, formal, tvars, warn); 424 actual = instantiateArg((ForAll)actual, elemType, tvars, warn); 513 * The return type of a partially uninferred method type is a ForAll 550 class UninferredReturnType extends ForAll { 584 private Type instantiateArg(ForAll that,
|
H A D | Resolve.java | 352 ForAll pmt = (ForAll) mt; 369 ForAll pmt = (ForAll) mt;
|
H A D | Attr.java | 1583 return (typeargtypes == null) ? mt : (Type)new ForAll(typeargtypes, mt); 1883 clazztype = infer.instantiateExpr((ForAll) clazztype, 2276 ForAll pstype = (ForAll)tree.selected.type; 2559 Type owntype1 = new ForAll(env.info.tvars, owntype);
|
H A D | Check.java | 437 return instantiatePoly(pos, (ForAll)found, req, convertWarner(pos, found, req)); 459 Type instantiatePoly(DiagnosticPosition pos, ForAll t, Type pt, Warner warn) throws Infer.NoInstanceException { 499 instantiatePoly(pos, (ForAll) found, req, castWarner(pos, found, req));
|
H A D | MemberEnter.java | 383 return tvars.isEmpty() ? mtype : new ForAll(tvars, mtype);
|
/openjdk7/langtools/src/share/classes/com/sun/tools/javac/code/ |
H A D | Types.java | 369 * (not defined for Method and ForAll types) 528 * (not defined for Method and ForAll types)<br> 713 public Boolean visitForAll(ForAll t, Type s) { 717 ForAll forAll = (ForAll)s; 950 * (not defined for Method and ForAll types). 1355 return elemtype(((ForAll)t).qtype); 1577 * (not defined for Method and ForAll types) 2204 public Boolean visitForAll(ForAll t, Type s) { 2208 ForAll forAl [all...] |
H A D | Printer.java | 164 public String visitForAll(ForAll t, Locale locale) {
|
H A D | Type.java | 57 * polymorphic types (tag: FORALL, class: ForAll), 1111 public static class ForAll extends DelegatedType implements ExecutableType { class in class:Type 1114 public ForAll(List<Type> tvars, Type qtype) { method in class:Type.ForAll 1135 * Replaces this ForAll's typevars with a set of concrete Java types 1138 * of the ForAll's typevars. 1174 * this ForAll type. Subclasses should override in order to return more 1371 R visitForAll(ForAll t, S s);
|
H A D | Symbol.java | 1072 s = "<" + ((ForAll)type).getTypeArguments() + ">" + s;
|
/openjdk7/langtools/src/share/classes/com/sun/tools/javac/util/ |
H A D | RichDiagnosticFormatter.java | 455 public Void visitForAll(ForAll t, Void ignored) {
|
/openjdk7/langtools/src/share/classes/com/sun/tools/javac/jvm/ |
H A D | ClassWriter.java | 346 ForAll ft = (ForAll)type;
|
H A D | ClassReader.java | 679 Type poly = new ForAll(sigToTypeParams(), sigToType());
|
Completed in 383 milliseconds