KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ

Pierwszy widok KretUI

BASICRUNNABLE_LOCALKretUI

Widok `view` z tytułem, stanem (`state`), tekstem z podstawieniem `{licznik}` i przyciskiem, który zmienia stan lokalnie (`set`). Bez logiki KretS — interfejs nie ma żadnych uprawnień. Renderer SDK rysuje prawdziwą klatkę PNG (`--self-test`).

Edycja i zapisane wyniki

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.

Pobierz źródła JSON Otwórz w Playground

Kanoniczne pliki projektu

Plik

1module Main
2
3fn Start() {
4}
5
6fn Shutdown() {
7}
8

Czytanie kodu linia po linii

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

module MainDeklaracja modułu KretS; porównaj nazwę z nazwą pliku.
Pusta linia oddziela fragmenty źródła.
fn Start() {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
fn Shutdown() {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.

Wynik i typowy błąd

Lista widoków zawiera `Hello`; self-test kończy się kodem 0 i zapisuje klatkę z tekstem „Dziękuję!…”.

Na co uważać

Komponent spoza listy renderera (`tooltip`, `menu`, `contextMenu`, `chart`) → `KCS-KUI-0107` (NOT_SUPPORTED w KretUI 1.0).

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.

checkkret check . --jsonKatalog: project · Oczekiwany kod wyjścia: 0
list-viewskretui-host . --list-viewsKatalog: project · Oczekiwany kod wyjścia: 0
self-testkretui-host . --self-test {OUT}/frame --data {DATA} --policy host-policy.json --click 0/3Katalog: project · Oczekiwany kod wyjścia: 0

Wyniki zapisane w pakiecie źródłowym

To dowód z eksportu, nie wynik bieżącego wykonania w przeglądarce.

Plik

1# EXPECTED_OUTPUT — KRETUI-B01-HelloView
2# Rzeczywisty wynik uruchomienia (SDK 1.0.0-rc.3+kret.local.3, 2026-11-01T12:46:46Z). Ścieżki zastąpione znacznikami <project>, <data>, <out>, <sdk>.
3# Actual output of the run. Paths replaced by placeholders.
4
5### 1. check  (exit 0, PASS)
6> kret check . --json
7{
8  "format": "kret-diagnostics/1",
9  "project": "<project>",
10  "succeeded": true,
11  "plugin": {
12    "id": "LOCAL-KPL-UXB2VEWS",
13    "name": "HelloView",
14    "version": "1.0.0",
15    "profile": "standard",
16    "database": false
17  },
18  "permissions": {
19    "required": [],
20    "optional": []
21  },
22  "handlers": {
23    "lifecycle": [
24      "start",
25      "shutdown"
26    ],
27    "events": [],
28    "commands": []
29  },
30  "diagnostics": []
31}
32
33### 2. list-views  (exit 0, PASS)
34> kretui-host . --list-views
35{"format":"kretui-views/1","project":"<project>","ok":true,"hasManifest":true,"views":[{"name":"Hello","title":"Witaj w KretUI","width":420,"height":240,"file":"Ui/Hello.kretui","line":3,"column":1,"states":[{"name":"greeted","type":"Bool"}],"actions":[]}],"diagnostics":[]}
36
37### 3. self-test  (exit 0, PASS)
38> kretui-host . --self-test {OUT}/frame --data {DATA} --policy host-policy.json --click 0/3
39widok Hello; logika: izolowany proces pluginu LOCAL-KPL-UXB2VEWS (pid 39572)
40test własny: OK; wyniki: <out>\frame
41
42[checkFile {OUT}/frame/self-test.json]
43{
44  "format": "kretui-self-test/1",
45  "view": "Hello",
46  "title": "Witaj w KretUI",
47  "logic": "isolated-process",
48  "pluginProcessId": 39572,
49  "hostProcessId": 34408,
50  "size": "compact",
51  "width": 420,
52  "height": 240,
53  "ok": true,
54  "failures": [],
55  "actions": [
56    {
57      "ok": true,
58      "code": "",
59      "message": ""
60    }
61  ],
62  "state": {
63    "greeted": true
64  },
65  "controls": [
66    {
67      "path": "0",
68      "type": "column",
69      "name": "",
70      "enabled": true,
71      "control": "StackPanel",
72      "bounds": [
73        0,
74        0,
75        420,
76        216
77      ]
78    },
79    {
80      "path": "0/0",
81      "type": "text",
82      "id": "intro",
83      "name": "Interfejs opisany w pliku .kretui.",
84      "enabled": true,
85      "control": "TextBlock",
86      "bounds": [
87        0,
88        0,
89        420,
90        19
91      ]
92    },
93    {
94      "path": "0/2",
95      "type": "text",
96      "name": "Dzi\u0119kuj\u0119! Stan zmieni\u0142 si\u0119 lokalnie.",
97      "enabled": true,
98      "control": "TextBlock",
99      "bounds": [
100        0,
101        19,
102        420,
103        19
104      ]
105    },
106    {
107      "path": "0/3",
108      "type": "button",
109      "name": "Przywitaj si\u0119",
110      "enabled": true,
111      "control": "Button",
112      "bounds": [
113        0,
114        38,
115        420,
116        32
117      ]
118    }
119  ],
120  "pluginLog": [],
121  "hostCalls": 0,
122  "denials": 0
123}
124
125

Czytanie kodu linia po linii

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

# EXPECTED_OUTPUT — KRETUI-B01-HelloViewOdczytaj 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:46Z). Ś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. check (exit 0, PASS)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
> kret check . --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>",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"succeeded": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"plugin": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"id": "LOCAL-KPL-UXB2VEWS",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"name": "HelloView",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.
"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.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
### 2. list-views (exit 0, PASS)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
> kretui-host . --list-viewsOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
{"format":"kretui-views/1","project":"<project>","ok":true,"hasManifest":true,"views":[{"name":"Hello","title":"Witaj w KretUI","width":420,"height":240,"file":"Ui/Hello.kretui","line":3,"column":1,"states":[{"name":"greeted","type":"Bool"}],"actions":[]}],"diagnostics":[]}Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
Pusta linia oddziela fragmenty źródła.
### 3. self-test (exit 0, PASS)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
> kretui-host . --self-test {OUT}/frame --data {DATA} --policy host-policy.json --click 0/3Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
widok Hello; logika: izolowany proces pluginu LOCAL-KPL-UXB2VEWS (pid 39572)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
test własny: OK; wyniki: <out>\frameOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
Pusta linia oddziela fragmenty źródła.
[checkFile {OUT}/frame/self-test.json]Odczytaj 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": "kretui-self-test/1",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"view": "Hello",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"title": "Witaj w KretUI",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"logic": "isolated-process",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pluginProcessId": 39572,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"hostProcessId": 34408,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"size": "compact",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"width": 420,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"height": 240,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"ok": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"failures": [],Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"actions": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"ok": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"code": "",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"message": ""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.
"state": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"greeted": truePole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"controls": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"path": "0",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"type": "column",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"name": "",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"enabled": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"control": "StackPanel",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"bounds": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
0,Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
0,Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
420,Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
216Odczytaj 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.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"path": "0/0",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"type": "text",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"id": "intro",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"name": "Interfejs opisany w pliku .kretui.",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"enabled": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"control": "TextBlock",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"bounds": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
0,Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
0,Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
420,Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
19Odczytaj 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.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"path": "0/2",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"type": "text",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"name": "Dzi\u0119kuj\u0119! Stan zmieni\u0142 si\u0119 lokalnie.",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"enabled": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"control": "TextBlock",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"bounds": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
0,Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
19,Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
420,Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
19Odczytaj 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.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"path": "0/3",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"type": "button",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"name": "Przywitaj si\u0119",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"enabled": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"control": "Button",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"bounds": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
0,Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
38,Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
420,Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
32Odczytaj 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.
],Zamknięcie struktury otwartej we wcześniejszych liniach.
"pluginLog": [],Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"hostCalls": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"denials": 0Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}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

