com.sun.tools.javac.comp.Infer.InferenceContext Java Examples

The following examples show how to use com.sun.tools.javac.comp.Infer.InferenceContext. You can vote up the ones you like or vote down the ones you don't like, and go to the original project or source file by following the links above each example. You may check out the related API usage on the sidebar.

Example #1

Source File: DeferredAttr.java From openjdk-jdk8u with GNU General Public License v2.0

5 votes

DeferredAttrContext(AttrMode mode, Symbol msym, MethodResolutionPhase phase,
        InferenceContext inferenceContext, DeferredAttrContext parent, Warner warn) {
    this.mode = mode;
    this.msym = msym;
    this.phase = phase;
    this.parent = parent;
    this.warn = warn;
    this.inferenceContext = inferenceContext;
}

Example #2

Source File: Resolve.java From openjdk-jdk8u with GNU General Public License v2.0

5 votes

@Override
ReferenceLookupHelper unboundLookup(InferenceContext inferenceContext) {
    if (TreeInfo.isStaticSelector(referenceTree.expr, names) &&
            argtypes.nonEmpty() &&
            (argtypes.head.hasTag(NONE) ||
            types.isSubtypeUnchecked(inferenceContext.asUndetVar(argtypes.head), site))) {
        return new UnboundMethodReferenceLookupHelper(referenceTree, name,
                site, argtypes, typeargtypes, maxPhase);
    } else {
        return super.unboundLookup(inferenceContext);
    }
}

Example #3

Source File: DeferredAttr.java From jdk8u60 with GNU General Public License v2.0

5 votes

DeferredAttrContext(AttrMode mode, Symbol msym, MethodResolutionPhase phase,
        InferenceContext inferenceContext, DeferredAttrContext parent, Warner warn) {
    this.mode = mode;
    this.msym = msym;
    this.phase = phase;
    this.parent = parent;
    this.warn = warn;
    this.inferenceContext = inferenceContext;
}

Example #4

Source File: Resolve.java From openjdk-jdk8u with GNU General Public License v2.0

5 votes

DeferredAttrContext deferredAttrContext(Symbol sym, InferenceContext inferenceContext, ResultInfo pendingResult, Warner warn) {
    DeferredAttrContext parent = (pendingResult == null)
        ? deferredAttr.emptyDeferredAttrContext
        : pendingResult.checkContext.deferredAttrContext();
    return deferredAttr.new DeferredAttrContext(attrMode, sym, step,
            inferenceContext, parent, warn);
}

Example #5

Source File: Resolve.java From hottub with GNU General Public License v2.0

5 votes

DeferredAttrContext deferredAttrContext(Symbol sym, InferenceContext inferenceContext, ResultInfo pendingResult, Warner warn) {
    DeferredAttrContext parent = (pendingResult == null)
        ? deferredAttr.emptyDeferredAttrContext
        : pendingResult.checkContext.deferredAttrContext();
    return deferredAttr.new DeferredAttrContext(attrMode, sym, step,
            inferenceContext, parent, warn);
}

Example #6

Source File: Resolve.java From openjdk-8 with GNU General Public License v2.0

5 votes

protected void reportMC(DiagnosticPosition pos, MethodCheckDiag diag, InferenceContext inferenceContext, Object... args) {
    boolean inferDiag = inferenceContext != infer.emptyContext;
    InapplicableMethodException ex = inferDiag ?
            infer.inferenceException : inapplicableMethodException;
    if (inferDiag && (!diag.inferKey.equals(diag.basicKey))) {
        Object[] args2 = new Object[args.length + 1];
        System.arraycopy(args, 0, args2, 1, args.length);
        args2[0] = inferenceContext.inferenceVars();
        args = args2;
    }
    String key = inferDiag ? diag.inferKey : diag.basicKey;
    throw ex.setMessage(diags.create(DiagnosticType.FRAGMENT, log.currentSource(), pos, key, args));
}

Example #7

Source File: Resolve.java From jdk8u60 with GNU General Public License v2.0

5 votes

DeferredAttrContext deferredAttrContext(Symbol sym, InferenceContext inferenceContext, ResultInfo pendingResult, Warner warn) {
    DeferredAttrContext parent = (pendingResult == null)
        ? deferredAttr.emptyDeferredAttrContext
        : pendingResult.checkContext.deferredAttrContext();
    return deferredAttr.new DeferredAttrContext(attrMode, sym, step,
            inferenceContext, parent, warn);
}

