KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ

Klasy, interfejsy, dziedziczenie, generyki [2.0]

ADVANCEDRUNNABLE_LOCALKretS

Interfejs, klasa z konstruktorem `init`, dziedziczenie z `super(...)` i `override`, klasa generyczna `Pair<A, B>`, funkcja generyczna z ograniczeniem `T: Shape`, polimorfizm przez interfejs. Kod bazuje na oficjalnym przykładzie SDK `ObjectOriented`.

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
3interface Shape {
4    fn area() -> Int
5    fn name() -> String
6}
7
8class Rect : Shape {
9    width: Int
10    height: Int
11    init(width: Int, height: Int) {
12        this.width = width
13        this.height = height
14    }
15    fn area() -> Int {
16        return this.width * this.height
17    }
18    fn name() -> String {
19        return "prostokąt"
20    }
21}
22
23class Square : Rect {
24    init(side: Int) {
25        super(side, side)
26    }
27    override fn name() -> String {
28        return "kwadrat"
29    }
30}
31
32class Pair<A, B> {
33    first: A
34    second: B
35    init(first: A, second: B) {
36        this.first = first
37        this.second = second
38    }
39    fn swap() -> Pair<B, A> {
40        return Pair(this.second, this.first)
41    }
42}
43
44fn largest<T: Shape>(items: List<T>) -> T {
45    var best = items.get(0)
46    for item in items {
47        if item.area() > best.area() {
48            best = item
49        }
50    }
51    return best
52}
53
54fn Start() -> String {
55    let shapes: List<Shape> = [Rect(2, 3), Square(4), Rect(1, 10)]
56    let biggest = largest(shapes)
57    let pair = Pair("pole", biggest.area()).swap()
58    var kinds: List<String> = []
59    for s in shapes {
60        if s is Square {
61            kinds.add("Square")
62        } else {
63            kinds.add("Rect")
64        }
65    }
66    return biggest.name() + " " + toString(pair.first) + " (" + pair.second + "); typy: " + kinds.join(",")
67}
68
69fn Shutdown() {
70}
71

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.
interface Shape {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
fn area() -> IntSygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
fn name() -> StringSygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
class Rect : Shape {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
width: IntOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
height: IntOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
init(width: Int, height: Int) {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
this.width = widthOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
this.height = heightOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
fn area() -> Int {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
return this.width * this.heightZwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
fn name() -> String {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
return "prostokąt"Zwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
class Square : Rect {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
init(side: Int) {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
super(side, side)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
override fn name() -> String {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
return "kwadrat"Zwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
class Pair<A, B> {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
first: AOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
second: BOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
init(first: A, second: B) {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
this.first = firstOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
this.second = secondOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
fn swap() -> Pair<B, A> {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
return Pair(this.second, this.first)Zwrócenie wartości z funkcji; nie jest zapisem do dziennika.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
fn largest<T: Shape>(items: List<T>) -> T {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
var best = items.get(0)Wiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.
for item in items {Sterowanie lub obsługa błędu KretS; szczegóły określa referencja tej konstrukcji.
if item.area() > best.area() {Sterowanie lub obsługa błędu KretS; szczegóły określa referencja tej konstrukcji.
best = itemOdczytaj 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.
return bestZwró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.
fn Start() -> String {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
let shapes: List<Shape> = [Rect(2, 3), Square(4), Rect(1, 10)]Wiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.
let biggest = largest(shapes)Wiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.
let pair = Pair("pole", biggest.area()).swap()Wiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.
var kinds: List<String> = []Wiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.
for s in shapes {Sterowanie lub obsługa błędu KretS; szczegóły określa referencja tej konstrukcji.
if s is Square {Sterowanie lub obsługa błędu KretS; szczegóły określa referencja tej konstrukcji.
kinds.add("Square")Odczytaj 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.
kinds.add("Rect")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.
return biggest.name() + " " + toString(pair.first) + " (" + pair.second + "); typy: " + kinds.join(",")Zwró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.
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

„kwadrat 16 (pole); typy: Rect,Square,Rect” oraz listing bytecode z funkcją `Start`.

Na co uważać

Nadpisanie metody bez `override` albo próba przeciążenia funkcji (nazwy funkcji są unikalne) — błąd kompilacji.

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
runkret run . --policy host-policy.json --data {DATA}Katalog: project · Oczekiwany kod wyjścia: 0
disasmkret disasm .Katalog: 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 — KRETS-A01-ClassesInterfacesGenerics
2# Rzeczywisty wynik uruchomienia (SDK 1.0.0-rc.3+kret.local.3, 2026-11-01T12:46:37Z). Ś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-KSA2CLSS",
13    "name": "ClassesInterfacesGenerics",
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. run  (exit 0, PASS)
34> kret run . --policy host-policy.json --data {DATA}
35{
36  "broker": {
37    "pid": 16676,
38    "startupMs": 41.2346,
39    "pluginHostSha256": "93405d128c95234d913efcd6e28fe54073caa0375135a2184290f958e7f7cfe5",
40    "allowProvisionalRisk": false,
41    "memoryIdle": {
42      "managedBytes": 1193320,
43      "allocatedBytes": 1190680,
44      "workingSetBytes": 32530432,
45      "privateBytes": 10113024,
46      "peakWorkingSetBytes": 32530432,
47      "cpuMs": 93.75
48    }
49  },
50  "brokerWithPlugins": {
51    "memory": {
52      "managedBytes": 1540704,
53      "allocatedBytes": 1537584,
54      "workingSetBytes": 38834176,
55      "privateBytes": 13754368,
56      "peakWorkingSetBytes": 38862848,
57      "cpuMs": 187.5
58    }
59  },
60  "plugins": [
61    {
62      "package": "<project>\\Build",
63      "admitted": true,
64      "startMs": 141.8711,
65      "subject": "LOCAL-KPL-KSA2CLSS",
66      "instance": "01a19725-c2cd-7d68-9c34-73d3b839b71f",
67      "pid": 8304,
68      "jobObject": true,
69      "isolation": {
70        "level": "Restricted",
71        "restrictedToken": true,
72        "lowIntegrity": true,
73        "appContainer": false
74      },
75      "limits": {
76        "profile": "standard",
77        "scriptMemoryBytes": 67108864,
78        "processMemoryBytes": 201326592,
79        "cpuPercent": 25,
80        "maxInstructions": 50000000,
81        "clamped": []
82      },
83      "calls": [
84        {
85          "operation": "start",
86          "ok": true,
87          "status": "Completed",
88          "type": "String",
89          "value": "kwadrat 16 (pole); typy: Rect,Square,Rect",
90          "brokerMs": 13.4692,
91          "vmMs": 7.3544,
92          "instructions": 350,
93          "hostCalls": 0,
94          "pluginReportedMemory": {
95            "managedBytes": 792992,
96            "allocatedBytes": 790784,
97            "workingSetBytes": 32157696,
98            "privateBytes": 11137024,
99            "peakWorkingSetBytes": 32526336,
100            "cpuMs": 46.875
101          }
102        },
103        {
104          "operation": "shutdown",
105          "ok": true,
106          "status": "Completed",
107          "type": "Unit",
108          "value": null,
109          "brokerMs": 0.7775,
110          "vmMs": 0.0055,
111          "instructions": 1,
112          "hostCalls": 0,
113          "pluginReportedMemory": {
114            "managedBytes": 798576,
115            "allocatedBytes": 796344,
116            "workingSetBytes": 32280576,
117            "privateBytes": 11153408,
118            "peakWorkingSetBytes": 32526336,
119            "cpuMs": 46.875
120          }
121        }
122      ],
123      "processMemoryMeasuredByBroker": {
124        "workingSetBytes": 32272384,
125        "privateBytes": 11153408,
126        "peakWorkingSetBytes": 32526336,
127        "cpuMs": 78.125
128      },
129      "summary": {
130        "exitCode": 0,
131        "killed": false,
132        "hostCalls": 0,
133        "denials": 0,
134        "peakCommitBytes": 12046336,
135        "log": []
136      }
137    }
138  ],
139  "brokerAfterClose": {
140    "memory": {
141      "managedBytes": 584664,
142      "allocatedBytes": 1537584,
143      "workingSetBytes": 39948288,
144      "privateBytes": 14491648,
145      "peakWorkingSetBytes": 39948288,
146      "cpuMs": 187.5
147    }
148  },
149  "audit": {
150    "entries": 10,
151    "denials": 0,
152    "grantsIssued": 0,
153    "denied": []
154  },
155  "exitCode": 0
156}
157
158### 3. disasm  (exit 0, PASS)
159> kret disasm .
160module kretos.docs.krets.oop  ; strings=12 records=0 imports=0 functions=10
161
162fn #0 Main.Rect.area(Rect) -> Int64  ; locals=1 maxStack=2 code=24
163  ; wiersz 16
164  00000  Load 0
165  00003  GetFld 1 0
166  00008  UnboxI
167  00009  Load 0
168  00012  GetFld 1 1
169  00017  UnboxI
170  00018  MulI
171  00019  BoxI
172  00020  Ret
173  ; wiersz 17
174  00021  Trap 1
175
176fn #1 Main.Rect.name(Rect) -> String  ; locals=1 maxStack=1 code=7
177  ; wiersz 19
178  00000  ConstStr #0 "prostokąt"
179  00003  Ret
180  ; wiersz 20
181  00004  Trap 1
182
183fn #2 Main.Rect.$init(Rect, Int64, Int64) -> Unit  ; locals=5 maxStack=2 code=39
184  00000  Load 1
185  00003  UnboxI
186  00004  Store 3
187  00007  Load 2
188  00010  UnboxI
189  00011  Store 4
190  ; wiersz 12
191  00014  Load 0
192  00017  Load 3
193  00020  BoxI
194  00021  SetFld 1 0
195  ; wiersz 13
196  00026  Load 0
197  00029  Load 4
198  00032  BoxI
199  00033  SetFld 1 1
200  ; wiersz 14
201  00038  Ret
202
203fn #3 Main.Square.name(Square) -> String  ; locals=1 maxStack=1 code=7
204  ; wiersz 28
205  00000  ConstStr #1 "kwadrat"
206  00003  Ret
207  ; wiersz 29
208  00004  Trap 1
209
210fn #4 Main.Square.$init(Square, Int64) -> Unit  ; locals=3 maxStack=3 code=22
211  00000  Load 1
212  00003  UnboxI
213  00004  Store 2
214  ; wiersz 25
215  00007  Load 0
216  00010  Load 2
217  00013  BoxI
218  00014  Load 2
219  00017  BoxI
220  00018  Call #2 Main.Rect.$init
221  ; wiersz 26
222  00021  Ret
223
224fn #5 Main.Pair.swap(Pair) -> Pair<B, A>  ; locals=1 maxStack=4 code=27
225  ; wiersz 40
226  00000  NewObj 3
227  00003  Dup
228  00004  Load 0
229  00007  GetFld 3 1
230  00012  Load 0
231  00015  GetFld 3 0
232  00020  Call #6 Main.Pair.$init
233  00023  Ret
234  ; wiersz 41
235  00024  Trap 1
236
237fn #6 Main.Pair.$init(Pair, A, B) -> Unit  ; locals=3 maxStack=2 code=23
238  ; wiersz 36
239  00000  Load 0
240  00003  Load 1
241  00006  SetFld 3 0
242  ; wiersz 37
243  00011  Load 0
244  00014  Load 2
245  00017  SetFld 3 1
246  ; wiersz 38
247  00022  Ret
248
249fn #7 Main.largest(List<T>) -> T  ; locals=6 maxStack=2 code=108
250  ; wiersz 45
251  00000  Load 0
252  00003  ConstI8 0
253  00005  CallBuiltin listGet
254  00008  Store 1
255  ; wiersz 46
256  00011  Load 0
257  00014  Store 2
258  00017  Load 2
259  00020  CallBuiltin listSize
260  00023  Store 4
261  00026  ConstI8 0
262  00028  Store 3
263  00031  Load 3
264  00034  Load 4
265  00037  CmpI Lt
266  00039  JmpF -> 101
267  00044  Load 2
268  00047  Load 3
269  00050  CallBuiltin listGet
270  00053  Store 5
271  ; wiersz 47
272  00056  Load 5
273  00059  CallVirt area/0
274  00064  UnboxI
275  00065  Load 1
276  00068  CallVirt area/0
277  00073  UnboxI
278  00074  CmpI Gt
279  00076  JmpF -> 87
280  ; wiersz 48
281  00081  Load 5
282  00084  Store 1
283  00087  Load 3
284  00090  ConstI8 1
285  00092  AddI
286  00093  Store 3
287  00096  Jmp -> 31
288  ; wiersz 51
289  00101  Load 1
290  00104  Ret
291  ; wiersz 52
292  00105  Trap 1
293
294export fn #8 Main.Start() -> String  ; locals=8 maxStack=6 code=234
295  ; wiersz 55
296  00000  NewObj 1
297  00003  Dup
298  00004  ConstI8 2
299  00006  BoxI
300  00007  ConstI8 3
301  00009  BoxI
302  00010  Call #2 Main.Rect.$init
303  00013  NewObj 2
304  00016  Dup
305  00017  ConstI8 4
306  00019  BoxI
307  00020  Call #4 Main.Square.$init
308  00023  NewObj 1
309  00026  Dup
310  00027  ConstI8 1
311  00029  BoxI
312  00030  ConstI8 10
313  00032  BoxI
314  00033  Call #2 Main.Rect.$init
315  00036  NewList 3
316  00039  Store 0
317  ; wiersz 56
318  00042  Load 0
319  00045  Call #7 Main.largest
320  00048  Store 1
321  ; wiersz 57
322  00051  NewObj 3
323  00054  Dup
324  00055  ConstStr #3 "pole"
325  00058  Load 1
326  00061  CallVirt area/0
327  00066  UnboxI
328  00067  BoxI
329  00068  Call #6 Main.Pair.$init
330  00071  CallVirt swap/0
331  00076  Store 2
332  ; wiersz 58
333  00079  NewList 0
334  00082  Store 3
335  ; wiersz 59
336  00085  Load 0
337  00088  Store 4
338  00091  Load 4
339  00094  CallBuiltin listSize
340  00097  Store 6
341  00100  ConstI8 0
342  00102  Store 5
343  00105  Load 5
344  00108  Load 6
345  00111  CmpI Lt
346  00113  JmpF -> 178
347  00118  Load 4
348  00121  Load 5
349  00124  CallBuiltin listGet
350  00127  Store 7
351  ; wiersz 60
352  00130  Load 7
353  00133  IsClass 2
354  00136  JmpF -> 155
355  ; wiersz 61
356  00141  Load 3
357  00144  ConstStr #5 "Square"
358  00147  CallBuiltin listAdd
359  00150  Jmp -> 164
360  ; wiersz 63
361  00155  Load 3
362  00158  ConstStr #6 "Rect"
363  00161  CallBuiltin listAdd
364  00164  Load 5
365  00167  ConstI8 1
366  00169  AddI
367  00170  Store 5
368  00173  Jmp -> 105
369  ; wiersz 66
370  00178  Load 1
371  00181  CallVirt name/0
372  00186  ConstStr #8 " "
373  00189  Concat
374  00190  Load 2
375  00193  GetFld 3 0
376  00198  UnboxI
377  00199  CallBuiltin toStringI
378  00202  Concat
379  00203  ConstStr #9 " ("
380  00206  Concat
381  00207  Load 2
382  00210  GetFld 3 1
383  00215  Concat
384  00216  ConstStr #10 "); typy: "
385  00219  Concat
386  00220  Load 3
387  00223  ConstStr #11 ","
388  00226  CallBuiltin listJoin
389  00229  Concat
390  00230  Ret
391  ; wiersz 67
392  00231  Trap 1
393
394export fn #9 Main.Shutdown() -> Unit  ; locals=0 maxStack=0 code=1
395  ; wiersz 70
396  00000  Ret
397
398

Czytanie kodu linia po linii

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

# EXPECTED_OUTPUT — KRETS-A01-ClassesInterfacesGenericsOdczytaj 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:37Z). Ś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-KSA2CLSS",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"name": "ClassesInterfacesGenerics",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. run (exit 0, PASS)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
> kret run . --policy host-policy.json --data {DATA}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.
"broker": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pid": 16676,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"startupMs": 41.2346,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pluginHostSha256": "93405d128c95234d913efcd6e28fe54073caa0375135a2184290f958e7f7cfe5",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allowProvisionalRisk": false,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"memoryIdle": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"managedBytes": 1193320,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 1190680,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 32530432,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 10113024,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 32530432,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 93.75Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"brokerWithPlugins": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"memory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"managedBytes": 1540704,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 1537584,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 38834176,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 13754368,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 38862848,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 187.5Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"plugins": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"package": "<project>\\Build",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"admitted": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"startMs": 141.8711,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"subject": "LOCAL-KPL-KSA2CLSS",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"instance": "01a19725-c2cd-7d68-9c34-73d3b839b71f",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pid": 8304,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"jobObject": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"isolation": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"level": "Restricted",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"restrictedToken": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"lowIntegrity": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"appContainer": falsePole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"limits": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"profile": "standard",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"scriptMemoryBytes": 67108864,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"processMemoryBytes": 201326592,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuPercent": 25,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"maxInstructions": 50000000,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"clamped": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"calls": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
{Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
"operation": "start",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"ok": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"status": "Completed",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"type": "String",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"value": "kwadrat 16 (pole); typy: Rect,Square,Rect",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"brokerMs": 13.4692,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"vmMs": 7.3544,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"instructions": 350,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"hostCalls": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pluginReportedMemory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"managedBytes": 792992,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 790784,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 32157696,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 11137024,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 32526336,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 46.875Pole 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.
"operation": "shutdown",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"ok": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"status": "Completed",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"type": "Unit",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"value": null,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"brokerMs": 0.7775,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"vmMs": 0.0055,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"instructions": 1,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"hostCalls": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"pluginReportedMemory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"managedBytes": 798576,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 796344,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 32280576,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 11153408,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 32526336,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 46.875Pole 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.
"processMemoryMeasuredByBroker": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 32272384,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 11153408,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 32526336,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 78.125Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"summary": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"exitCode": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"killed": false,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"hostCalls": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"denials": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakCommitBytes": 12046336,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"log": []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.
"brokerAfterClose": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"memory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"managedBytes": 584664,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"allocatedBytes": 1537584,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"workingSetBytes": 39948288,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"privateBytes": 14491648,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"peakWorkingSetBytes": 39948288,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"cpuMs": 187.5Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"audit": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"entries": 10,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"denials": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"grantsIssued": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
"denied": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
},Zamknięcie struktury otwartej we wcześniejszych liniach.
"exitCode": 0Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
}Zamknięcie struktury otwartej we wcześniejszych liniach.
Pusta linia oddziela fragmenty źródła.
### 3. disasm (exit 0, PASS)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
> kret disasm .Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
module kretos.docs.krets.oop ; strings=12 records=0 imports=0 functions=10Deklaracja modułu KretS; porównaj nazwę z nazwą pliku.
Pusta linia oddziela fragmenty źródła.
fn #0 Main.Rect.area(Rect) -> Int64 ; locals=1 maxStack=2 code=24Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
; wiersz 16Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00000 Load 0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00003 GetFld 1 0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00008 UnboxIOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00009 Load 0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00012 GetFld 1 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00017 UnboxIOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00018 MulIOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00019 BoxIOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00020 RetOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 17Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00021 Trap 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
Pusta linia oddziela fragmenty źródła.
fn #1 Main.Rect.name(Rect) -> String ; locals=1 maxStack=1 code=7Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
; wiersz 19Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00000 ConstStr #0 "prostokąt"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00003 RetOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 20Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00004 Trap 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
Pusta linia oddziela fragmenty źródła.
fn #2 Main.Rect.$init(Rect, Int64, Int64) -> Unit ; locals=5 maxStack=2 code=39Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
00000 Load 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00003 UnboxIOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00004 Store 3Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00007 Load 2Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00010 UnboxIOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00011 Store 4Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 12Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00014 Load 0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00017 Load 3Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00020 BoxIOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00021 SetFld 1 0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 13Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00026 Load 0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00029 Load 4Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00032 BoxIOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00033 SetFld 1 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 14Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00038 RetOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
Pusta linia oddziela fragmenty źródła.
fn #3 Main.Square.name(Square) -> String ; locals=1 maxStack=1 code=7Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
; wiersz 28Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00000 ConstStr #1 "kwadrat"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00003 RetOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 29Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00004 Trap 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
Pusta linia oddziela fragmenty źródła.
fn #4 Main.Square.$init(Square, Int64) -> Unit ; locals=3 maxStack=3 code=22Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
00000 Load 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00003 UnboxIOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00004 Store 2Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 25Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00007 Load 0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00010 Load 2Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00013 BoxIOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00014 Load 2Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00017 BoxIOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00018 Call #2 Main.Rect.$initOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 26Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00021 RetOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
Pusta linia oddziela fragmenty źródła.
fn #5 Main.Pair.swap(Pair) -> Pair<B, A> ; locals=1 maxStack=4 code=27Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
; wiersz 40Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00000 NewObj 3Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00003 DupOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00004 Load 0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00007 GetFld 3 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00012 Load 0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00015 GetFld 3 0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00020 Call #6 Main.Pair.$initOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00023 RetOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 41Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00024 Trap 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
Pusta linia oddziela fragmenty źródła.
fn #6 Main.Pair.$init(Pair, A, B) -> Unit ; locals=3 maxStack=2 code=23Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
; wiersz 36Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00000 Load 0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00003 Load 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00006 SetFld 3 0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 37Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00011 Load 0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00014 Load 2Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00017 SetFld 3 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 38Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00022 RetOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
Pusta linia oddziela fragmenty źródła.
fn #7 Main.largest(List<T>) -> T ; locals=6 maxStack=2 code=108Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
; wiersz 45Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00000 Load 0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00003 ConstI8 0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00005 CallBuiltin listGetOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00008 Store 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 46Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00011 Load 0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00014 Store 2Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00017 Load 2Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00020 CallBuiltin listSizeOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00023 Store 4Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00026 ConstI8 0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00028 Store 3Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00031 Load 3Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00034 Load 4Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00037 CmpI LtOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00039 JmpF -> 101Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00044 Load 2Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00047 Load 3Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00050 CallBuiltin listGetOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00053 Store 5Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 47Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00056 Load 5Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00059 CallVirt area/0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00064 UnboxIOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00065 Load 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00068 CallVirt area/0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00073 UnboxIOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00074 CmpI GtOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00076 JmpF -> 87Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 48Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00081 Load 5Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00084 Store 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00087 Load 3Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00090 ConstI8 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00092 AddIOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00093 Store 3Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00096 Jmp -> 31Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 51Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00101 Load 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00104 RetOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 52Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00105 Trap 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
Pusta linia oddziela fragmenty źródła.
export fn #8 Main.Start() -> String ; locals=8 maxStack=6 code=234Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 55Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00000 NewObj 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00003 DupOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00004 ConstI8 2Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00006 BoxIOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00007 ConstI8 3Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00009 BoxIOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00010 Call #2 Main.Rect.$initOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00013 NewObj 2Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00016 DupOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00017 ConstI8 4Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00019 BoxIOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00020 Call #4 Main.Square.$initOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00023 NewObj 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00026 DupOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00027 ConstI8 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00029 BoxIOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00030 ConstI8 10Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00032 BoxIOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00033 Call #2 Main.Rect.$initOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00036 NewList 3Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00039 Store 0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 56Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00042 Load 0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00045 Call #7 Main.largestOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00048 Store 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 57Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00051 NewObj 3Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00054 DupOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00055 ConstStr #3 "pole"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00058 Load 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00061 CallVirt area/0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00066 UnboxIOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00067 BoxIOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00068 Call #6 Main.Pair.$initOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00071 CallVirt swap/0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00076 Store 2Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 58Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00079 NewList 0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00082 Store 3Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 59Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00085 Load 0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00088 Store 4Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00091 Load 4Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00094 CallBuiltin listSizeOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00097 Store 6Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00100 ConstI8 0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00102 Store 5Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00105 Load 5Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00108 Load 6Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00111 CmpI LtOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00113 JmpF -> 178Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00118 Load 4Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00121 Load 5Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00124 CallBuiltin listGetOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00127 Store 7Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 60Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00130 Load 7Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00133 IsClass 2Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00136 JmpF -> 155Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 61Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00141 Load 3Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00144 ConstStr #5 "Square"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00147 CallBuiltin listAddOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00150 Jmp -> 164Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 63Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00155 Load 3Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00158 ConstStr #6 "Rect"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00161 CallBuiltin listAddOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00164 Load 5Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00167 ConstI8 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00169 AddIOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00170 Store 5Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00173 Jmp -> 105Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 66Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00178 Load 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00181 CallVirt name/0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00186 ConstStr #8 " "Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00189 ConcatOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00190 Load 2Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00193 GetFld 3 0Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00198 UnboxIOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00199 CallBuiltin toStringIOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00202 ConcatOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00203 ConstStr #9 " ("Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00206 ConcatOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00207 Load 2Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00210 GetFld 3 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00215 ConcatOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00216 ConstStr #10 "); typy: "Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00219 ConcatOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00220 Load 3Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00223 ConstStr #11 ","Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00226 CallBuiltin listJoinOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00229 ConcatOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00230 RetOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 67Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00231 Trap 1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
Pusta linia oddziela fragmenty źródła.
export fn #9 Main.Shutdown() -> Unit ; locals=0 maxStack=0 code=1Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
; wiersz 70Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
00000 RetOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
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.

Pochodzenie i integralność

KRET_LANGUAGE_KRETS.zip:KretS/Examples/ADVANCED_ClassesInterfacesGenerics/example.json

02_PLAYGROUND/EXAMPLES/KRETS-A01-ClassesInterfacesGenerics.json
SHA-256 E34C4A21F11781EF3D9C8CDAC197DF3CD8A6FD2F232069A9D93F2A7AA990601D

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.

KRETS-A01-ClassesInterfacesGenerics — Klasy, interfejsy, dziedziczenie, generyki [2.0]

🇬🇧 English version below.

Pole	Wartość
Technologia	KretS
Poziom	ADVANCED
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

Interfejs, klasa z konstruktorem init, dziedziczenie z super(...) i override, klasa generyczna Pair<A, B>, funkcja generyczna z ograniczeniem T: Shape, polimorfizm przez interfejs. Kod bazuje na oficjalnym przykładzie SDK ObjectOriented.

Pliki

Plik
`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
kret run . --policy host-policy.json --data {DATA} — uruchomienie
kret disasm . — czytelny zapis bytecode KBC 2

Oczekiwany wynik

„kwadrat 16 (pole); typy: Rect,Square,Rect” oraz listing bytecode z funkcją Start.

Najczęstszy błąd

Nadpisanie metody bez override albo próba przeciążenia funkcji (nazwy funkcji są unikalne) — błąd kompilacji.

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

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

KRETS-A01-ClassesInterfacesGenerics — Klasy, interfejsy, dziedziczenie, generyki [2.0]

Co pokazuje

Pliki

Jak uruchomić

Oczekiwany wynik

Najczęstszy błąd

Powiązane lekcje