Руководство
Тесты и симуляция, наблюдаемость, отладчик, LSP, анализатор, пакеты, кластер
В этой главе
| Deterministic simulation (test sim, [С §18.4]) | Stage 4, wave 2 (agent SIM, D-4100..D-4110). |
| Наблюдаемость: спаны, метрики, логи | Руководство пользователя к ТЗ Р7 и [С §15.5]. |
| Интерфейсы: import proto, oxl gen, связи ORM | Руководство к К17 и К7 ([С §16.3, §5.9, §12.8]); принятые решения — D-4740..D-4799 в decisions.md, устройство — раздел «import proto и oxl gen» в ARCHITECTURE.md. |
| Шлюз HTTP/JSON, API-ключи, сессии, чтения с реплик, миграции builtin:// | Руководство к функциям 1.0 «дешёвого» списка (ответ заказчика 1, сессия 6) [С §12.4, §12.8, §13.2, §16.3]; решения — D-8200..D-8249 в decisions.md. |
| Local debugger (ч. III.5, requirement И6) | oxl dap is a Debug Adapter Protocol server on stdin/stdout. |
| The OxL language server (oxl lsp) | Standard [С ч. III.3], TZ requirements И3 (formatter in the editor) and И4 (LSP, "M" |
| Static analyzer (ч. III.4) — status of every rule | The analyzer runs in oxl check, oxl build and the language server. |
| .oxlrec — the request journal | oxl trace --record ([С III.1], D-6860) journals the unary rpcs a cluster receives over the network; test ab … |
| Sanitizers (TZ 3.5 / 5.2) | OXL_SANITIZE builds the runtime (liboxlrt), the compiler (oxlc, oxl) and every test binary with AddressSanitizer + UndefinedBehaviorSanitizer, and makes oxl build link the sanitizer runtime into every compiled OxL progra… |
| Fuzzing (TZ 3.5 / 5.2) | libFuzzer harnesses for the code that parses bytes we do not control live in tests/fuzz/. |
| Line coverage (TZ 3.5) | Targets: compiler/ >= 85 %, runtime/ >= 80 % of the lines, measured by unit tests + conformance (stages <= 3). |
| Benchmarks | Performance targets of TZ 3.2 and how they are measured. |
| Устройство компилятора и рантайма | Implementation of the OxL language (standard |