KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ

Round-trip i błędne grafy

ADVANCED40 min

Postęp nauki 0 / 3

Zaloguj się na konto użytkownika, aby zachować postęp.

Czego się nauczysz

Prześledź źródła i wyjaśnij opisany kontrakt.
W RoundTripAndErrors porównaj poprawny i niepoprawny przypadek. Wypisz niezmienniki struktury, które można sprawdzić bez wykonania programu.

Wymagania wstępne

Ukończ Podstawy i wcześniejszy poziom tej ścieżki.

Wyjaśnienie krok po kroku

Round-trip służy do sprawdzania zachowania struktury w obsługiwanym zakresie. Oczekiwany błąd niepoprawnej krawędzi lub konstrukcji jest częścią testu. Szkic grafu w edytorze WWW jest innym formatem i nie może udawać kompilacji kretflow-ir/2.

Praca z kodem źródłowym

Synchronizacja kod ⇄ graf i diagnostyka przepływu

`kret flow from-krets … --previous` odtwarza dokument przepływu z kodu KretS, zachowując położenia bloków z poprzedniej wersji (powtórna synchronizacja daje identyczny tekst). Wariant `bad-call/` wywołuje nieistniejącą funkcję — kompilator KretS odrzuca blok `action`.

Plik

1{
2  "format": "kretflow-ir/2",
3  "name": "Restock",
4  "variables": [
5    { "name": "stock", "type": "Int64", "initial": "2" },
6    { "name": "ordered", "type": "Int64", "initial": "0" },
7    { "name": "cost", "type": "Int64", "initial": "0" },
8    { "name": "note", "type": "String", "initial": "\"\"" }
9  ],
10  "nodes": [
11    { "id": "start", "kind": "trigger", "event": "stock.low", "position": { "x": 40, "y": 40 } },
12    { "id": "enough", "kind": "loop", "expression": "stock < 10", "position": { "x": 200, "y": 40 } },
13    { "id": "order", "kind": "assign", "variable": "ordered", "expression": "ordered + 4", "position": { "x": 360, "y": 0 } },
14    { "id": "deliver", "kind": "assign", "variable": "stock", "expression": "stock + 4", "position": { "x": 520, "y": 0 } },
15    { "id": "price", "kind": "action", "variable": "cost", "call": "Orders.price", "arguments": ["ordered"], "position": { "x": 360, "y": 120 } },
16    { "id": "large", "kind": "condition", "expression": "cost > 100", "position": { "x": 520, "y": 120 } },
17    { "id": "big", "kind": "assign", "variable": "note", "expression": "\"duże zamówienie\"", "position": { "x": 680, "y": 80 } },
18    { "id": "small", "kind": "assign", "variable": "note", "expression": "\"zwykłe zamówienie\"", "position": { "x": 680, "y": 160 } },
19    { "id": "say", "kind": "action", "call": "log.info", "arguments": ["note + \": \" + toString(ordered) + \" szt.\""], "position": { "x": 840, "y": 120 } },
20    { "id": "done", "kind": "end", "expression": "note + \", sztuk: \" + toString(ordered) + \", koszt: \" + toString(cost)", "position": { "x": 1000, "y": 120 } }
21  ],
22  "edges": [
23    { "from": "start", "port": "next", "to": "enough" },
24    { "from": "enough", "port": "body", "to": "order" },
25    { "from": "order", "port": "next", "to": "deliver" },
26    { "from": "deliver", "port": "next", "to": "enough" },
27    { "from": "enough", "port": "done", "to": "price" },
28    { "from": "price", "port": "next", "to": "large" },
29    { "from": "large", "port": "true", "to": "big" },
30    { "from": "large", "port": "false", "to": "small" },
31    { "from": "big", "port": "next", "to": "say" },
32    { "from": "small", "port": "next", "to": "say" },
33    { "from": "say", "port": "next", "to": "done" }
34  ]
35}

Czytanie kodu linia po linii

Objaśnienia struktury nie są walidacją semantyczną. Szczegółowy kontrakt opisują referencje i README przykładu.

