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

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

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

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

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

    Диагностика TPZ4008

    A host input failure produces TPZ4008 at the readStdin call.

    Diagnostic and cause

    Ссылка

    Host input failure

    Семейство
    topaz
    Этап
    run
    Код
    TPZ4008
    Операция
    std.io.readStdin

    Причина и условия

    readStdin reads the remaining standard input bytes through EOF. UTF-8 validity and text preservation follow UTF-8 decoding. It does not append or remove a newline.

    No remaining bytes produces an empty string. A later call reads from the stream position left by the earlier call and therefore returns an empty string at EOF. A terminal follows the same EOF rule as redirected input.

    The call may wait for input or EOF. Reading consumes input even when the result is later discarded. A host read failure or invalid UTF-8 produces a structured runtime fault at the readStdin call because the function returns a string rather than a Result.

    The Topaz 6.0 host input fault is TPZ4008. Its primary location is the readStdin call.

    Действия

    Provide valid UTF-8 through a readable input stream. Keep input recovery in the embedding host until structured fault production is available.

    Topaz 6.0.0 specifies this diagnostic during runtime.

    The product message wording awaits owner approval.

    The pinned SELF source does not emit this diagnostic.

    A failed host read or invalid UTF-8 produces a structured runtime fault at the readStdin call. The input operation consumes host bytes and validates their text encoding. The standard input contract defines consumption and valid text preservation.

    Response

    Ссылка

    Provide valid UTF-8 through a readable input stream. Keep input recovery in the embedding host until structured fault production is available.

    Reproduction and verification

    Ссылка

    Меню

    Загрузка →