Searched refs:Infer (Results 1 - 4 of 4) sorted by relevance
| /openjdk7/langtools/src/share/classes/com/sun/tools/javac/comp/ |
| H A D | Infer.java | 48 public class Infer { class
49 protected static final Context.Key<Infer> inferKey =
50 new Context.Key<Infer>();
61 public static Infer instance(Context context) {
62 Infer instance = context.get(inferKey);
64 instance = new Infer(context);
68 protected Infer(Context context) { method in class:Infer
514 * type - when the return type is instantiated (see Infer.instantiateExpr)
|
| H A D | Check.java | 65 private final Infer infer;
97 infer = Infer.instance(context);
459 Type instantiatePoly(DiagnosticPosition pos, ForAll t, Type pt, Warner warn) throws Infer.NoInstanceException {
460 if (pt == Infer.anyPoly && complexInference) {
462 } else if (pt == Infer.anyPoly || pt.tag == NONE) {
470 } catch (Infer.NoInstanceException ex) {
483 } catch (Infer.InvalidInstanceException ex) {
|
| H A D | Attr.java | 61 * @see Infer
76 final Infer infer;
106 infer = Infer.instance(context);
505 l.head.pos(), types.upperBound(attribTree(l.head, env, VAL, Infer.anyPoly))));
1292 //see Infer.instantiatePolymorphicSignatureInstance()
1886 } catch (Infer.InferenceException ex) {
2117 //see Infer.instantiatePolymorphicSignatureInstance()
2119 Type exprtype = attribExpr(tree.expr, localEnv, Infer.anyPoly);
2247 Type site = attribTree(tree.selected, env, skind, Infer.anyPoly);
2274 // they can be added later (in Attr.checkId and Infer
[all...] |
| H A D | Resolve.java | 68 Infer infer;
105 infer = Infer.instance(context);
334 throws Infer.InferenceException {
|
Completed in 55 milliseconds