Plik

1null

Czytanie kodu linia po linii

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

nullOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.

Zapisane podglądy KretUI

Pierwszy widok KretUI — Podgląd z eksportu — nie odświeża się po zmianie kodu.

Pochodzenie i integralność

KRET_LANGUAGE_KRETUI.zip:KretUI/Examples/BASIC_HelloView/example.json

02_PLAYGROUND/EXAMPLES/KRETUI-B01-HelloView.json
SHA-256 03C8D4FE3A02F2676A7EB462E56A0674DD47C695BC14241C8545B0F7F445CE63

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.

KRETUI-B01-HelloView — Pierwszy widok KretUI

🇬🇧 English version below.

Pole	Wartość
Technologia	KretUI
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

Widok view z tytułem, stanem (state), tekstem z podstawieniem {licznik} i przyciskiem, który zmienia stan lokalnie (set). Bez logiki KretS — interfejs nie ma żadnych uprawnień. Renderer SDK rysuje prawdziwą klatkę PNG (--self-test).

Pliki

Plik
`Script/Main.krs`
`Ui/Hello.kretui`
`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 wszystkich języków projektu
kretui-host . --list-views — lista widoków (EXPERIMENTAL kretui-views/1)
kretui-host . --self-test {OUT}/frame --data {DATA} --policy host-policy.json --click 0/3 — render bez okna + kliknięcie przycisku → frame.png, self-test.json

Oczekiwany wynik

Lista widoków zawiera Hello; self-test kończy się kodem 0 i zapisuje klatkę z tekstem „Dziękuję!…”.

Najczęstszy błąd

Komponent spoza listy renderera (tooltip, menu, contextMenu, chart) → KCS-KUI-0107 (NOT_SUPPORTED w KretUI 1.0).

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

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

Kanoniczne pliki projektu

Wynik i typowy błąd

Wymagania wersji i procedura lokalna

Wyniki zapisane w pakiecie źródłowym

Zapisane podglądy KretUI

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

KRETUI-B01-HelloView — Pierwszy widok KretUI

Co pokazuje

Pliki

Jak uruchomić

Oczekiwany wynik

Najczęstszy błąd

Powiązane lekcje