Class TcbBlockVariableOp

packages/compiler/src/typecheck/ops/variables.ts:90–113

 * Executing this operation returns the identifier which can be used to refer to the variable.
 */
export class TcbBlockVariableOp extends TcbOp {
  constructor(
    private tcb: Context,
    private scope: Scope,
    private initializer: TcbExpr,
    private variable: Variable,
  ) {
    super();
  }

  override get optional() {
    return false;
  }

  override execute(): TcbExpr {
    const id = new TcbExpr(this.tcb.allocateId());
    id.addParseSpanInfo(this.variable.keySpan);
    this.initializer.wrapForTypeChecker();
    const variable = new TcbExpr(`var ${id.print()} = ${this.initializer.print()}`);
    variable.addParseSpanInfo(this.variable.sourceSpan);
    this.scope.addStatement(variable);
    return id;
  }
}