KRET LANGUAGE ACADEMY · DOKUMENTACJA ZE ŹRÓDEŁ
KRETBRIDGE-I01-GenerateAndCheck — KretBridge: generacja C# i kontrola wywołań (bez uruchamiania usługi)
KRETBRIDGE-I01-GenerateAndCheck — KretBridge: generacja C# i kontrola wywołań (bez uruchamiania usługi)
🇬🇧 English version below.
| Pole | Wartość |
|---|---|
| Technologia | KretBridge |
| Poziom | INTERMEDIATE |
| Klasyfikacja | VALIDATION_ONLY — Tylko walidacja (bez wykonania) |
| Playground | LOCAL_VALIDATE — lokalnie: walidacja (kret check, lokalny walidator Playground) |
| SDK | 1.0.0-rc.3+kret.local.3 (kandydat lokalny, niepodpisany) |
| Wynik testu | TEST_RESULTS.json, rzeczywisty wynik: EXPECTED_OUTPUT.txt |
Co pokazuje
Szablon SDK csharp-bridge: kontrakt Bridge/calc.klink, kod KretS use Kret.Bridge.demo.calc as calc. kret bridge generate tworzy interfejs C#, a kret check sprawdza każde wywołanie calc.* względem kontraktu. Usługa C# nie jest uruchamiana: KretBridge to PROVISIONAL_VERSIONED, w Core zablokowany (FB-07), a proces usługi nie jest piaskownicą.
Pliki
| Plik |
|---|
Bridge/calc.klink |
BridgeHost/Calc.g.cs |
BridgeHost/CalcBridge.csproj |
BridgeHost/Program.cs |
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 link compile Bridge/calc.klink— kontrakt (metodastream→ ostrzeżenie)kret bridge generate Bridge/calc.klink -o {OUT}/Calc.g.cs— interfejs i klient C#kret check . --json— wywołania KretS ↔ kontrakt
Oczekiwany wynik
Kod 0 we wszystkich krokach; plik C# ma tę samą treść co BridgeHost/Calc.g.cs szablonu (generator deterministyczny).
Najczęstszy błąd
Uznanie KretBridge za mechanizm izolacji. Usługa C# działa z prawami użytkownika — uruchamiaj tylko zaufane usługi i tylko w trybie deweloperskim SDK (kret run --bridge).
Źródło i wersja
Zweryfikowany import PUBLIC_CANDIDATE. Identyfikatory źródeł odnoszą się do eksportu i nie dają dostępu do plików serwera.
01_LANGUAGES/KretBridge/Examples/INTERMEDIATE_GenerateAndCheck/README.md
SHA-256 16BB520AF6ED672D059C3FD5A6F48F3E5CB3AE6FD1D5E3DA3AD9C7DDF34F82D8Oryginalne źródło jest dwujęzyczne; terminy techniczne i polecenia zachowano.
Zaloguj się na konto użytkownika, aby zapisywać postęp i zakładki. Konta obsługi mogą czytać bez zapisu postępu. Logowanie →