A tool that dumps the Misti configuration file in use.

Hierarchy (view full)

  • Tool<DumpConfigOptions>
    • DumpConfig

Constructors

Properties

options: DumpConfigOptions

User-defined options for the tool merged with the default options.

Accessors

  • get defaultOptions(): DumpConfigOptions
  • The default options for the tool.

    Returns DumpConfigOptions

  • get id(): string
  • The unique identifier of the tool.

    Returns string

Methods