Searched refs:ForAll (Results 1 - 12 of 12) sorted by relevance

/openjdk7/langtools/src/share/classes/com/sun/tools/javac/comp/
H A DInfer.java35 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 DResolve.java352 ForAll pmt = (ForAll) mt;
369 ForAll pmt = (ForAll) mt;
H A DAttr.java1583 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 DCheck.java437 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 DMemberEnter.java383 return tvars.isEmpty() ? mtype : new ForAll(tvars, mtype);
/openjdk7/langtools/src/share/classes/com/sun/tools/javac/code/
H A DTypes.java369 * (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 DPrinter.java164 public String visitForAll(ForAll t, Locale locale) {
H A DType.java57 * 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 DSymbol.java1072 s = "<" + ((ForAll)type).getTypeArguments() + ">" + s;
/openjdk7/langtools/src/share/classes/com/sun/tools/javac/util/
H A DRichDiagnosticFormatter.java455 public Void visitForAll(ForAll t, Void ignored) {
/openjdk7/langtools/src/share/classes/com/sun/tools/javac/jvm/
H A DClassWriter.java346 ForAll ft = (ForAll)type;
H A DClassReader.java679 Type poly = new ForAll(sigToTypeParams(), sigToType());

Completed in 96 milliseconds