KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ
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`.
Witryna nie wykonuje kodu ani nie prowadzi walidacji SDK. Wyniki poniżej pochodzą z eksportu określonej wersji i przestają opisywać kod po jego zmianie.
Kanoniczne pliki projektu
{
"format": "kretflow-ir/2",
"name": "Restock",
"variables": [
{ "name": "stock", "type": "Int64", "initial": "2" },
{ "name": "ordered", "type": "Int64", "initial": "0" },
{ "name": "cost", "type": "Int64", "initial": "0" },
{ "name": "note", "type": "String", "initial": "\"\"" }
],
"nodes": [
{ "id": "start", "kind": "trigger", "event": "stock.low", "position": { "x": 40, "y": 40 } },
{ "id": "enough", "kind": "loop", "expression": "stock < 10", "position": { "x": 200, "y": 40 } },
{ "id": "order", "kind": "assign", "variable": "ordered", "expression": "ordered + 4", "position": { "x": 360, "y": 0 } },
{ "id": "deliver", "kind": "assign", "variable": "stock", "expression": "stock + 4", "position": { "x": 520, "y": 0 } },
{ "id": "price", "kind": "action", "variable": "cost", "call": "Orders.price", "arguments": ["ordered"], "position": { "x": 360, "y": 120 } },
{ "id": "large", "kind": "condition", "expression": "cost > 100", "position": { "x": 520, "y": 120 } },
{ "id": "big", "kind": "assign", "variable": "note", "expression": "\"duże zamówienie\"", "position": { "x": 680, "y": 80 } },
{ "id": "small", "kind": "assign", "variable": "note", "expression": "\"zwykłe zamówienie\"", "position": { "x": 680, "y": 160 } },
{ "id": "say", "kind": "action", "call": "log.info", "arguments": ["note + \": \" + toString(ordered) + \" szt.\""], "position": { "x": 840, "y": 120 } },
{ "id": "done", "kind": "end", "expression": "note + \", sztuk: \" + toString(ordered) + \", koszt: \" + toString(cost)", "position": { "x": 1000, "y": 120 } }
],
"edges": [
{ "from": "start", "port": "next", "to": "enough" },
{ "from": "enough", "port": "body", "to": "order" },
{ "from": "order", "port": "next", "to": "deliver" },
{ "from": "deliver", "port": "next", "to": "enough" },
{ "from": "enough", "port": "done", "to": "price" },
{ "from": "price", "port": "next", "to": "large" },
{ "from": "large", "port": "true", "to": "big" },
{ "from": "large", "port": "false", "to": "small" },
{ "from": "big", "port": "next", "to": "say" },
{ "from": "small", "port": "next", "to": "say" },
{ "from": "say", "port": "next", "to": "done" }
]
}
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.
Wynik i typowy błąd
Odtworzony dokument przechodzi `to-krets`; wariant z błędem kończy się kodem 1 i diagnostyką z pozycją.
`from-krets -o` na istniejący plik bez `--force` — narzędzie nie nadpisze pliku użytkownika.
Wymagania wersji i procedura lokalna
- sdk
- 1.0.0-rc.3+kret.local.3
- sdkInfoReports
- 1.0.0-rc.3
- core
- 1.0.0-test.6.11-draft.1
- os
- Windows 11 x64
- dotnet
- .NET 10 runtime
Polecenia poniżej są instrukcją do samodzielnego wykonania z właściwym lokalnym SDK. DATA/OUT muszą wskazywać nowe katalogi testowe. Nie ma przycisku uruchamiania na serwerze.
- from-krets
kret flow from-krets Flow/Restock.krs --previous Flow/Restock.kflow -o {OUT}/Restock.kflowKatalog: project · Oczekiwany kod wyjścia: 0 - to-krets-again
kret flow to-krets {OUT}/Restock.kflowKatalog: project · Oczekiwany kod wyjścia: 0 - bad-call
kret check bad-call --jsonKatalog: project · Oczekiwany kod wyjścia: 1
Wyniki zapisane w pakiecie źródłowym
To dowód z eksportu, nie wynik bieżącego wykonania w przeglądarce.
# EXPECTED_OUTPUT — KRETFLOW-A01-RoundTripAndErrors
# Rzeczywisty wynik uruchomienia (SDK 1.0.0-rc.3+kret.local.3, 2026-11-01T12:46:28Z). Ścieżki zastąpione znacznikami <project>, <data>, <out>, <sdk>.
# Actual output of the run. Paths replaced by placeholders.
### 1. from-krets (exit 0, PASS)
> kret flow from-krets Flow/Restock.krs --previous Flow/Restock.kflow -o {OUT}/Restock.kflow
zapisano <out>/Restock.kflow (10 bloków)
### 2. to-krets-again (exit 0, PASS)
> kret flow to-krets {OUT}/Restock.kflow
module Restock
fn Run() -> String {
var error: String = ""
var stock: Int64 = 2
var ordered: Int64 = 0
var cost: Int64 = 0
var note: String = ""
// @trigger stock.low // @flow start
while stock < 10 { // @flow enough
ordered = ordered + 4 // @flow order
stock = stock + 4 // @flow deliver
}
cost = Orders.price(ordered) // @flow price
if cost > 100 { // @flow large
note = "duże zamówienie" // @flow big
} else {
note = "zwykłe zamówienie" // @flow small
}
log.info(note + ": " + toString(ordered) + " szt.") // @flow say
return note + ", sztuk: " + toString(ordered) + ", koszt: " + toString(cost) // @flow done
}
### 3. bad-call (exit 1, PASS)
> kret check bad-call --json
{
"format": "kret-diagnostics/1",
"project": "<project>\\bad-call",
"succeeded": false,
"plugin": {
"id": "LOCAL-KPL-FLA2SYNC",
"name": "FlowSyncAndErrors",
"version": "1.0.0",
"profile": "standard",
"database": false
},
"permissions": {
"required": [
"logs.own.write"
],
"optional": []
},
"handlers": {
"lifecycle": [
"start",
"shutdown"
],
"events": [],
"commands": []
},
"diagnostics": [
{
"file": "<project>\\bad-call\\Flow\\Restock.kflow",
"line": 1,
"column": 1,
"endLine": 1,
"endColumn": 1,
"severity": "error",
"code": "KCS-FLW-0013",
"message": "[price] modu\u0142 Orders nie ma funkcji noSuchFunction (KCS-KRS-1003)"
}
]
}
Czytanie kodu linia po linii
Objaśnienia struktury nie są walidacją semantyczną. Szczegółowy kontrakt opisują referencje i README przykładu.
# EXPECTED_OUTPUT — KRETFLOW-A01-RoundTripAndErrorsOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.# Rzeczywisty wynik uruchomienia (SDK 1.0.0-rc.3+kret.local.3, 2026-11-01T12:46:28Z). Ścieżki zastąpione znacznikami <project>, <data>, <out>, <sdk>.Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.# Actual output of the run. Paths replaced by placeholders.Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.Pusta linia oddziela fragmenty źródła.### 1. from-krets (exit 0, PASS)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.> kret flow from-krets Flow/Restock.krs --previous Flow/Restock.kflow -o {OUT}/Restock.kflowOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.zapisano <out>/Restock.kflow (10 bloków)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.Pusta linia oddziela fragmenty źródła.### 2. to-krets-again (exit 0, PASS)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.> kret flow to-krets {OUT}/Restock.kflowOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.module RestockDeklaracja modułu KretS; porównaj nazwę z nazwą pliku.fn Run() -> String {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.var error: String = ""Wiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.var stock: Int64 = 2Wiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.var ordered: Int64 = 0Wiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.var cost: Int64 = 0Wiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.var note: String = ""Wiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.// @trigger stock.low // @flow startKomentarz autora; nie jest wykonywany.while stock < 10 { // @flow enoughSterowanie lub obsługa błędu KretS; szczegóły określa referencja tej konstrukcji.ordered = ordered + 4 // @flow orderOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.stock = stock + 4 // @flow deliverOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.}Zamknięcie struktury otwartej we wcześniejszych liniach.cost = Orders.price(ordered) // @flow priceOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.if cost > 100 { // @flow largeSterowanie lub obsługa błędu KretS; szczegóły określa referencja tej konstrukcji.note = "duże zamówienie" // @flow bigOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.} else {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.note = "zwykłe zamówienie" // @flow smallOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.}Zamknięcie struktury otwartej we wcześniejszych liniach.log.info(note + ": " + toString(ordered) + " szt.") // @flow sayOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.return note + ", sztuk: " + toString(ordered) + ", koszt: " + toString(cost) // @flow doneZwrócenie wartości z funkcji; nie jest zapisem do dziennika.}Zamknięcie struktury otwartej we wcześniejszych liniach.Pusta linia oddziela fragmenty źródła.### 3. bad-call (exit 1, PASS)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.> kret check bad-call --jsonOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."format": "kret-diagnostics/1",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."project": "<project>\\bad-call",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."succeeded": false,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."plugin": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."id": "LOCAL-KPL-FLA2SYNC",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."name": "FlowSyncAndErrors",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."version": "1.0.0",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."profile": "standard",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."database": falsePole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.},Zamknięcie struktury otwartej we wcześniejszych liniach."permissions": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."required": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."logs.own.write"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.],Zamknięcie struktury otwartej we wcześniejszych liniach."optional": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.},Zamknięcie struktury otwartej we wcześniejszych liniach."handlers": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."lifecycle": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."start",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."shutdown"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.],Zamknięcie struktury otwartej we wcześniejszych liniach."events": [],Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."commands": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.},Zamknięcie struktury otwartej we wcześniejszych liniach."diagnostics": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."file": "<project>\\bad-call\\Flow\\Restock.kflow",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."line": 1,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."column": 1,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."endLine": 1,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."endColumn": 1,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."severity": "error",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."code": "KCS-FLW-0013",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."message": "[price] modu\u0142 Orders nie ma funkcji noSuchFunction (KCS-KRS-1003)"Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.}Zamknięcie struktury otwartej we wcześniejszych liniach.]Zamknięcie struktury otwartej we wcześniejszych liniach.}Zamknięcie struktury otwartej we wcześniejszych liniach.Pusta linia oddziela fragmenty źródła.Pusta linia oddziela fragmenty źródła.
Diagnostyka i raporty testów
{
"format": "kretos-web-playground-diagnostics/1",
"exampleId": "KRETFLOW-A01-RoundTripAndErrors",
"sdk": "1.0.0-rc.3+kret.local.3",
"origin": "PRECOMPUTED",
"diagnostics": [
{
"id": "diag.KRETFLOW-A01-RoundTripAndErrors.3.1",
"exampleId": "KRETFLOW-A01-RoundTripAndErrors",
"step": 3,
"stepName": "bad-call",
"command": "kret check bad-call --json",
"exitCode": 1,
"file": "bad-call/Flow/Restock.kflow",
"line": 1,
"column": 1,
"endLine": 1,
"endColumn": 1,
"severity": "error",
"code": "KCS-FLW-0013",
"message": "[price] moduł Orders nie ma funkcji noSuchFunction (KCS-KRS-1003)",
"origin": "PRECOMPUTED (kret check, SDK 1.0.0-rc.3+kret.local.3)"
}
]
}
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": "kretos-web-playground-diagnostics/1",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."exampleId": "KRETFLOW-A01-RoundTripAndErrors",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."sdk": "1.0.0-rc.3+kret.local.3",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."origin": "PRECOMPUTED",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."diagnostics": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."id": "diag.KRETFLOW-A01-RoundTripAndErrors.3.1",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."exampleId": "KRETFLOW-A01-RoundTripAndErrors",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."step": 3,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."stepName": "bad-call",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."command": "kret check bad-call --json",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."exitCode": 1,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."file": "bad-call/Flow/Restock.kflow",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."line": 1,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."column": 1,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."endLine": 1,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."endColumn": 1,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."severity": "error",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."code": "KCS-FLW-0013",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."message": "[price] moduł Orders nie ma funkcji noSuchFunction (KCS-KRS-1003)",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."origin": "PRECOMPUTED (kret check, SDK 1.0.0-rc.3+kret.local.3)"Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.}Zamknięcie struktury otwartej we wcześniejszych liniach.]Zamknięcie struktury otwartej we wcześniejszych liniach.}Zamknięcie struktury otwartej we wcześniejszych liniach.
Graf KretFlow — dane źródłowe
{
"format": "kretflow-ir/2",
"name": "Restock",
"variables": [
{
"name": "stock",
"type": "Int64",
"initial": "2"
},
{
"name": "ordered",
"type": "Int64",
"initial": "0"
},
{
"name": "cost",
"type": "Int64",
"initial": "0"
},
{
"name": "note",
"type": "String",
"initial": "\"\""
}
],
"nodes": [
{
"id": "start",
"kind": "trigger",
"event": "stock.low",
"position": {
"x": 40,
"y": 40
}
},
{
"id": "enough",
"kind": "loop",
"expression": "stock < 10",
"position": {
"x": 200,
"y": 40
}
},
{
"id": "order",
"kind": "assign",
"variable": "ordered",
"expression": "ordered + 4",
"position": {
"x": 360,
"y": 0
}
},
{
"id": "deliver",
"kind": "assign",
"variable": "stock",
"expression": "stock + 4",
"position": {
"x": 520,
"y": 0
}
},
{
"id": "price",
"kind": "action",
"variable": "cost",
"call": "Orders.price",
"arguments": [
"ordered"
],
"position": {
"x": 360,
"y": 120
}
},
{
"id": "large",
"kind": "condition",
"expression": "cost > 100",
"position": {
"x": 520,
"y": 120
}
},
{
"id": "big",
"kind": "assign",
"variable": "note",
"expression": "\"duże zamówienie\"",
"position": {
"x": 680,
"y": 80
}
},
{
"id": "small",
"kind": "assign",
"variable": "note",
"expression": "\"zwykłe zamówienie\"",
"position": {
"x": 680,
"y": 160
}
},
{
"id": "say",
"kind": "action",
"call": "log.info",
"arguments": [
"note + \": \" + toString(ordered) + \" szt.\""
],
"position": {
"x": 840,
"y": 120
}
},
{
"id": "done",
"kind": "end",
"expression": "note + \", sztuk: \" + toString(ordered) + \", koszt: \" + toString(cost)",
"position": {
"x": 1000,
"y": 120
}
}
],
"edges": [
{
"from": "start",
"port": "next",
"to": "enough"
},
{
"from": "enough",
"port": "body",
"to": "order"
},
{
"from": "order",
"port": "next",
"to": "deliver"
},
{
"from": "deliver",
"port": "next",
"to": "enough"
},
{
"from": "enough",
"port": "done",
"to": "price"
},
{
"from": "price",
"port": "next",
"to": "large"
},
{
"from": "large",
"port": "true",
"to": "big"
},
{
"from": "large",
"port": "false",
"to": "small"
},
{
"from": "big",
"port": "next",
"to": "say"
},
{
"from": "small",
"port": "next",
"to": "say"
},
{
"from": "say",
"port": "next",
"to": "done"
}
]
}
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.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."name": "stock",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."type": "Int64",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."initial": "2"Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.},Zamknięcie struktury otwartej we wcześniejszych liniach.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."name": "ordered",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."type": "Int64",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."initial": "0"Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.},Zamknięcie struktury otwartej we wcześniejszych liniach.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."name": "cost",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."type": "Int64",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."initial": "0"Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.},Zamknięcie struktury otwartej we wcześniejszych liniach.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."name": "note",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."type": "String",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."initial": "\"\""Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.}Zamknięcie struktury otwartej we wcześniejszych liniach.],Zamknięcie struktury otwartej we wcześniejszych liniach."nodes": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."id": "start",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."kind": "trigger",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."event": "stock.low",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."position": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."x": 40,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."y": 40Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.}Zamknięcie struktury otwartej we wcześniejszych liniach.},Zamknięcie struktury otwartej we wcześniejszych liniach.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."id": "enough",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."kind": "loop",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."expression": "stock < 10",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."position": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."x": 200,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."y": 40Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.}Zamknięcie struktury otwartej we wcześniejszych liniach.},Zamknięcie struktury otwartej we wcześniejszych liniach.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."id": "order",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."kind": "assign",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."variable": "ordered",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."expression": "ordered + 4",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."position": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."x": 360,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."y": 0Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.}Zamknięcie struktury otwartej we wcześniejszych liniach.},Zamknięcie struktury otwartej we wcześniejszych liniach.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."id": "deliver",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."kind": "assign",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."variable": "stock",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."expression": "stock + 4",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."position": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."x": 520,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."y": 0Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.}Zamknięcie struktury otwartej we wcześniejszych liniach.},Zamknięcie struktury otwartej we wcześniejszych liniach.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."id": "price",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."kind": "action",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."variable": "cost",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."call": "Orders.price",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."arguments": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."ordered"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.],Zamknięcie struktury otwartej we wcześniejszych liniach."position": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."x": 360,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."y": 120Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.}Zamknięcie struktury otwartej we wcześniejszych liniach.},Zamknięcie struktury otwartej we wcześniejszych liniach.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."id": "large",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."kind": "condition",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."expression": "cost > 100",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."position": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."x": 520,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."y": 120Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.}Zamknięcie struktury otwartej we wcześniejszych liniach.},Zamknięcie struktury otwartej we wcześniejszych liniach.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."id": "big",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."kind": "assign",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."variable": "note",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."expression": "\"duże zamówienie\"",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."position": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."x": 680,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."y": 80Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.}Zamknięcie struktury otwartej we wcześniejszych liniach.},Zamknięcie struktury otwartej we wcześniejszych liniach.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."id": "small",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."kind": "assign",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."variable": "note",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."expression": "\"zwykłe zamówienie\"",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."position": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."x": 680,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."y": 160Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.}Zamknięcie struktury otwartej we wcześniejszych liniach.},Zamknięcie struktury otwartej we wcześniejszych liniach.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."id": "say",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."kind": "action",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."call": "log.info",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."arguments": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."note + \": \" + toString(ordered) + \" szt.\""Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.],Zamknięcie struktury otwartej we wcześniejszych liniach."position": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."x": 840,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."y": 120Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.}Zamknięcie struktury otwartej we wcześniejszych liniach.},Zamknięcie struktury otwartej we wcześniejszych liniach.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."id": "done",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."kind": "end",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."expression": "note + \", sztuk: \" + toString(ordered) + \", koszt: \" + toString(cost)",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."position": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."x": 1000,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."y": 120Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.}Zamknięcie struktury otwartej we wcześniejszych liniach.}Zamknięcie struktury otwartej we wcześniejszych liniach.],Zamknięcie struktury otwartej we wcześniejszych liniach."edges": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."from": "start",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."port": "next",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."to": "enough"Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.},Zamknięcie struktury otwartej we wcześniejszych liniach.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."from": "enough",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."port": "body",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."to": "order"Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.},Zamknięcie struktury otwartej we wcześniejszych liniach.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."from": "order",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."port": "next",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."to": "deliver"Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.},Zamknięcie struktury otwartej we wcześniejszych liniach.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."from": "deliver",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."port": "next",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."to": "enough"Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.},Zamknięcie struktury otwartej we wcześniejszych liniach.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."from": "enough",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."port": "done",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."to": "price"Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.},Zamknięcie struktury otwartej we wcześniejszych liniach.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."from": "price",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."port": "next",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."to": "large"Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.},Zamknięcie struktury otwartej we wcześniejszych liniach.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."from": "large",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."port": "true",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."to": "big"Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.},Zamknięcie struktury otwartej we wcześniejszych liniach.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."from": "large",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."port": "false",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."to": "small"Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.},Zamknięcie struktury otwartej we wcześniejszych liniach.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."from": "big",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."port": "next",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."to": "say"Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.},Zamknięcie struktury otwartej we wcześniejszych liniach.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."from": "small",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."port": "next",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."to": "say"Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.},Zamknięcie struktury otwartej we wcześniejszych liniach.{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej."from": "say",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."port": "next",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku."to": "done"Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.}Zamknięcie struktury otwartej we wcześniejszych liniach.]Zamknięcie struktury otwartej we wcześniejszych liniach.}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pochodzenie i integralność
KRET_LANGUAGE_KRETFLOW.zip:KretFlow/Examples/ADVANCED_RoundTripAndErrors/example.json
02_PLAYGROUND/EXAMPLES/KRETFLOW-A01-RoundTripAndErrors.json
SHA-256 A2093EC337340D90A1D5AC4BC13DCCAD0197D82FCDE8DB3DE0FE1093C4770723Materiał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-A01-RoundTripAndErrors — Synchronizacja kod ⇄ graf i diagnostyka przepływu
KRETFLOW-A01-RoundTripAndErrors — Synchronizacja kod ⇄ graf i diagnostyka przepływu
🇬🇧 English version below.
| Pole | Wartość |
|---|---|
| Technologia | KretFlow |
| Poziom | ADVANCED |
| Klasyfikacja | VALIDATION_ONLY — Tylko walidacja (bez wykonania) |
| Playground | LOCAL_VALIDATE — lokalnie: walidacja (kret check, lokalny walidator Playground) |
| SDK | 1.0.0-rc.3+kret.local.3 (kandydat lokalny, niepodpisany) |
| Wynik testu | TEST_RESULTS.json, rzeczywisty wynik: EXPECTED_OUTPUT.txt |
Co pokazuje
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.
Pliki
| Plik |
|---|
Flow/Restock.kflow |
Flow/Restock.krs |
Script/Main.krs |
Script/Orders.krs |
bad-call/Flow/Restock.kflow |
bad-call/Flow/Restock.krs |
bad-call/Script/Main.krs |
bad-call/Script/Orders.krs |
bad-call/host-policy.json |
bad-call/plugin.kretl |
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 flow from-krets Flow/Restock.krs --previous Flow/Restock.kflow -o {OUT}/Restock.kflow— kod → graf (z położeniami bloków)kret flow to-krets {OUT}/Restock.kflow— graf → kod jeszcze razkret check bad-call --json— nieistniejąca funkcja w blokuaction(oczekiwany błąd)
Oczekiwany wynik
Odtworzony dokument przechodzi to-krets; wariant z błędem kończy się kodem 1 i diagnostyką z pozycją.
Najczęstszy błąd
from-krets -o na istniejący plik bez --force — narzędzie nie nadpisze pliku użytkownika.
Zaloguj się na konto użytkownika, aby zapisywać postęp i zakładki. Konta obsługi mogą czytać bez zapisu postępu. Logowanie →