Przejdź do treści

KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ

Moduły i łączenie funkcji

INTERMEDIATERUNNABLE_LOCALKretS

Jeden plik = jeden moduł. `Main` wywołuje funkcje modułów `Stats` i `Text` przez `Moduł.funkcja`. Rekordy są wspólne dla całego pluginu.

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.

Kanoniczne pliki projektu

module Main

fn Start() -> String {
    let values = [4, 8, 15, 16, 23, 42]
    let summary = Stats.summarize(values)
    return Text.banner("statystyki") + " " + Text.describe(summary)
}

fn Shutdown() {
}

Czytanie kodu linia po linii

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

  1. module MainDeklaracja modułu KretS; porównaj nazwę z nazwą pliku.
  2. Pusta linia oddziela fragmenty źródła.
  3. fn Start() -> String {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
  4. let values = [4, 8, 15, 16, 23, 42]Wiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.
  5. let summary = Stats.summarize(values)Wiązanie wartości; typ i możliwość zmiany zależą od użytej deklaracji.
  6. return Text.banner("statystyki") + " " + Text.describe(summary)Zwrócenie wartości z funkcji; nie jest zapisem do dziennika.
  7. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  8. Pusta linia oddziela fragmenty źródła.
  9. fn Shutdown() {Sygnatura funkcji: nazwa, argumenty i ewentualny typ wyniku.
  10. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  11. Pusta linia oddziela fragmenty źródła.

Wynik i typowy błąd

„[STATYSTYKI] n=6 suma=108 min=4 max=42”.

Na co uważać

Nazwa modułu inna niż nazwa pliku albo moduł projektu o tej samej nazwie co moduł biblioteki KretLib — 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.

  1. checkkret check . --jsonKatalog: project · Oczekiwany kod wyjścia: 0
  2. runkret run . --policy host-policy.json --data {DATA}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.

# EXPECTED_OUTPUT — KRETS-I02-Modules
# Rzeczywisty wynik uruchomienia (SDK 1.0.0-rc.3+kret.local.3, 2026-11-01T12:46:41Z). Ścieżki zastąpione znacznikami <project>, <data>, <out>, <sdk>.
# Actual output of the run. Paths replaced by placeholders.

### 1. check  (exit 0, PASS)
> kret check . --json
{
  "format": "kret-diagnostics/1",
  "project": "<project>",
  "succeeded": true,
  "plugin": {
    "id": "LOCAL-KPL-KSM2MDLS",
    "name": "Modules",
    "version": "1.0.0",
    "profile": "standard",
    "database": false
  },
  "permissions": {
    "required": [],
    "optional": []
  },
  "handlers": {
    "lifecycle": [
      "start",
      "shutdown"
    ],
    "events": [],
    "commands": []
  },
  "diagnostics": []
}

### 2. run  (exit 0, PASS)
> kret run . --policy host-policy.json --data {DATA}
{
  "broker": {
    "pid": 37320,
    "startupMs": 42.0099,
    "pluginHostSha256": "93405d128c95234d913efcd6e28fe54073caa0375135a2184290f958e7f7cfe5",
    "allowProvisionalRisk": false,
    "memoryIdle": {
      "managedBytes": 1193136,
      "allocatedBytes": 1190496,
      "workingSetBytes": 32571392,
      "privateBytes": 10145792,
      "peakWorkingSetBytes": 32571392,
      "cpuMs": 93.75
    }
  },
  "brokerWithPlugins": {
    "memory": {
      "managedBytes": 1530824,
      "allocatedBytes": 1527728,
      "workingSetBytes": 38920192,
      "privateBytes": 13864960,
      "peakWorkingSetBytes": 38977536,
      "cpuMs": 140.625
    }
  },
  "plugins": [
    {
      "package": "<project>\\Build",
      "admitted": true,
      "startMs": 145.4742,
      "subject": "LOCAL-KPL-KSM2MDLS",
      "instance": "01a19725-d32b-7ee8-85eb-9ef7ed343a58",
      "pid": 44468,
      "jobObject": true,
      "isolation": {
        "level": "Restricted",
        "restrictedToken": true,
        "lowIntegrity": true,
        "appContainer": false
      },
      "limits": {
        "profile": "standard",
        "scriptMemoryBytes": 67108864,
        "processMemoryBytes": 201326592,
        "cpuPercent": 25,
        "maxInstructions": 50000000,
        "clamped": []
      },
      "calls": [
        {
          "operation": "start",
          "ok": true,
          "status": "Completed",
          "type": "String",
          "value": "[STATYSTYKI] n=6 suma=108 min=4 max=42",
          "brokerMs": 10.0222,
          "vmMs": 5.6714,
          "instructions": 250,
          "hostCalls": 0,
          "pluginReportedMemory": {
            "managedBytes": 782016,
            "allocatedBytes": 779832,
            "workingSetBytes": 32202752,
            "privateBytes": 11149312,
            "peakWorkingSetBytes": 32587776,
            "cpuMs": 93.75
          }
        },
        {
          "operation": "shutdown",
          "ok": true,
          "status": "Completed",
          "type": "Unit",
          "value": null,
          "brokerMs": 0.7562,
          "vmMs": 0.0028,
          "instructions": 1,
          "hostCalls": 0,
          "pluginReportedMemory": {
            "managedBytes": 790240,
            "allocatedBytes": 788032,
            "workingSetBytes": 32325632,
            "privateBytes": 11173888,
            "peakWorkingSetBytes": 32587776,
            "cpuMs": 93.75
          }
        }
      ],
      "processMemoryMeasuredByBroker": {
        "workingSetBytes": 32321536,
        "privateBytes": 11173888,
        "peakWorkingSetBytes": 32587776,
        "cpuMs": 125
      },
      "summary": {
        "exitCode": 0,
        "killed": false,
        "hostCalls": 0,
        "denials": 0,
        "peakCommitBytes": 12046336,
        "log": []
      }
    }
  ],
  "brokerAfterClose": {
    "memory": {
      "managedBytes": 580464,
      "allocatedBytes": 1527728,
      "workingSetBytes": 39960576,
      "privateBytes": 14581760,
      "peakWorkingSetBytes": 39960576,
      "cpuMs": 156.25
    }
  },
  "audit": {
    "entries": 10,
    "denials": 0,
    "grantsIssued": 0,
    "denied": []
  },
  "exitCode": 0
}


Czytanie kodu linia po linii

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

  1. # EXPECTED_OUTPUT — KRETS-I02-ModulesOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  2. # Rzeczywisty wynik uruchomienia (SDK 1.0.0-rc.3+kret.local.3, 2026-11-01T12:46:41Z). Ścieżki zastąpione znacznikami <project>, <data>, <out>, <sdk>.Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  3. # Actual output of the run. Paths replaced by placeholders.Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  4. Pusta linia oddziela fragmenty źródła.
  5. ### 1. check (exit 0, PASS)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  6. > kret check . --jsonOdczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  7. {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  8. "format": "kret-diagnostics/1",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  9. "project": "<project>",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  10. "succeeded": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  11. "plugin": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  12. "id": "LOCAL-KPL-KSM2MDLS",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  13. "name": "Modules",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  14. "version": "1.0.0",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  15. "profile": "standard",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  16. "database": falsePole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  17. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  18. "permissions": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  19. "required": [],Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  20. "optional": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  21. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  22. "handlers": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  23. "lifecycle": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  24. "start",Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  25. "shutdown"Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  26. ],Zamknięcie struktury otwartej we wcześniejszych liniach.
  27. "events": [],Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  28. "commands": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  29. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  30. "diagnostics": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  31. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  32. Pusta linia oddziela fragmenty źródła.
  33. ### 2. run (exit 0, PASS)Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  34. > kret run . --policy host-policy.json --data {DATA}Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  35. {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  36. "broker": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  37. "pid": 37320,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  38. "startupMs": 42.0099,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  39. "pluginHostSha256": "93405d128c95234d913efcd6e28fe54073caa0375135a2184290f958e7f7cfe5",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  40. "allowProvisionalRisk": false,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  41. "memoryIdle": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  42. "managedBytes": 1193136,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  43. "allocatedBytes": 1190496,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  44. "workingSetBytes": 32571392,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  45. "privateBytes": 10145792,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  46. "peakWorkingSetBytes": 32571392,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  47. "cpuMs": 93.75Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  48. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  49. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  50. "brokerWithPlugins": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  51. "memory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  52. "managedBytes": 1530824,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  53. "allocatedBytes": 1527728,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  54. "workingSetBytes": 38920192,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  55. "privateBytes": 13864960,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  56. "peakWorkingSetBytes": 38977536,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  57. "cpuMs": 140.625Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  58. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  59. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  60. "plugins": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  61. {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  62. "package": "<project>\\Build",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  63. "admitted": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  64. "startMs": 145.4742,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  65. "subject": "LOCAL-KPL-KSM2MDLS",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  66. "instance": "01a19725-d32b-7ee8-85eb-9ef7ed343a58",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  67. "pid": 44468,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  68. "jobObject": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  69. "isolation": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  70. "level": "Restricted",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  71. "restrictedToken": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  72. "lowIntegrity": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  73. "appContainer": falsePole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  74. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  75. "limits": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  76. "profile": "standard",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  77. "scriptMemoryBytes": 67108864,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  78. "processMemoryBytes": 201326592,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  79. "cpuPercent": 25,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  80. "maxInstructions": 50000000,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  81. "clamped": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  82. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  83. "calls": [Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  84. {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  85. "operation": "start",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  86. "ok": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  87. "status": "Completed",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  88. "type": "String",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  89. "value": "[STATYSTYKI] n=6 suma=108 min=4 max=42",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  90. "brokerMs": 10.0222,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  91. "vmMs": 5.6714,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  92. "instructions": 250,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  93. "hostCalls": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  94. "pluginReportedMemory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  95. "managedBytes": 782016,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  96. "allocatedBytes": 779832,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  97. "workingSetBytes": 32202752,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  98. "privateBytes": 11149312,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  99. "peakWorkingSetBytes": 32587776,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  100. "cpuMs": 93.75Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  101. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  102. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  103. {Odczytaj tę linię w kontekście otaczającego bloku i objaśnień autora poniżej.
  104. "operation": "shutdown",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  105. "ok": true,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  106. "status": "Completed",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  107. "type": "Unit",Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  108. "value": null,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  109. "brokerMs": 0.7562,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  110. "vmMs": 0.0028,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  111. "instructions": 1,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  112. "hostCalls": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  113. "pluginReportedMemory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  114. "managedBytes": 790240,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  115. "allocatedBytes": 788032,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  116. "workingSetBytes": 32325632,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  117. "privateBytes": 11173888,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  118. "peakWorkingSetBytes": 32587776,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  119. "cpuMs": 93.75Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  120. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  121. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  122. ],Zamknięcie struktury otwartej we wcześniejszych liniach.
  123. "processMemoryMeasuredByBroker": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  124. "workingSetBytes": 32321536,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  125. "privateBytes": 11173888,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  126. "peakWorkingSetBytes": 32587776,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  127. "cpuMs": 125Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  128. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  129. "summary": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  130. "exitCode": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  131. "killed": false,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  132. "hostCalls": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  133. "denials": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  134. "peakCommitBytes": 12046336,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  135. "log": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  136. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  137. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  138. ],Zamknięcie struktury otwartej we wcześniejszych liniach.
  139. "brokerAfterClose": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  140. "memory": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  141. "managedBytes": 580464,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  142. "allocatedBytes": 1527728,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  143. "workingSetBytes": 39960576,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  144. "privateBytes": 14581760,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  145. "peakWorkingSetBytes": 39960576,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  146. "cpuMs": 156.25Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  147. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  148. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  149. "audit": {Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  150. "entries": 10,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  151. "denials": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  152. "grantsIssued": 0,Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  153. "denied": []Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  154. },Zamknięcie struktury otwartej we wcześniejszych liniach.
  155. "exitCode": 0Pole danych JSON; znaczenie wynika z wersjonowanego schematu pliku.
  156. }Zamknięcie struktury otwartej we wcześniejszych liniach.
  157. Pusta linia oddziela fragmenty źródła.
  158. Pusta linia oddziela fragmenty źródła.