{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"format": "kretflow-ir/2",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"name": "Restock",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"variables": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
{ "name": "stock", "type": "Int64", "initial": "2" },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{ "name": "ordered", "type": "Int64", "initial": "0" },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{ "name": "cost", "type": "Int64", "initial": "0" },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{ "name": "note", "type": "String", "initial": "\"\"" }Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
],Zamknięcie struktury otwartej we wcześniejszych liniach.
"nodes": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
{ "id": "start", "kind": "trigger", "event": "stock.low", "position": { "x": 40, "y": 40 } },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{ "id": "enough", "kind": "loop", "expression": "stock < 10", "position": { "x": 200, "y": 40 } },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{ "id": "order", "kind": "assign", "variable": "ordered", "expression": "ordered + 4", "position": { "x": 360, "y": 0 } },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{ "id": "deliver", "kind": "assign", "variable": "stock", "expression": "stock + 4", "position": { "x": 520, "y": 0 } },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{ "id": "price", "kind": "action", "variable": "cost", "call": "Orders.price", "arguments": ["ordered"], "position": { "x": 360, "y": 120 } },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{ "id": "large", "kind": "condition", "expression": "cost > 100", "position": { "x": 520, "y": 120 } },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{ "id": "big", "kind": "assign", "variable": "note", "expression": "\"duże zamówienie\"", "position": { "x": 680, "y": 80 } },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{ "id": "small", "kind": "assign", "variable": "note", "expression": "\"zwykłe zamówienie\"", "position": { "x": 680, "y": 160 } },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{ "id": "say", "kind": "action", "call": "log.info", "arguments": ["note + \": \" + toString(ordered) + \" szt.\""], "position": { "x": 840, "y": 120 } },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{ "id": "done", "kind": "end", "expression": "note + \", sztuk: \" + toString(ordered) + \", koszt: \" + toString(cost)", "position": { "x": 1000, "y": 120 } }Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
],Zamknięcie struktury otwartej we wcześniejszych liniach.
"edges": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
{ "from": "start", "port": "next", "to": "enough" },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{ "from": "enough", "port": "body", "to": "order" },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{ "from": "order", "port": "next", "to": "deliver" },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{ "from": "deliver", "port": "next", "to": "enough" },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{ "from": "enough", "port": "done", "to": "price" },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{ "from": "price", "port": "next", "to": "large" },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{ "from": "large", "port": "true", "to": "big" },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{ "from": "large", "port": "false", "to": "small" },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{ "from": "big", "port": "next", "to": "say" },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{ "from": "small", "port": "next", "to": "say" },Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{ "from": "say", "port": "next", "to": "done" }Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
]Zamknięcie struktury otwartej we wcześniejszych liniach.
}Zamknięcie struktury otwartej we wcześniejszych liniach.

Oczekiwany wynik: Odtworzony dokument przechodzi `to-krets`; wariant z błędem kończy się kodem 1 i diagnostyką z pozycją.

Typowy błąd: `from-krets -o` na istniejący plik bez `--force` — narzędzie nie nadpisze pliku użytkownika.

Instrukcja, wersje i zapisane wyniki →

Materiały źródłowe do tego tematu

Przeczytaj powiązane rozdziały. Kod i kontrakty zachowano z importu; historia źródeł jest dostępna przy każdym rozdziale.

KretFlow — zgodność i wersje / compatibility and versions

Polski

kretflow-ir/2 FROZEN_SUPPORTED_SUBSET; zmiana łamiąca → kretflow-ir/3.
Nowy blok = zmiana MINOR (polityka języka).
sdk-info: syntax: PROVISIONAL — rozbieżność z freeze.

Otwórz cały rozdział ze źródłem →

KretFlow — kody diagnostyczne / diagnostic codes

Kod / code	Polski
`KCS-FLW-0001…0004`	zła postać, powtórzenie, nieznany blok, zły port
`KCS-FLW-0005 / 0006 / 0007`	wyzwalacz / niedozwolony cykl / nieosiągalny blok (ostrzeżenie)
`KCS-FLW-0010`	funkcje ochronne
`KCS-FLW-0013 / 0014`	błąd wyrażenia / zmienna (także SDK-D01)
`KCS-FLW-0015`	graf niestrukturalny (nie da się zapisać jako kod)
`KCS-FLW-0020`	konstrukcja zachowana w bloku `code` (informacja)

