Method applyWithProgram

tools/tslint/noExportedInferredCallTypeRule.ts:25–56

(sourceFile: ts.SourceFile, program: ts.Program)

 */
export class Rule extends TypedRule {
  override applyWithProgram(sourceFile: ts.SourceFile, program: ts.Program): RuleFailure[] {
    const checker = program.getTypeChecker();

    return this.applyWithFunction(sourceFile, (ctx) => {
      for (const st of sourceFile.statements) {
        if (
          !ts.isVariableStatement(st) ||
          !(st.modifiers ?? []).some((s) => s.kind === ts.SyntaxKind.ExportKeyword)
        ) {
          continue;
        }

        for (const decl of st.declarationList.declarations) {
          if (
            decl.initializer !== undefined &&
            ts.isCallExpression(decl.initializer) &&
            decl.type === undefined
          ) {
            const inferredType = checker.getTypeAtLocation(decl.name);
            const typeStr = checker.typeToString(inferredType, decl);

            ctx.addFailureAtNode(
              decl,
              'No explicit type. Inferred types can cause unexpected issues. ' +
                'Please add an explicit type.',
              Replacement.appendText(decl.name.end, `: ${typeStr}`),
            );
          }
        }
      }
    });
  }
}