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

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

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

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

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

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

    A host output failure produces TPZ4010 at the writeLine call.

    Diagnostic and cause

    Ссылка

    Host output failure

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

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

    A failed std.io.writeLine call raises a dedicated host-output runtime fault at that call.

    The Topaz 6.0 fault is TPZ4010. Successful writes retain the normal unit result.

    Действия

    Use a working standard output sink. Keep output 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 write produces a dedicated structured runtime fault at the writeLine call. Successful writes retain the unit result. The host output contract defines the operation.

    Response

    Ссылка

    Use a working standard output sink. Keep output recovery in the embedding host until structured fault production is available.

    Reproduction and verification

    Ссылка

    Меню

    Загрузка →