KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ

KRETDB-B01-PersistentCounter — Trwały licznik (tabela klucz→wartość)

🇬🇧 English version below.

Pole	Wartość
Technologia	KretDB
Poziom	BASIC
Klasyfikacja	RUNNABLE_LOCAL — Uruchamialny lokalnie (SDK, izolowany proces pluginu)
Playground	LOCAL_EXECUTE — lokalnie: wykonanie w KretStudio / SDK (publicznie: tylko statycznie)
SDK	1.0.0-rc.3+kret.local.3 (kandydat lokalny, niepodpisany)
Wynik testu	`TEST_RESULTS.json`, rzeczywisty wynik: `EXPECTED_OUTPUT.txt`

Co pokazuje

Schemat Disk/Schema.kdb z jedną tabelą klucz→wartość. Kod używa db.getOr i db.set. Dwa uruchomienia z tym samym katalogiem danych pokazują trwałość: drugie uruchomienie widzi wynik pierwszego. Baza należy do brokera — plugin nie widzi SQL ani pliku bazy.

Pliki

Plik
`Disk/Schema.kdb`
`Script/Main.krs`
`host-policy.json`
`plugin.kretl`

Jak uruchomić

Katalog roboczy: katalog tego przykładu. kret oznacza <SDK>\Compiler\kret.exe, kretui-host — <SDK>\UiHost\kretui-host.exe. {DATA} / {OUT} to nowe, puste katalogi poza projektem. Wymagania: REQUIREMENTS.md.

kret check . --json — walidacja schematu i kodu
kret run . --policy host-policy.json --data {DATA} — pierwsze uruchomienie
kret run . --policy host-policy.json --data {DATA} — drugie uruchomienie — ten sam katalog danych

Oczekiwany wynik

„uruchomienie nr 1”, potem „uruchomienie nr 2”.

Najczęstszy błąd

Użycie db.* bez pliku Disk/Schema.kdb albo bez kretdb.open/read/write w manifeście — błąd kompilacji; bez przyznania w polityce hosta — odmowa brokera.

Źródło i wersja

Zweryfikowany import PUBLIC_CANDIDATE. Identyfikatory źródeł odnoszą się do eksportu i nie dają dostępu do plików serwera.

01_LANGUAGES/KretDB/Examples/BASIC_PersistentCounter/README.md
SHA-256 97D1B41195FD317DC140D53A8D691B2FFAEF67D98FC4ECE5D016B20E2C4583B2

Oryginalne źródło jest dwujęzyczne; terminy techniczne i polecenia zachowano.

Zaloguj się na konto użytkownika, aby zapisywać postęp i zakładki. Konta obsługi mogą czytać bez zapisu postępu. Logowanie →