KretDB — samouczek BASIC

KretDB — samouczek BASIC

Status 1.0: `FROZEN_SUPPORTED_SUBSET` — zamrożony dokładnie opisany zakres; reszta poza kontraktem 1.0. Gramatyka/wersja: kretdb-1.0. Status języka nie nadaje uprawnień KCS ani prawa do działania w Production.

Cel: pierwszy plik, podstawowa struktura, najprostszy działający przykład, najczęstszy błąd, sposób uruchomienia.

Narzędzia: kret = <SDK>\Compiler\kret.exe (SDK 1.0.0-rc.3+kret.local.3), kretui-host = <SDK>\UiHost\kretui-host.exe. {DATA}/{OUT} = nowe, puste katalogi.

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

Projekt: ../../Examples/BASIC_PersistentCounter/ · klasyfikacja RUNNABLE_LOCAL · Playground LOCAL_EXECUTE

Kroki (katalog roboczy: katalog przykładu):

1. kret check . --json — w wyniku: "succeeded": true
2. kret run . --policy host-policy.json --data {DATA} — w wyniku: uruchomienie nr 1
3. kret run . --policy host-policy.json --data {DATA} — w wyniku: uruchomienie nr 2

Wynik tej rundy: PASS — zob. EXPECTED_OUTPUT.txt.