Example #8

Source File: Resolve.java From openjdk-8 with GNU General Public License v2.0

5 votes

@Override
ReferenceLookupHelper unboundLookup(InferenceContext inferenceContext) {
    if (TreeInfo.isStaticSelector(referenceTree.expr, names) &&
            argtypes.nonEmpty() &&
            (argtypes.head.hasTag(NONE) ||
            types.isSubtypeUnchecked(inferenceContext.asFree(argtypes.head), site))) {
        return new UnboundMethodReferenceLookupHelper(referenceTree, name,
                site, argtypes, typeargtypes, maxPhase);
    } else {
        return super.unboundLookup(inferenceContext);
    }
}

Example #9

Source File: Resolve.java From jdk8u60 with GNU General Public License v2.0

5 votes

@Override
ReferenceLookupHelper unboundLookup(InferenceContext inferenceContext) {
    if (TreeInfo.isStaticSelector(referenceTree.expr, names) &&
            argtypes.nonEmpty() &&
            (argtypes.head.hasTag(NONE) ||
            types.isSubtypeUnchecked(inferenceContext.asUndetVar(argtypes.head), site))) {
        return new UnboundMethodReferenceLookupHelper(referenceTree, name,
                site, argtypes, typeargtypes, maxPhase);
    } else {
        return super.unboundLookup(inferenceContext);
    }
}

Example #10

Source File: DeferredAttr.java From openjdk-jdk8u-backup with GNU General Public License v2.0

5 votes

DeferredAttrContext(AttrMode mode, Symbol msym, MethodResolutionPhase phase,
        InferenceContext inferenceContext, DeferredAttrContext parent, Warner warn) {
    this.mode = mode;
    this.msym = msym;
    this.phase = phase;
    this.parent = parent;
    this.warn = warn;
    this.inferenceContext = inferenceContext;
}

Example #11

Source File: DeferredAttr.java From hottub with GNU General Public License v2.0

5 votes

DeferredAttrContext(AttrMode mode, Symbol msym, MethodResolutionPhase phase,
        InferenceContext inferenceContext, DeferredAttrContext parent, Warner warn) {
    this.mode = mode;
    this.msym = msym;
    this.phase = phase;
    this.parent = parent;
    this.warn = warn;
    this.inferenceContext = inferenceContext;
}

Example #12

Source File: Resolve.java From openjdk-jdk8u with GNU General Public License v2.0

5 votes

protected void reportMC(DiagnosticPosition pos, MethodCheckDiag diag, InferenceContext inferenceContext, Object... args) {
    boolean inferDiag = inferenceContext != infer.emptyContext;
    InapplicableMethodException ex = inferDiag ?
            infer.inferenceException : inapplicableMethodException;
    if (inferDiag && (!diag.inferKey.equals(diag.basicKey))) {
        Object[] args2 = new Object[args.length + 1];
        System.arraycopy(args, 0, args2, 1, args.length);
        args2[0] = inferenceContext.inferenceVars();
        args = args2;
    }
    String key = inferDiag ? diag.inferKey : diag.basicKey;
    throw ex.setMessage(diags.create(DiagnosticType.FRAGMENT, log.currentSource(), pos, key, args));
}

Example #13

Source File: DeferredAttr.java From openjdk-8 with GNU General Public License v2.0

5 votes

DeferredAttrContext(AttrMode mode, Symbol msym, MethodResolutionPhase phase,
        InferenceContext inferenceContext, DeferredAttrContext parent, Warner warn) {
    this.mode = mode;
    this.msym = msym;
    this.phase = phase;
    this.parent = parent;
    this.warn = warn;
    this.inferenceContext = inferenceContext;
}

Example #14

Source File: Resolve.java From jdk8u60 with GNU General Public License v2.0

5 votes

