Invocation, options and results
링크topaz version
topaz version
입력
Accept no positional operands. Accept - and the listed language selector. Reject version aliases, source operands, -, compiler selection, and unrelated options.
옵션과 충돌
| 옵션 | 기본값 | 계약 | 충돌 |
|---|---|---|---|
--verbose | false | Reports the selected compiler and whether it was explicit or the default. For | 없음 |
--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
링크Example contract
The invocation topaz version main. 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
링크Command behavior
Arguments and rejection
Accept no positional operands. Accept - and the listed language selector. Reject version aliases, source operands, -, 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
링크function identity<T>(value: T) -> T {value}
기대 결과
기대 결과
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.