본문으로 건너뛰기
토파즈6.0 · 출시 전
다운로드 →

문서 검색

명세 6.0

방향키로 결과를 고르고 Enter를 눌러 여세요.

API 이름, 진단 번호, 규칙 또는 프로젝트 주제를 입력하세요.

    도구

    help

    Prints the public command summary and option help.

    Invocation, options and results

    링크

    topaz help

    호출 형식
    1. topaz help

    입력

    Require the explicit help command and no extra operands or options. Reject an empty invocation and requests that append a source file or language selector.

    Help describes the current command names and the options admitted by each command. It does not execute an example or start a service.

    옵션과 충돌

    옵션기본값계약충돌

    출력 채널

    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 help to inspect the invocation syntax shipped with the installed CLI.

    Example contract

    링크
    규칙tools-commands-help.rule.invocation

    Example contract

    The invocation topaz help 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 help session.

    이유

    help prints the installed command reference. Rejecting a source operand prevents unused command arguments from silently passing validation.

    Behavior contract

    링크
    규칙tools-commands-help.rule.behavior

    Command behavior

    Arguments and rejection

    Require the explicit help command and no extra operands or options. Reject an empty invocation and requests that append a source file or language selector.

    Help describes the current command names and the options admitted by each command. It does not execute an example or start a service.

    Output

    Print the installed usage and command reference to standard output. Command-validation failures use standard error. --format json is rejected.

    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.

    이유

    Explicit help requests documentation. An omitted command can be an incomplete automation request, so it must fail instead of appearing to complete an operation.

    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 help 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 →

    메뉴

    다운로드 →