| /openjdk7/langtools/src/share/classes/com/sun/tools/javac/comp/ |
| H A D | AttrContext.java | 63 List<Type> tvars = List.nil(); field in class:AttrContext
83 info.tvars = tvars;
|
| H A D | Infer.java | 307 List<Type> undetvars = Type.map(that.tvars, fromTypeVarFun);
313 hibounds.append(types.subst(t, that.tvars, undetvars));
322 Type qtype1 = types.subst(that.qtype, that.tvars, undetvars);
327 that.tvars, that.qtype, to);
335 if (Type.containsAny(targs, that.tvars)) {
338 that.tvars,
339 instantiateAsUninferredVars(undetvars, that.tvars));
344 private List<Type> instantiateAsUninferredVars(List<Type> undetvars, List<Type> tvars) { argument
345 Assert.check(undetvars.length() == tvars.length());
354 List<Type> formals = tvars;
369 instantiateMethod(final Env<AttrContext> env, List<Type> tvars, MethodType mt, final Symbol msym, final List<Type> argtypes, final boolean allowBoxing, final boolean useVarargs, final Warner warn) argument
519 final List<Type> tvars; field in class:Infer.UninferredMethodType
521 UninferredMethodType(MethodType mtype, List<Type> tvars) argument
551 UninferredReturnType(List<Type> tvars, Type restype) argument
584 instantiateArg(ForAll that, Type to, List<Type> tvars, Warner warn) argument
601 checkWithinBounds(List<Type> tvars, List<Type> arguments, Warner warn) argument
[all...] |
| H A D | Resolve.java | 340 // tvars is the list of formal type variables for which type arguments
342 List<Type> tvars = null;
343 if (env.info.tvars != null) {
344 tvars = types.newInstances(env.info.tvars);
345 mt = types.subst(mt, env.info.tvars, tvars);
353 if (typeargtypes.length() != pmt.tvars.length())
356 List<Type> formals = pmt.tvars;
360 pmt.tvars, typeargtype
[all...] |
| H A D | Attr.java | 1847 localEnv.info.tvars = clazztype.tsym.type.getTypeArguments();
2273 // type parameters and remember in env.info.tvars, so that
2277 env.info.tvars = pstype.tvars;
2364 env.info.tvars = List.nil();
2558 if (env.info.tvars.nonEmpty()) {
2559 Type owntype1 = new ForAll(env.info.tvars, owntype);
2560 for (List<Type> l = env.info.tvars; l.nonEmpty(); l = l.tail)
|
| H A D | MemberEnter.java | 358 List<Type> tvars = enter.classEnter(typarams, env);
383 return tvars.isEmpty() ? mtype : new ForAll(tvars, mtype);
|
| H A D | Check.java | 485 log.error(pos, "invalid.inferred.types", t.tvars, d);
|
| /openjdk7/langtools/src/share/classes/com/sun/tools/javac/code/ |
| H A D | Types.java | 719 && visit(t.qtype, subst(forAll.qtype, forAll.tvars, t.tvars));
2210 && visit(t.qtype, subst(forAll.qtype, forAll.tvars, t.tvars));
2355 if (Type.containsAny(to, t.tvars)) {
2358 List<Type> freevars = newInstances(t.tvars);
2360 Types.this.subst(t.qtype, t.tvars, freevars));
2362 List<Type> tvars1 = substBounds(t.tvars, from, to);
2364 if (tvars1 == t.tvars && qtype1 == t.qtype) {
2366 } else if (tvars1 == t.tvars) {
2379 substBounds(List<Type> tvars, List<Type> from, List<Type> to) argument
2457 newInstances(List<Type> tvars) argument
2612 typaramsString(List<Type> tvars) argument
[all...] |
| H A D | Type.java | 1112 public List<Type> tvars; field in class:Type.ForAll
1114 public ForAll(List<Type> tvars, Type qtype) { argument
1116 this.tvars = tvars;
1125 return "<" + tvars + ">" + qtype;
1128 public List<Type> getTypeArguments() { return tvars; }
1142 * @return qtype where all occurrences of tvars are replaced
1146 return types.subst(qtype, tvars, actuals);
1198 for (List<Type> l = tvars; l.nonEmpty(); l = l.tail) {
|
| H A D | Printer.java | 165 return "<" + visitTypes(t.tvars, locale) + ">" + visit(t.qtype, locale);
|
| /openjdk7/langtools/src/share/classes/com/sun/tools/javac/jvm/ |
| H A D | ClassReader.java | 815 List<Type> tvars = List.nil();
821 tvars = tvars.prepend(sigToTypeParam());
828 return tvars.reverse();
|
| H A D | ClassWriter.java | 347 assembleParamsSig(ft.tvars);
|
| /openjdk7/langtools/src/share/classes/com/sun/tools/javac/util/ |
| H A D | RichDiagnosticFormatter.java | 456 visit(t.tvars);
|