Diagnostyka i raporty testów

null
Czytanie kodu linia po linii

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

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

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

02_PLAYGROUND/EXAMPLES/KRETS-I02-Modules.json
SHA-256 A98346CF9DDC3798A5BCAA53FCE9A28A0B53D6BDC6CA04BD3CF3B4DC823CD5A3

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-I02-Modules — Moduły i łączenie funkcji

KRETS-I02-Modules — Moduły i łączenie funkcji

🇬🇧 English version below.
PoleWartość
TechnologiaKretS
PoziomINTERMEDIATE
KlasyfikacjaRUNNABLE_LOCAL — Uruchamialny lokalnie (SDK, izolowany proces pluginu)
PlaygroundLOCAL_EXECUTE — lokalnie: wykonanie w KretStudio / SDK (publicznie: tylko statycznie)
SDK1.0.0-rc.3+kret.local.3 (kandydat lokalny, niepodpisany)
Wynik testuTEST_RESULTS.json, rzeczywisty wynik: EXPECTED_OUTPUT.txt

Co pokazuje

Jeden plik = jeden moduł. Main wywołuje funkcje modułów Stats i Text przez Moduł.funkcja. Rekordy są wspólne dla całego pluginu.

Pliki

Plik
Script/Main.krs
Script/Stats.krs
Script/Text.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.

  1. kret check . --json — walidacja
  2. kret run . --policy host-policy.json --data {DATA} — uruchomienie

Oczekiwany wynik

„[STATYSTYKI] n=6 suma=108 min=4 max=42”.

Najczęstszy błąd

Nazwa modułu inna niż nazwa pliku albo moduł projektu o tej samej nazwie co moduł biblioteki KretLib — 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 →

Wybierz, co możemy zapamiętać w tej przeglądarce. Możesz zmienić decyzję w każdej chwili.

Polityka prywatności