protected void reportMC(DiagnosticPosition pos, MethodCheckDiag diag, InferenceContext inferenceContext, Object... args) {
    boolean inferDiag = inferenceContext != infer.emptyContext;
    InapplicableMethodException ex = inferDiag ?
            infer.inferenceException : inapplicableMethodException;
    if (inferDiag && (!diag.inferKey.equals(diag.basicKey))) {
        Object[] args2 = new Object[args.length + 1];
        System.arraycopy(args, 0, args2, 1, args.length);
        args2[0] = inferenceContext.inferenceVars();
        args = args2;
    }
    String key = inferDiag ? diag.inferKey : diag.basicKey;
    throw ex.setMessage(diags.create(DiagnosticType.FRAGMENT, log.currentSource(), pos, key, args));
}

Example #15

Source File: Resolve.java From openjdk-8-source with GNU General Public License v2.0

5 votes

protected void reportMC(DiagnosticPosition pos, MethodCheckDiag diag, InferenceContext inferenceContext, Object... args) {
    boolean inferDiag = inferenceContext != infer.emptyContext;
    InapplicableMethodException ex = inferDiag ?
            infer.inferenceException : inapplicableMethodException;
    if (inferDiag && (!diag.inferKey.equals(diag.basicKey))) {
        Object[] args2 = new Object[args.length + 1];
        System.arraycopy(args, 0, args2, 1, args.length);
        args2[0] = inferenceContext.inferenceVars();
        args = args2;
    }
    String key = inferDiag ? diag.inferKey : diag.basicKey;
    throw ex.setMessage(diags.create(DiagnosticType.FRAGMENT, log.currentSource(), pos, key, args));
}

Example #16

Source File: DeferredAttr.java From TencentKona-8 with GNU General Public License v2.0

5 votes

DeferredAttrContext(AttrMode mode, Symbol msym, MethodResolutionPhase phase,
        InferenceContext inferenceContext, DeferredAttrContext parent, Warner warn) {
    this.mode = mode;
    this.msym = msym;
    this.phase = phase;
    this.parent = parent;
    this.warn = warn;
    this.inferenceContext = inferenceContext;
}

Example #17

Source File: Resolve.java From TencentKona-8 with GNU General Public License v2.0

5 votes

protected void reportMC(DiagnosticPosition pos, MethodCheckDiag diag, InferenceContext inferenceContext, Object... args) {
    boolean inferDiag = inferenceContext != infer.emptyContext;
    InapplicableMethodException ex = inferDiag ?
            infer.inferenceException : inapplicableMethodException;
    if (inferDiag && (!diag.inferKey.equals(diag.basicKey))) {
        Object[] args2 = new Object[args.length + 1];
        System.arraycopy(args, 0, args2, 1, args.length);
        args2[0] = inferenceContext.inferenceVars();
        args = args2;
    }
    String key = inferDiag ? diag.inferKey : diag.basicKey;
    throw ex.setMessage(diags.create(DiagnosticType.FRAGMENT, log.currentSource(), pos, key, args));
}

Example #18

Source File: DeferredAttr.java From openjdk-8-source with GNU General Public License v2.0

5 votes

DeferredAttrContext(AttrMode mode, Symbol msym, MethodResolutionPhase phase,
        InferenceContext inferenceContext, DeferredAttrContext parent, Warner warn) {
    this.mode = mode;
    this.msym = msym;
    this.phase = phase;
    this.parent = parent;
    this.warn = warn;
    this.inferenceContext = inferenceContext;
}

Example #19

Source File: Resolve.java From hottub with GNU General Public License v2.0

5 votes

protected void reportMC(DiagnosticPosition pos, MethodCheckDiag diag, InferenceContext inferenceContext, Object... args) {
    boolean inferDiag = inferenceContext != infer.emptyContext;
    InapplicableMethodException ex = inferDiag ?
            infer.inferenceException : inapplicableMethodException;
    if (inferDiag && (!diag.inferKey.equals(diag.basicKey))) {
        Object[] args2 = new Object[args.length + 1];
        System.arraycopy(args, 0, args2, 1, args.length);
        args2[0] = inferenceContext.inferenceVars();
        args = args2;
    }
    String key = inferDiag ? diag.inferKey : diag.basicKey;
    throw ex.setMessage(diags.create(DiagnosticType.FRAGMENT, log.currentSource(), pos, key, args));
}

Example #20

Source File: Resolve.java From TencentKona-8 with GNU General Public License v2.0

5 votes

