oxc-project__oxc/packages/codegen/src-js/state.ts

// Printer state.
//
// One object, created here and handed to whichever printer build `index.ts` selects.
// It is deliberately outside `print/`, so that all 4 builds share this one class and therefore one
// object shape - a build-time flag must never add or remove a field, or the printers would each
// see a different hidden class for the object they thread through every function.
//
// The printers only ever receive it, so they import it as a type.
// Nothing in `print/` constructs one, and none of the 4 printer builds bundles this file.

import { CAT_OTHER } from "./print/write.ts";

import type { Category } from "./print/write.ts";
import type { Options, Position } from "./print/options.ts";

/**
 * The string one level of indentation prints as. Set from the `indent` option, a tab by default.
 */
let indentString = "\t";

/**
 * Indentation cache, holding the string for each level - `indents[2]` is two levels' worth.
 *
 * There is one per process, and every `State` carries it, so all 4 printer builds grow and read
 * the same array - the cache a build fills is there for the next build to use.
 *
 * It survives across prints and is discarded only when `indentString` changes.
 */
const indents = [""];

/**
 * The `indent` option must be made up of only spaces and tabs, and not empty string.
 * Anything else falls back to a tab.
 */
const INDENT_REGEX = /^[ \t]+$/;

/** Upper bound for the process-wide indentation cache. */
const MAX_STARTING_INDENT_LEVEL = 1_000;

export class State {
  // Current output.
  // A string which is appended to as the printing process proceeds.
  declare output: string;

  // Current indentation level.
  declare indentLevel: number;

  // The process-wide indent cache and the string one level of it prints as.
  // `printIndent` reads the cache through here, and `growIndents` extends it.
  declare indents: string[];
  declare indentString: string;

  // `true` if printing a JSX / TSX file. Only affects printing of TSX.
  declare isJsx: boolean;

  // Operator/token glue tracking.
  declare pendingIndentAsSpace: boolean;

  // Category of the last thing written - one of the `CAT_*` constants, never a character.
  //
  // It also carries the three `CAT_START_OF_*` markers, which say that an expression statement,
  // a concise arrow body or an `export default` expression is about to be printed, and nothing
  // has been written since.
  //
  // A node seeing one of those is the leftmost token of that construct, however deeply nested it is,
  // which is how an object literal, a function or a class knows to parenthesize itself.
  //
  // They work because the next write replaces `last`, so "nothing written since" needs nothing else recorded -
  // and because every position they mark follows whitespace, which is what the `CAT_OTHER` they displace
  // means for spacing.
  declare last: Category;

  // `true` between a `writeNoLast` and the write which follows it,
  // i.e. while `last` describes something other than what was written last.
  // Only used in debug builds. See `debugAssertLastFresh`.
  declare lastIsStale: boolean;

  // The character the output currently ends with.
  // Only used in debug builds. See `debugAssertCategoryMatches`.
  declare lastCharWritten: string;

  // Deferred source mappings.
  // Either all 3 are arrays, or all 3 are `null` (when the printer was given no `sourceMap`).
  declare mapOffsets: number[] | null;
  declare mapPositions: Position[] | null;
  declare mapNames: (string | undefined)[] | null;

  constructor(options: Options) {
    this.output = "";

    let { startingIndentLevel: indentLevel } = options;
    if (indentLevel === undefined) {
      indentLevel = 0;
    } else if (
      !Number.isSafeInteger(indentLevel) ||
      indentLevel < 0 ||
      indentLevel > MAX_STARTING_INDENT_LEVEL
    ) {
      throw new RangeError(
        "`startingIndentLevel` must be a non-negative safe integer no greater than 1000",
      );
    }
    this.indentLevel = indentLevel;

    // The `indent` option is validated here, not in the printer, and changing of it discards
    // the cache grown for the old `indentString`.
    // That should be rare - most users have an indent style they prefer, and use it consistently.
    let { indent } = options;
    if (typeof indent !== "string" || !INDENT_REGEX.test(indent)) indent = "\t";
    if (indent !== indentString) {
      indentString = indent;
      indents.length = 1;
    }
    this.indents = indents;
    this.indentString = indent;

    // `.tsx` mode: lone type parameters print as `<T,>`
    this.isJsx = options.jsx === true;

    // Operator/token glue tracking
    this.pendingIndentAsSpace = false;

    // Start of output behaves like after whitespace. Reading the last character from `output`
    // directly would flatten V8's rope representation on every append-then-read (quadratic),
    // which is why the category is tracked rather than derived.
    this.last = CAT_OTHER;

    // Debug-only fields for checking `last` is correct on both writes and reads
    if (DEBUG) {
      this.lastIsStale = false;
      this.lastCharWritten = "";
    }

    // `writeWithMap` records the output offset and original position of every mapped node,
    // and `emitMappings` converts the offsets to generated line/column in one pass at the end
    if (options.sourceMap == null) {
      this.mapOffsets = null;
      this.mapPositions = null;
      this.mapNames = null;
    } else {
      this.mapOffsets = [];
      this.mapPositions = [];
      this.mapNames = [];
    }
  }
}