Перейти к содержимому
Топаз6.0 · До релиза
Загрузка →

Поиск в документации

Спецификация 6.0

Выберите результат стрелками и нажмите Enter, чтобы открыть его.

Введите имя API, номер диагностики, правило или тему проекта.

    Инструменты

    version

    Prints the installed Topaz version.

    Invocation, options and results

    Ссылка

    topaz version

    Форма вызова
    1. topaz version

    Ввод

    Accept no positional operands. Accept --verbose and the listed language selector. Reject version aliases, source operands, --format json, compiler selection, and unrelated options.

    Параметры и конфликты

    ПараметрЗначение по умолчаниюКонтрактКонфликты
    --verbosefalse

    Reports the selected compiler and whether it was explicit or the default. For version, prints the detailed release report.

    Не перечислены
    --language-version <5.21>5.21

    language version selector

    Не перечислены

    Каналы вывода

    stdout

    stderr

    Статус завершения

    0

    The requested bundled text is printed.

    1

    Argument validation or output fails.

    Эффекты

    Read the installed executable's bundled metadata without opening or modifying project files. No output file or workspace is created.

    The command performs no network access.

    The same installed executable, admitted options, and presentation settings produce the same text. Release changes can change the bundled content.

    No manifest, dependency, vendor tree, or lock is loaded or changed.

    Operation

    Ссылка

    Use verbose output to inspect the compiler version, language mode, runtime version, and backend label. Compiler status reports the default compiler and command support.

    Example contract

    Ссылка
    Правилоtools-commands-version.rule.invocation

    Example contract

    The invocation topaz version main.tpz --language-version 5.21 is expected to exit with 1.

    The command has no positional source operand. The adapter-supplied fixture operand is deliberately rejected before its operation; this is an arity example, not a successful version session.

    Причина

    The version report describes the installed toolchain. Rejecting a source operand prevents it from appearing to report the language version of that file.

    Behavior contract

    Ссылка
    Правилоtools-commands-version.rule.behavior

    Command behavior

    Arguments and rejection

    Accept no positional operands. Accept --verbose and the listed language selector. Reject version aliases, source operands, --format json, compiler selection, and unrelated options.

    Output

    Standard output reports the installed product version. Verbose output also reports the selected language mode and bundled component and compiler identity. Command failures use standard error.

    The command has no selectable JSON report. Product release identity is independent of the selected language mode.

    Exit status

    Exit 0 means the requested installed text was printed. Exit 1 covers invalid arguments and output failure.

    Filesystem effects

    Read the installed executable's bundled metadata without opening or modifying project files. No output file or workspace is created.

    Network access

    The command performs no network access.

    Reproducibility

    The same installed executable, admitted options, and presentation settings produce the same text. Release changes can change the bundled content.

    Packages and locks

    No manifest, dependency, vendor tree, or lock is loaded or changed.

    Причина

    Version inspection requests the installed toolchain identity. A language selector describes its selected mode and does not change the reported product release.

    The linked public CLI recipe checks the exact displayed argument rejection before the requested operation. It does not execute the successful operation or verify its effects.

    The safe recipe checks rejection of its extra fixture operand and language selector. The successful no-operand form is outside the reviewed vector and remains not-run in this runner.

    Example

    Ссылка

    Argument-rejection example

    Ссылка
    main.tpzArgument-rejection exampleОткрыть песочницу →
    1. function identity<T>(value: T) -> T {
    2. value
    3. }
    Целевой продукт 5.21.3
    Ожидаемый результат

    Ожидаемый результат

    Textual rejection details remain Pending in the reference model. The independent Tools example gate expects exit 1.

    The command has no positional source operand. The adapter-supplied fixture operand is deliberately rejected before its operation; this is an arity example, not a successful version session.

    Verification scope

    Ссылка

    Observed with Topaz 5.21.3 on 2026-11-06T08:36:29.642Z. This invocation passed; exit 1. 3 assertions were evaluated against the independent expected result. Execution record. This result covers the displayed invocation.

    Related references

    Ссылка

    Compiler selection →

    Packages, locks and targets →

    Меню

    Загрузка →