Method Call

eval/eval/evaluator_core.h:375–386

Move pc to a subexpression. Unlike a `Call` in a programming language, the subexpression is evaluated in the same context as the caller (e.g. no stack isolation or scope change) Only intended for use in built-in notion of lazily evaluated subexpressions.

  // Only intended for use in built-in notion of lazily evaluated
  // subexpressions.
  void Call(size_t slot_index, size_t subexpression_index) {
    ABSL_DCHECK_LT(subexpression_index, subexpressions_.size());
    ExecutionPathView subexpression = subexpressions_[subexpression_index];
    ABSL_DCHECK(subexpression != execution_path_);
    size_t return_pc = pc_;
    // return pc == size() is supported (a tail call).
    ABSL_DCHECK_LE(return_pc, execution_path_.size());
    call_stack_.push_back(SubFrame{return_pc, slot_index, execution_path_,
                                   value_stack().size() + 1});
    pc_ = 0UL;
    execution_path_ = subexpression;
  }

  EvaluatorStack& value_stack() { return *value_stack_; }