DeferredAttrContext deferredAttrContext(Symbol sym, InferenceContext inferenceContext, ResultInfo pendingResult, Warner warn) {
    DeferredAttrContext parent = (pendingResult == null)
        ? deferredAttr.emptyDeferredAttrContext
        : pendingResult.checkContext.deferredAttrContext();
    return deferredAttr.new DeferredAttrContext(attrMode, sym, step,
            inferenceContext, parent, warn);
}

Example #21

Source File: Resolve.java From openjdk-8-source with GNU General Public License v2.0

5 votes

@Override
ReferenceLookupHelper unboundLookup(InferenceContext inferenceContext) {
    if (TreeInfo.isStaticSelector(referenceTree.expr, names) &&
            argtypes.nonEmpty() &&
            (argtypes.head.hasTag(NONE) ||
            types.isSubtypeUnchecked(inferenceContext.asFree(argtypes.head), site))) {
        return new UnboundMethodReferenceLookupHelper(referenceTree, name,
                site, argtypes, typeargtypes, maxPhase);
    } else {
        return super.unboundLookup(inferenceContext);
    }
}

Example #22

Source File: Resolve.java From TencentKona-8 with GNU General Public License v2.0

5 votes

@Override
ReferenceLookupHelper unboundLookup(InferenceContext inferenceContext) {
    if (TreeInfo.isStaticSelector(referenceTree.expr, names) &&
            argtypes.nonEmpty() &&
            (argtypes.head.hasTag(NONE) ||
            types.isSubtypeUnchecked(inferenceContext.asUndetVar(argtypes.head), site))) {
        return new UnboundMethodReferenceLookupHelper(referenceTree, name,
                site, argtypes, typeargtypes, maxPhase);
    } else {
        return super.unboundLookup(inferenceContext);
    }
}

Example #23

Source File: Resolve.java From openjdk-jdk8u-backup with GNU General Public License v2.0

5 votes

protected void reportMC(DiagnosticPosition pos, MethodCheckDiag diag, InferenceContext inferenceContext, Object... args) {
    boolean inferDiag = inferenceContext != infer.emptyContext;
    InapplicableMethodException ex = inferDiag ?
            infer.inferenceException : inapplicableMethodException;
    if (inferDiag && (!diag.inferKey.equals(diag.basicKey))) {
        Object[] args2 = new Object[args.length + 1];
        System.arraycopy(args, 0, args2, 1, args.length);
        args2[0] = inferenceContext.inferenceVars();
        args = args2;
    }
    String key = inferDiag ? diag.inferKey : diag.basicKey;
    throw ex.setMessage(diags.create(DiagnosticType.FRAGMENT, log.currentSource(), pos, key, args));
}

Example #24

Source File: Resolve.java From openjdk-jdk8u-backup with GNU General Public License v2.0

5 votes

DeferredAttrContext deferredAttrContext(Symbol sym, InferenceContext inferenceContext, ResultInfo pendingResult, Warner warn) {
    DeferredAttrContext parent = (pendingResult == null)
        ? deferredAttr.emptyDeferredAttrContext
        : pendingResult.checkContext.deferredAttrContext();
    return deferredAttr.new DeferredAttrContext(attrMode, sym, step,
            inferenceContext, parent, warn);
}

Example #25

Source File: Resolve.java From openjdk-jdk8u-backup with GNU General Public License v2.0

5 votes

@Override
ReferenceLookupHelper unboundLookup(InferenceContext inferenceContext) {
    if (TreeInfo.isStaticSelector(referenceTree.expr, names) &&
            argtypes.nonEmpty() &&
            (argtypes.head.hasTag(NONE) ||
            types.isSubtypeUnchecked(inferenceContext.asUndetVar(argtypes.head), site))) {
        return new UnboundMethodReferenceLookupHelper(referenceTree, name,
                site, argtypes, typeargtypes, maxPhase);
    } else {
        return super.unboundLookup(inferenceContext);
    }
}

Example #26

Source File: DeferredAttr.java From openjdk-jdk8u with GNU General Public License v2.0

4 votes

/**
 * Process a deferred attribution node.
 * Invariant: a stuck node cannot be processed.
 */
