Class InlineTcbOp

packages/compiler-cli/src/ngtsc/typecheck/src/context.ts:705–751

* A type check block operation which produces inline type check code for a particular directive.

 * A type check block operation which produces inline type check code for a particular directive.
 */
class InlineTcbOp implements Op {
  constructor(
    readonly ref: Reference<ClassDeclaration<ts.ClassDeclaration>>,
    readonly meta: TypeCheckBlockMetadata,
    readonly config: TypeCheckingConfig,
    readonly reflector: ReflectionHost,
    readonly domSchemaChecker: DomSchemaChecker<unknown>,
    readonly oobRecorder: OutOfBandDiagnosticRecorder<unknown>,
  ) {}

  /**
   * Type check blocks are inserted immediately after the end of the directve class.
   */
  get splitPoint(): number {
    return this.ref.node.end + 1;
  }

  execute(im: ImportManager, tcbSf: ts.SourceFile, refEmitter: ReferenceEmitter): string {
    const env = new Environment(this.config, im, refEmitter, tcbSf);
    const originalSf = this.ref.node.getSourceFile();
    if (tcbSf !== originalSf) {
      env.copiedSourceOriginPath = absoluteFromSourceFile(originalSf);
    }
    const fnName = `_tcb_${this.ref.node.pos}`;

    const {tcbMeta, component} = adaptTypeCheckBlockMetadata(
      this.ref,
      this.meta,
      env,
      this.reflector,
      TcbGenericContextBehavior.CopyClassNodes,
    );

    // Inline TCBs should copy any generic type parameter nodes directly, as the TCB code is
    // inlined into the class in a context where that will always be legal.
    const fn = generateTypeCheckBlock(
      env,
      component,
      fnName,
      tcbMeta,
      this.domSchemaChecker,
      this.oobRecorder,
    );

    return fn;
  }
}

/**
 * A type constructor operation which produces type constructor code for a particular directive.