Class TcbTemplateVariableOp

packages/compiler/src/typecheck/ops/variables.ts:49–83

 * Executing this operation returns a reference to the variable variable (lol).
 */
export class TcbTemplateVariableOp extends TcbOp {
  constructor(
    private tcb: Context,
    private scope: Scope,
    private template: Template,
    private variable: Variable,
  ) {
    super();
  }

  override get optional() {
    return false;
  }

  override execute(): TcbExpr {
    // Look for a context variable for the template.
    const ctx = this.scope.resolve(this.template);

    // Allocate an identifier for the Variable, and initialize it to a read of the variable
    // on the template context.
    const id = new TcbExpr(this.tcb.allocateId());
    const initializer = new TcbExpr(`${ctx.print()}.${this.variable.value || '$implicit'}`);
    id.addParseSpanInfo(this.variable.keySpan);

    // Declare the variable, and return its identifier.
    if (this.variable.valueSpan !== undefined) {
      initializer.addParseSpanInfo(this.variable.valueSpan).wrapForTypeChecker();
    } else {
    }
    const variable = new TcbExpr(`var ${id.print()} = ${initializer.print()}`);
    variable.addParseSpanInfo(this.variable.sourceSpan);
    this.scope.addStatement(variable);
    return id;
  }
}

/**
 * A `TcbOp` which renders a variable defined inside of block syntax (e.g. `@if (expr; as var) {}`).