Searched defs:tvars (Results 1 - 4 of 4) sorted by relevance
/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...] |
/openjdk7/langtools/src/share/classes/com/sun/tools/javac/code/ |
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 | 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...] |
Completed in 6140 milliseconds