@Override protected Type check(DiagnosticPosition pos, Type found) { if (found.hasTag(DEFERRED)) { DeferredType dt = (DeferredType)found; return dt.check(this); } else { Type uResult = U(found); Type capturedType = pos == null || pos.getTree() == null ? types.capture(uResult) : checkContext.inferenceContext() .cachedCapture(pos.getTree(), uResult, true); return super.check(pos, chk.checkNonVoid(pos, capturedType)); } }
private static Symbol.MethodSymbol resolveMethod( JCDiagnostic.DiagnosticPosition pos, Context ctx, JCTree.JCCompilationUnit compUnit, Name name, Type qual, List<Type> args ) { Resolve rs = Resolve.instance( ctx ); AttrContext attrContext = new AttrContext(); Env<AttrContext> env = new AttrContextEnv( pos.getTree(), attrContext ); env.toplevel = compUnit; return rs.resolveInternalMethod( pos, env, qual, name, args, null ); } }
private static Symbol.MethodSymbol resolveMethod( JCDiagnostic.DiagnosticPosition pos, Context ctx, JCTree.JCCompilationUnit compUnit, Name name, Type qual, List<Type> args ) { Resolve rs = Resolve.instance( ctx ); AttrContext attrContext = new AttrContext(); Env<AttrContext> env = new AttrContextEnv( pos.getTree(), attrContext ); env.toplevel = compUnit; return rs.resolveInternalMethod( pos, env, qual, name, args, null ); } }