Method resolveExpr

src/main/java/net/starlark/java/syntax/Resolver.java:1424–1451

Performs static checks, including resolution of identifiers in expr in the environment defined by module. Syntax must be resolved before it is evaluated. @param expr resolved and mutated by this method: Identifier nodes get bindings. @param module defines predeclared variabl

(Expression expr, Module module, FileOptions options)

   *     to have consistent behavior for {@link Module#resolve}.
   */
  public static Function resolveExpr(Expression expr, Module module, FileOptions options)
      throws SyntaxError.Exception {
    List<SyntaxError> errors = new ArrayList<>();
    Resolver r = new Resolver(errors, module, options, /* docCommentsMap= */ null);

    ArrayList<Binding> frame = new ArrayList<>();
    r.pushLocalBlock(null, frame, /*freevars=*/ null); // for bindings in list comprehensions
    r.visit(expr);
    r.popLocalBlock();

    if (!errors.isEmpty()) {
      throw new SyntaxError.Exception(errors);
    }

    // Return no-arg function that computes the expression.
    return new Function(
        "<expr>",
        expr.getStartLocation(),
        /* params= */ ImmutableList.of(),
        /* functionType= */ NO_PARAMS_CALLABLE,
        ImmutableList.of(ReturnStatement.make(expr)),
        /* hasVarargs= */ false,
        /* hasKwargs= */ false,
        /* numKeywordOnlyParams= */ 0,
        frame,
        /* freevars= */ ImmutableList.of(),
        r.globals);
  }

  private void pushLocalBlock(
      Node syntax, ArrayList<Binding> frame, @Nullable ArrayList<Binding> freevars) {