Format: kret-diagnostics/1 (kod, plik, wiersz, kolumna, zakres) / (code, file, line, column, range).

Otwórz cały rozdział ze źródłem →

KretFlow — bezpieczeństwo / security

Polski

Przepływ kompiluje się do tego samego weryfikowanego bytecode co KretS i podlega tym samym limitom.
kret flow run w narzędziu: host pozwala wyłącznie na dziennik.
Przepływ nie może być podłączony do funkcji ochronnych.

Otwórz cały rozdział ze źródłem →

KretFlow — rozwiązywanie problemów / troubleshooting

Problem (PL)	Rozwiązanie (PL)
`KCS-FLW-0013` przy `kret flow run`	dodaj `--module Script/<Moduł>.krs` albo uruchom przepływ jako moduł KretS pluginu
`from-krets` nie zapisuje pliku	plik istnieje — użyj `--force` albo innej ścieżki `-o`

Otwórz cały rozdział ze źródłem →

KretFlow — samouczek ADVANCED

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

Cel: integracja z Core i innymi językami, KretDB, bezpieczny dostęp do API, pluginy, stan, testy, diagnostyka, uprawnienia.

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. Synchronizacja kod ⇄ graf i diagnostyka przepływu (`KRETFLOW-A01-RoundTripAndErrors`)

Projekt: ../../Examples/ADVANCED_RoundTripAndErrors/ · klasyfikacja VALIDATION_ONLY · Playground LOCAL_VALIDATE

Kroki (katalog roboczy: katalog przykładu):

kret flow from-krets Flow/Restock.krs --previous Flow/Restock.kflow -o {OUT}/Restock.kflow
kret flow to-krets {OUT}/Restock.kflow — w wyniku: Orders.price
kret check bad-call --json — oczekiwany błąd — w wyniku: "succeeded": false

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

Otwórz cały rozdział ze źródłem →

Ćwiczenie i sprawdzenie wiedzy

W RoundTripAndErrors porównaj poprawny i niepoprawny przypadek. Wypisz niezmienniki struktury, które można sprawdzić bez wykonania programu.

Twoje wyjaśnienie lub rozwiązanie — prywatny szkic na tej stronieSzkic nie jest wysyłany na serwer i znika po opuszczeniu lekcji. Przed wyjściem możesz go skopiować.

Podpowiedzi

KretFlow zapisuje logikę jako graf bloków (JSON, `kretflow-ir/2`). **Nie ma osobnego silnika przepływów**: graf jest obniżany do automatu stanów w KretS, kompilowany zwykłym kompilatorem i wykonywany przez tę samą maszynę, z tymi samymi uprawnieniami i limitami. Nazwa „KretFollow” nie występuje w żadnym źródle — to literówka, nie nazwa historyczna.
Odczytaj ograniczenia i oczekiwane błędy z dostarczonego samouczka; check i run są oddzielnymi krokami.

Omówienie rozwiązania

Odpowiedź oprzyj na pokazanym kodzie i rozdziale źródłowym. Round-trip służy do sprawdzania zachowania struktury w obsługiwanym zakresie. Oczekiwany błąd niepoprawnej krawędzi lub konstrukcji jest częścią testu. Szkic grafu w edytorze WWW jest innym formatem i nie może udawać kompilacji kretflow-ir/2.

Podsumowanie i następny krok

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

Czego się nauczysz

Wyjaśnienie krok po kroku

Praca z kodem źródłowym

Synchronizacja kod ⇄ graf i diagnostyka przepływu

Materiały źródłowe do tego tematu

KretFlow — zgodność i wersje / compatibility and versions

Polski

KretFlow — kody diagnostyczne / diagnostic codes

KretFlow — bezpieczeństwo / security

Polski

KretFlow — rozwiązywanie problemów / troubleshooting

KretFlow — samouczek ADVANCED

1. Synchronizacja kod ⇄ graf i diagnostyka przepływu (KRETFLOW-A01-RoundTripAndErrors)

Ćwiczenie i sprawdzenie wiedzy

Podsumowanie i następny krok

1. Synchronizacja kod ⇄ graf i diagnostyka przepływu (`KRETFLOW-A01-RoundTripAndErrors`)