@SuppressWarnings("fallthrough")
boolean process(final DeferredAttrContext deferredAttrContext) {
    switch (deferredAttrContext.mode) {
        case SPECULATIVE:
            if (deferredStuckPolicy.isStuck()) {
                dt.check(resultInfo, dummyStuckPolicy, new StructuralStuckChecker());
                return true;
            } else {
                Assert.error("Cannot get here");
            }
        case CHECK:
            if (deferredStuckPolicy.isStuck()) {
                //stuck expression - see if we can propagate
                if (deferredAttrContext.parent != emptyDeferredAttrContext &&
                        Type.containsAny(deferredAttrContext.parent.inferenceContext.inferencevars,
                                List.from(deferredStuckPolicy.stuckVars()))) {
                    deferredAttrContext.parent.addDeferredAttrNode(dt,
                            resultInfo.dup(new Check.NestedCheckContext(resultInfo.checkContext) {
                        @Override
                        public InferenceContext inferenceContext() {
                            return deferredAttrContext.parent.inferenceContext;
                        }
                        @Override
                        public DeferredAttrContext deferredAttrContext() {
                            return deferredAttrContext.parent;
                        }
                    }), deferredStuckPolicy);
                    dt.tree.type = Type.stuckType;
                    return true;
                } else {
                    return false;
                }
            } else {
                Assert.check(!deferredAttrContext.insideOverloadPhase(),
                        "attribution shouldn't be happening here");
                ResultInfo instResultInfo =
                        resultInfo.dup(deferredAttrContext.inferenceContext.asInstType(resultInfo.pt));
                dt.check(instResultInfo, dummyStuckPolicy, basicCompleter);
                return true;
            }
        default:
            throw new AssertionError("Bad mode");
    }
}

Example #27

Source File: DeferredAttr.java From openjdk-jdk8u-backup with GNU General Public License v2.0

4 votes

@Override
public void typesInferred(InferenceContext inferenceContext) {
    stuckVars.clear();
}

Example #28

Source File: Resolve.java From openjdk-8 with GNU General Public License v2.0

4 votes

MethodReferenceCheck(InferenceContext pendingInferenceContext) {
    this.pendingInferenceContext = pendingInferenceContext;
}

Example #29

Source File: Check.java From openjdk-jdk8u-backup with GNU General Public License v2.0

4 votes

public Infer.InferenceContext inferenceContext() {
    return enclosingContext.inferenceContext();
}

Example #30

Source File: Resolve.java From openjdk-8 with GNU General Public License v2.0

4 votes

Symbol resolveMemberReferenceByArity(Env<AttrContext> env,
                              JCMemberReference referenceTree,
                              Type site,
                              Name name,
                              List<Type> argtypes,
                              InferenceContext inferenceContext) {

    boolean isStaticSelector = TreeInfo.isStaticSelector(referenceTree.expr, names);
    site = types.capture(site);

    ReferenceLookupHelper boundLookupHelper = makeReferenceLookupHelper(
            referenceTree, site, name, argtypes, null, VARARITY);
    //step 1 - bound lookup
    Env<AttrContext> boundEnv = env.dup(env.tree, env.info.dup());
    Symbol boundSym = lookupMethod(boundEnv, env.tree.pos(), site.tsym,
            arityMethodCheck, boundLookupHelper);
    if (isStaticSelector &&
        !name.equals(names.init) &&
        !boundSym.isStatic() &&
        boundSym.kind < ERRONEOUS) {
        boundSym = methodNotFound;
    }

    //step 2 - unbound lookup
    Symbol unboundSym = methodNotFound;
    ReferenceLookupHelper unboundLookupHelper = null;
    Env<AttrContext> unboundEnv = env.dup(env.tree, env.info.dup());
    if (isStaticSelector) {
        unboundLookupHelper = boundLookupHelper.unboundLookup(inferenceContext);
        unboundSym = lookupMethod(unboundEnv, env.tree.pos(), site.tsym,
                arityMethodCheck, unboundLookupHelper);
        if (unboundSym.isStatic() &&
            unboundSym.kind < ERRONEOUS) {
            unboundSym = methodNotFound;
        }
    }

    //merge results
    Symbol bestSym = choose(boundSym, unboundSym);
    env.info.pendingResolutionPhase = bestSym == unboundSym ?
            unboundEnv.info.pendingResolutionPhase :
            boundEnv.info.pendingResolutionPhase;

    return bestSym;
}