Searched defs:tvars (Results 1 - 4 of 4) sorted by relevance

/openjdk7/langtools/src/share/classes/com/sun/tools/javac/comp/
H A DAttrContext.java63 List<Type> tvars = List.nil(); field in class:AttrContext
83 info.tvars = tvars;
H A DInfer.java307 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 DType.java1112 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 DTypes.java719 && 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 45 milliseconds