Function execute

packages/compiler/src/typecheck/ops/directive_type.ts:41–74

()

  }

  override execute(): TcbExpr {
    const rawType = this.tcb.env.referenceTcbValue(this.dir.ref);

    let type: TcbExpr;
    let span: ParseSourceSpan;
    if (
      this.dir.isGeneric === false ||
      this.dir.typeParameters === null ||
      this.dir.typeParameters.length === 0
    ) {
      type = rawType;
    } else {
      const typeArguments = Array(this.dir.typeParameters?.length ?? 0)
        .fill('any')
        .join(', ');
      type = new TcbExpr(`${rawType.print()}<${typeArguments}>`);
    }

    if (this.node instanceof HostElement) {
      span = this.node.sourceSpan;
    } else {
      span = this.node.startSourceSpan || this.node.sourceSpan;
    }

    const identifier =
      this.dir.matchSource === MatchSource.HostDirective
        ? ExpressionIdentifier.HOST_DIRECTIVE
        : ExpressionIdentifier.DIRECTIVE;
    const id = new TcbExpr(this.tcb.allocateId())
      .addExpressionIdentifier(identifier, this.directiveIndex)
      .addParseSpanInfo(span);
    this.scope.addStatement(declareVariable(id, type));
    return id;
  }
}

/**