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

/openjdk7/langtools/src/share/classes/com/sun/tools/javac/code/
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);

Completed in 40 milliseconds