@greenpandastudios/aug-cli 0.19.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/LICENSE +21 -0
- package/README.md +13 -0
- package/THIRD_PARTY_NOTICES.md +18 -0
- package/bin/aug.mjs +3 -0
- package/docs/api/crypto.md +351 -0
- package/docs/api/io.md +207 -0
- package/docs/api/json.md +21 -0
- package/docs/api/memory.md +109 -0
- package/docs/api/time.md +54 -0
- package/docs/api/web.md +184 -0
- package/docs/assets/benchmarks/execution.svg +2978 -0
- package/docs/assets/benchmarks/http.svg +1674 -0
- package/docs/assets/benchmarks/improvements.svg +2315 -0
- package/docs/assets/benchmarks/memory.svg +1891 -0
- package/docs/benchmark-baseline.json +1087 -0
- package/docs/benchmark-results.json +91123 -0
- package/docs/benchmarks.json +38 -0
- package/docs/compatibility.md +42 -0
- package/docs/concurrency-implementation.md +18 -0
- package/docs/diagnostics.md +97 -0
- package/docs/docker.md +35 -0
- package/docs/example-projects.json +26 -0
- package/docs/examples/approved-design/counters.md +253 -0
- package/docs/examples/approved-design/dependencies/august/0.19.0/io/contracts.md +395 -0
- package/docs/examples/approved-design/domain/app.md +165 -0
- package/docs/examples/approved-design/domain/export.md +83 -0
- package/docs/examples/approved-design/domain/models.md +80 -0
- package/docs/examples/approved-design/domain/numbers.md +248 -0
- package/docs/examples/approved-design/index.md +39 -0
- package/docs/examples/approved-design/main-yaml.md +24 -0
- package/docs/examples/approved-design/main.md +215 -0
- package/docs/examples/benchmark/index.md +33 -0
- package/docs/examples/benchmark/main-yaml.md +17 -0
- package/docs/examples/benchmark/main.md +117 -0
- package/docs/examples/cli-args/index.md +32 -0
- package/docs/examples/cli-args/main.md +107 -0
- package/docs/examples/collections/index.md +32 -0
- package/docs/examples/collections/main.md +118 -0
- package/docs/examples/collections-benchmark/index.md +34 -0
- package/docs/examples/collections-benchmark/main.md +115 -0
- package/docs/examples/cpu-benchmark/index.md +34 -0
- package/docs/examples/cpu-benchmark/main.md +90 -0
- package/docs/examples/developer-workflow/calculator.md +357 -0
- package/docs/examples/developer-workflow/dependencies/august/0.19.0/io/contracts.md +395 -0
- package/docs/examples/developer-workflow/index.md +37 -0
- package/docs/examples/developer-workflow/logging/console.md +124 -0
- package/docs/examples/developer-workflow/logging/export.md +70 -0
- package/docs/examples/developer-workflow/logging/logger.md +111 -0
- package/docs/examples/developer-workflow/main.md +172 -0
- package/docs/examples/drop/index.md +33 -0
- package/docs/examples/drop/main.md +85 -0
- package/docs/examples/drop/resource.md +95 -0
- package/docs/examples/errors/errors.md +85 -0
- package/docs/examples/errors/index.md +33 -0
- package/docs/examples/errors/main.md +92 -0
- package/docs/examples/ffi/index.md +33 -0
- package/docs/examples/ffi/main.md +75 -0
- package/docs/examples/ffi/native.md +93 -0
- package/docs/examples/generic-di/dependencies/august/0.19.0/io/contracts.md +395 -0
- package/docs/examples/generic-di/index.md +33 -0
- package/docs/examples/generic-di/main.md +111 -0
- package/docs/examples/generic-di/types.md +180 -0
- package/docs/examples/generics/index.md +33 -0
- package/docs/examples/generics/main.md +120 -0
- package/docs/examples/generics/types.md +189 -0
- package/docs/examples/hello/app/export.md +67 -0
- package/docs/examples/hello/app/greeter.md +190 -0
- package/docs/examples/hello/dependencies/august/0.19.0/io/contracts.md +395 -0
- package/docs/examples/hello/index.md +37 -0
- package/docs/examples/hello/logging/console.md +121 -0
- package/docs/examples/hello/logging/export.md +71 -0
- package/docs/examples/hello/logging/logger.md +120 -0
- package/docs/examples/hello/main.md +115 -0
- package/docs/examples/http-benchmark/index.md +35 -0
- package/docs/examples/http-benchmark/main.md +79 -0
- package/docs/examples/http-benchmark/routes.md +88 -0
- package/docs/examples/index.md +60 -0
- package/docs/examples/interceptors/app.md +250 -0
- package/docs/examples/interceptors/dependencies/august/0.19.0/io/contracts.md +395 -0
- package/docs/examples/interceptors/index.md +35 -0
- package/docs/examples/interceptors/interceptors.md +284 -0
- package/docs/examples/interceptors/logging.md +155 -0
- package/docs/examples/interceptors/main.md +162 -0
- package/docs/examples/json-benchmark/data.md +71 -0
- package/docs/examples/json-benchmark/dependencies/august/0.19.0/json/contracts.md +103 -0
- package/docs/examples/json-benchmark/index.md +35 -0
- package/docs/examples/json-benchmark/main.md +131 -0
- package/docs/examples/new-syntax/console.md +118 -0
- package/docs/examples/new-syntax/dependencies/august/0.19.0/io/contracts.md +395 -0
- package/docs/examples/new-syntax/greeter.md +145 -0
- package/docs/examples/new-syntax/index.md +36 -0
- package/docs/examples/new-syntax/logger.md +111 -0
- package/docs/examples/new-syntax/main.md +135 -0
- package/docs/examples/new-syntax/math.md +79 -0
- package/docs/examples/oidc-login/client/contracts.md +151 -0
- package/docs/examples/oidc-login/client/endpoints.md +263 -0
- package/docs/examples/oidc-login/client/export.md +107 -0
- package/docs/examples/oidc-login/client/login.md +515 -0
- package/docs/examples/oidc-login/client/logout.md +249 -0
- package/docs/examples/oidc-login/client/protocol.md +595 -0
- package/docs/examples/oidc-login/client/session.md +297 -0
- package/docs/examples/oidc-login/client/views.md +144 -0
- package/docs/examples/oidc-login/common/export.md +115 -0
- package/docs/examples/oidc-login/common/headers.md +162 -0
- package/docs/examples/oidc-login/common/keys.md +336 -0
- package/docs/examples/oidc-login/common/settings.md +116 -0
- package/docs/examples/oidc-login/common/views.md +103 -0
- package/docs/examples/oidc-login/dependencies/august/0.19.0/crypto/contracts.md +925 -0
- package/docs/examples/oidc-login/dependencies/august/0.19.0/crypto/jose.md +434 -0
- package/docs/examples/oidc-login/dependencies/august/0.19.0/json/contracts.md +103 -0
- package/docs/examples/oidc-login/dependencies/august/0.19.0/memory/store.md +374 -0
- package/docs/examples/oidc-login/dependencies/august/0.19.0/time/contracts.md +150 -0
- package/docs/examples/oidc-login/dependencies/august/0.19.0/web/contracts.md +532 -0
- package/docs/examples/oidc-login/index.md +57 -0
- package/docs/examples/oidc-login/main-yaml.md +28 -0
- package/docs/examples/oidc-login/main.md +283 -0
- package/docs/examples/oidc-login/provider/authorization.md +457 -0
- package/docs/examples/oidc-login/provider/contracts.md +267 -0
- package/docs/examples/oidc-login/provider/credentials.md +148 -0
- package/docs/examples/oidc-login/provider/discovery.md +215 -0
- package/docs/examples/oidc-login/provider/export.md +131 -0
- package/docs/examples/oidc-login/provider/token.md +364 -0
- package/docs/examples/oidc-login/provider/userinfo.md +228 -0
- package/docs/examples/oidc-login/provider/views.md +137 -0
- package/docs/examples/ownership/counter.md +140 -0
- package/docs/examples/ownership/index.md +33 -0
- package/docs/examples/ownership/main.md +90 -0
- package/docs/examples/ownership-transfer/dependencies/august/0.19.0/io/contracts.md +395 -0
- package/docs/examples/ownership-transfer/index.md +33 -0
- package/docs/examples/ownership-transfer/main.md +125 -0
- package/docs/examples/ownership-transfer/resource.md +150 -0
- package/docs/examples/packages-app/dependencies/packages/@example/aug-math/0.1.0/arithmetic.md +117 -0
- package/docs/examples/packages-app/index.md +34 -0
- package/docs/examples/packages-app/main-yaml.md +18 -0
- package/docs/examples/packages-app/main.md +80 -0
- package/docs/examples/packages-math/aug-package-json.md +24 -0
- package/docs/examples/packages-math/index.md +36 -0
- package/docs/examples/packages-math/package-json.md +25 -0
- package/docs/examples/packages-math/src/arithmetic.md +121 -0
- package/docs/examples/packages-math/src/export.md +63 -0
- package/docs/examples/startup-benchmark/index.md +34 -0
- package/docs/examples/startup-benchmark/main.md +68 -0
- package/docs/examples/visibility/counter.md +142 -0
- package/docs/examples/visibility/index.md +33 -0
- package/docs/examples/visibility/main.md +96 -0
- package/docs/examples.json +47 -0
- package/docs/getting-started.md +5 -0
- package/docs/grammar.md +136 -0
- package/docs/implementation-map.md +106 -0
- package/docs/index.md +46 -0
- package/docs/language-conformance.md +30 -0
- package/docs/language-constructs.md +1461 -0
- package/docs/language-design-audit.md +147 -0
- package/docs/maintaining-docs.md +43 -0
- package/docs/packages.md +184 -0
- package/docs/performance.md +535 -0
- package/docs/production-readiness.md +39 -0
- package/docs/reference.md +361 -0
- package/docs/release-review.md +23 -0
- package/docs/releasing.md +79 -0
- package/docs/roadmap.md +13 -0
- package/docs/specifications.md +86 -0
- package/docs/testing.md +120 -0
- package/docs/tooling.md +197 -0
- package/docs/web-implementation-plan.md +39 -0
- package/docs/web-library-gaps.md +27 -0
- package/docs/web.md +197 -0
- package/examples/approved-design/.aug-spec/august/0.19.0/io/contracts.aug +36 -0
- package/examples/approved-design/.aug-spec/august/0.19.0/io/contracts.aug.md +316 -0
- package/examples/approved-design/.aug-spec/manifest.json +14 -0
- package/examples/approved-design/counters.aug +22 -0
- package/examples/approved-design/counters.aug.md +177 -0
- package/examples/approved-design/domain/app.aug +12 -0
- package/examples/approved-design/domain/app.aug.md +97 -0
- package/examples/approved-design/domain/export.aug +5 -0
- package/examples/approved-design/domain/export.aug.md +25 -0
- package/examples/approved-design/domain/models.aug +2 -0
- package/examples/approved-design/domain/models.aug.md +30 -0
- package/examples/approved-design/domain/numbers.aug +29 -0
- package/examples/approved-design/domain/numbers.aug.md +141 -0
- package/examples/approved-design/main.aug +26 -0
- package/examples/approved-design/main.aug.md +108 -0
- package/examples/approved-design/main.yaml +8 -0
- package/examples/benchmark/.aug-spec/manifest.json +7 -0
- package/examples/benchmark/main.aug +17 -0
- package/examples/benchmark/main.aug.md +43 -0
- package/examples/benchmark/main.yaml +1 -0
- package/examples/cli-args/.aug-spec/manifest.json +7 -0
- package/examples/cli-args/main.aug +15 -0
- package/examples/cli-args/main.aug.md +38 -0
- package/examples/collections/.aug-spec/manifest.json +7 -0
- package/examples/collections/main.aug +18 -0
- package/examples/collections/main.aug.md +43 -0
- package/examples/developer-workflow/.aug-spec/august/0.19.0/io/contracts.aug +36 -0
- package/examples/developer-workflow/.aug-spec/august/0.19.0/io/contracts.aug.md +316 -0
- package/examples/developer-workflow/.aug-spec/manifest.json +13 -0
- package/examples/developer-workflow/calculator.aug +55 -0
- package/examples/developer-workflow/calculator.aug.md +228 -0
- package/examples/developer-workflow/logging/console.aug +8 -0
- package/examples/developer-workflow/logging/console.aug.md +67 -0
- package/examples/developer-workflow/logging/export.aug +2 -0
- package/examples/developer-workflow/logging/export.aug.md +19 -0
- package/examples/developer-workflow/logging/logger.aug +6 -0
- package/examples/developer-workflow/logging/logger.aug.md +57 -0
- package/examples/developer-workflow/main.aug +25 -0
- package/examples/developer-workflow/main.aug.md +79 -0
- package/examples/drop/.aug-spec/manifest.json +8 -0
- package/examples/drop/main.aug +3 -0
- package/examples/drop/main.aug.md +35 -0
- package/examples/drop/resource.aug +8 -0
- package/examples/drop/resource.aug.md +44 -0
- package/examples/errors/.aug-spec/manifest.json +8 -0
- package/examples/errors/errors.aug +6 -0
- package/examples/errors/errors.aug.md +33 -0
- package/examples/errors/main.aug +7 -0
- package/examples/errors/main.aug.md +36 -0
- package/examples/ffi/.aug-spec/manifest.json +8 -0
- package/examples/ffi/main.aug +2 -0
- package/examples/ffi/main.aug.md +27 -0
- package/examples/ffi/native.aug +6 -0
- package/examples/ffi/native.aug.md +43 -0
- package/examples/generic-di/.aug-spec/august/0.19.0/io/contracts.aug +36 -0
- package/examples/generic-di/.aug-spec/august/0.19.0/io/contracts.aug.md +316 -0
- package/examples/generic-di/.aug-spec/manifest.json +10 -0
- package/examples/generic-di/main.aug +9 -0
- package/examples/generic-di/main.aug.md +49 -0
- package/examples/generic-di/types.aug +17 -0
- package/examples/generic-di/types.aug.md +124 -0
- package/examples/generics/.aug-spec/manifest.json +8 -0
- package/examples/generics/main.aug +9 -0
- package/examples/generics/main.aug.md +58 -0
- package/examples/generics/types.aug +19 -0
- package/examples/generics/types.aug.md +132 -0
- package/examples/hello/.aug-spec/august/0.19.0/io/contracts.aug +36 -0
- package/examples/hello/.aug-spec/august/0.19.0/io/contracts.aug.md +316 -0
- package/examples/hello/.aug-spec/manifest.json +14 -0
- package/examples/hello/app/export.aug +1 -0
- package/examples/hello/app/export.aug.md +17 -0
- package/examples/hello/app/greeter.aug +22 -0
- package/examples/hello/app/greeter.aug.md +109 -0
- package/examples/hello/logging/console.aug +7 -0
- package/examples/hello/logging/console.aug.md +65 -0
- package/examples/hello/logging/export.aug +2 -0
- package/examples/hello/logging/export.aug.md +19 -0
- package/examples/hello/logging/logger.aug +9 -0
- package/examples/hello/logging/logger.aug.md +59 -0
- package/examples/hello/main.aug +9 -0
- package/examples/hello/main.aug.md +49 -0
- package/examples/interceptors/.aug-spec/august/0.19.0/io/contracts.aug +36 -0
- package/examples/interceptors/.aug-spec/august/0.19.0/io/contracts.aug.md +316 -0
- package/examples/interceptors/.aug-spec/manifest.json +12 -0
- package/examples/interceptors/app.aug +28 -0
- package/examples/interceptors/app.aug.md +162 -0
- package/examples/interceptors/interceptors.aug +40 -0
- package/examples/interceptors/interceptors.aug.md +180 -0
- package/examples/interceptors/logging.aug +12 -0
- package/examples/interceptors/logging.aug.md +96 -0
- package/examples/interceptors/main.aug +22 -0
- package/examples/interceptors/main.aug.md +76 -0
- package/examples/new-syntax/.aug-spec/august/0.19.0/io/contracts.aug +36 -0
- package/examples/new-syntax/.aug-spec/august/0.19.0/io/contracts.aug.md +316 -0
- package/examples/new-syntax/.aug-spec/manifest.json +13 -0
- package/examples/new-syntax/console.aug +7 -0
- package/examples/new-syntax/console.aug.md +63 -0
- package/examples/new-syntax/greeter.aug +10 -0
- package/examples/new-syntax/greeter.aug.md +89 -0
- package/examples/new-syntax/logger.aug +6 -0
- package/examples/new-syntax/logger.aug.md +57 -0
- package/examples/new-syntax/main.aug +12 -0
- package/examples/new-syntax/main.aug.md +64 -0
- package/examples/new-syntax/math.aug +3 -0
- package/examples/new-syntax/math.aug.md +29 -0
- package/examples/oidc-login/.aug-spec/august/0.19.0/crypto/contracts.aug +73 -0
- package/examples/oidc-login/.aug-spec/august/0.19.0/crypto/contracts.aug.md +791 -0
- package/examples/oidc-login/.aug-spec/august/0.19.0/crypto/jose.aug +68 -0
- package/examples/oidc-login/.aug-spec/august/0.19.0/crypto/jose.aug.md +266 -0
- package/examples/oidc-login/.aug-spec/august/0.19.0/json/contracts.aug +6 -0
- package/examples/oidc-login/.aug-spec/august/0.19.0/json/contracts.aug.md +55 -0
- package/examples/oidc-login/.aug-spec/august/0.19.0/memory/store.aug +45 -0
- package/examples/oidc-login/.aug-spec/august/0.19.0/memory/store.aug.md +250 -0
- package/examples/oidc-login/.aug-spec/august/0.19.0/time/contracts.aug +11 -0
- package/examples/oidc-login/.aug-spec/august/0.19.0/time/contracts.aug.md +96 -0
- package/examples/oidc-login/.aug-spec/august/0.19.0/web/contracts.aug +58 -0
- package/examples/oidc-login/.aug-spec/august/0.19.0/web/contracts.aug.md +420 -0
- package/examples/oidc-login/.aug-spec/manifest.json +40 -0
- package/examples/oidc-login/README.md +29 -0
- package/examples/oidc-login/client/contracts.aug +7 -0
- package/examples/oidc-login/client/contracts.aug.md +80 -0
- package/examples/oidc-login/client/endpoints.aug +21 -0
- package/examples/oidc-login/client/endpoints.aug.md +161 -0
- package/examples/oidc-login/client/export.aug +7 -0
- package/examples/oidc-login/client/export.aug.md +29 -0
- package/examples/oidc-login/client/login.aug +58 -0
- package/examples/oidc-login/client/login.aug.md +331 -0
- package/examples/oidc-login/client/logout.aug +18 -0
- package/examples/oidc-login/client/logout.aug.md +150 -0
- package/examples/oidc-login/client/protocol.aug +106 -0
- package/examples/oidc-login/client/protocol.aug.md +326 -0
- package/examples/oidc-login/client/session.aug +34 -0
- package/examples/oidc-login/client/session.aug.md +155 -0
- package/examples/oidc-login/client/views.aug +21 -0
- package/examples/oidc-login/client/views.aug.md +68 -0
- package/examples/oidc-login/common/export.aug +9 -0
- package/examples/oidc-login/common/export.aug.md +33 -0
- package/examples/oidc-login/common/headers.aug +11 -0
- package/examples/oidc-login/common/headers.aug.md +79 -0
- package/examples/oidc-login/common/keys.aug +37 -0
- package/examples/oidc-login/common/keys.aug.md +207 -0
- package/examples/oidc-login/common/settings.aug +4 -0
- package/examples/oidc-login/common/settings.aug.md +47 -0
- package/examples/oidc-login/common/views.aug +16 -0
- package/examples/oidc-login/common/views.aug.md +34 -0
- package/examples/oidc-login/main.aug +39 -0
- package/examples/oidc-login/main.aug.md +166 -0
- package/examples/oidc-login/main.yaml +12 -0
- package/examples/oidc-login/provider/authorization.aug +59 -0
- package/examples/oidc-login/provider/authorization.aug.md +264 -0
- package/examples/oidc-login/provider/contracts.aug +15 -0
- package/examples/oidc-login/provider/contracts.aug.md +193 -0
- package/examples/oidc-login/provider/credentials.aug +10 -0
- package/examples/oidc-login/provider/credentials.aug.md +64 -0
- package/examples/oidc-login/provider/discovery.aug +13 -0
- package/examples/oidc-login/provider/discovery.aug.md +133 -0
- package/examples/oidc-login/provider/export.aug +13 -0
- package/examples/oidc-login/provider/export.aug.md +41 -0
- package/examples/oidc-login/provider/token.aug +37 -0
- package/examples/oidc-login/provider/token.aug.md +223 -0
- package/examples/oidc-login/provider/userinfo.aug +26 -0
- package/examples/oidc-login/provider/userinfo.aug.md +104 -0
- package/examples/oidc-login/provider/views.aug +18 -0
- package/examples/oidc-login/provider/views.aug.md +63 -0
- package/examples/ownership/.aug-spec/manifest.json +8 -0
- package/examples/ownership/counter.aug +14 -0
- package/examples/ownership/counter.aug.md +85 -0
- package/examples/ownership/main.aug +4 -0
- package/examples/ownership/main.aug.md +38 -0
- package/examples/ownership-transfer/.aug-spec/august/0.19.0/io/contracts.aug +36 -0
- package/examples/ownership-transfer/.aug-spec/august/0.19.0/io/contracts.aug.md +316 -0
- package/examples/ownership-transfer/.aug-spec/manifest.json +10 -0
- package/examples/ownership-transfer/main.aug +9 -0
- package/examples/ownership-transfer/main.aug.md +63 -0
- package/examples/ownership-transfer/resource.aug +16 -0
- package/examples/ownership-transfer/resource.aug.md +89 -0
- package/examples/packages/README.md +15 -0
- package/examples/packages/app/.aug-spec/manifest.json +9 -0
- package/examples/packages/app/.aug-spec/packages/@example/aug-math/0.1.0/arithmetic.aug +9 -0
- package/examples/packages/app/.aug-spec/packages/@example/aug-math/0.1.0/arithmetic.aug.md +63 -0
- package/examples/packages/app/main.aug +2 -0
- package/examples/packages/app/main.aug.md +33 -0
- package/examples/packages/app/main.yaml +2 -0
- package/examples/packages/math/.aug-spec/manifest.json +8 -0
- package/examples/packages/math/README.md +3 -0
- package/examples/packages/math/aug-package.json +8 -0
- package/examples/packages/math/package.json +9 -0
- package/examples/packages/math/src/arithmetic.aug +8 -0
- package/examples/packages/math/src/arithmetic.aug.md +63 -0
- package/examples/packages/math/src/export.aug +1 -0
- package/examples/packages/math/src/export.aug.md +17 -0
- package/examples/visibility/.aug-spec/manifest.json +8 -0
- package/examples/visibility/counter.aug +14 -0
- package/examples/visibility/counter.aug.md +87 -0
- package/examples/visibility/main.aug +7 -0
- package/examples/visibility/main.aug.md +39 -0
- package/package.json +50 -0
- package/runtime/aug_crypto.c +121 -0
- package/runtime/aug_html.c +93 -0
- package/runtime/aug_http.c +829 -0
- package/runtime/aug_json.c +165 -0
- package/runtime/aug_runtime.c +792 -0
- package/runtime/aug_runtime.h +245 -0
- package/runtime/aug_tasks.c +172 -0
- package/runtime/aug_time.c +5 -0
- package/runtime/aug_values.c +80 -0
- package/scripts/bootstrap-native.mjs +121 -0
- package/scripts/native-dependencies.lock.json +65 -0
- package/scripts/native-home.mjs +11 -0
- package/src/actions.js +109 -0
- package/src/ast.js +19 -0
- package/src/builtins.js +93 -0
- package/src/checker.js +2896 -0
- package/src/cli.js +344 -0
- package/src/codegen.js +1159 -0
- package/src/config.js +149 -0
- package/src/continuation.js +110 -0
- package/src/di.js +24 -0
- package/src/documentation.js +27 -0
- package/src/editor.js +782 -0
- package/src/effects.js +29 -0
- package/src/fixes.js +222 -0
- package/src/formatter.js +296 -0
- package/src/freshness.js +154 -0
- package/src/help.js +212 -0
- package/src/html.js +27 -0
- package/src/http-policies.js +90 -0
- package/src/inference.js +16 -0
- package/src/interceptors.js +70 -0
- package/src/javadoc.js +67 -0
- package/src/lexer.js +199 -0
- package/src/libraries.js +31 -0
- package/src/lsp.js +180 -0
- package/src/native.js +144 -0
- package/src/navigation.js +162 -0
- package/src/openapi.js +220 -0
- package/src/ownership.js +232 -0
- package/src/package-manager.js +299 -0
- package/src/parser.js +1155 -0
- package/src/policies.js +130 -0
- package/src/project-init.js +19 -0
- package/src/project.js +292 -0
- package/src/schemas.js +62 -0
- package/src/semantic.js +255 -0
- package/src/spec.js +738 -0
- package/src/testing.js +186 -0
- package/src/types.js +10 -0
package/src/native.js
ADDED
|
@@ -0,0 +1,144 @@
|
|
|
1
|
+
import { copyFileSync, existsSync, mkdirSync, readFileSync, writeFileSync } from 'node:fs';
|
|
2
|
+
import { basename, dirname, isAbsolute, join, relative, resolve } from 'node:path';
|
|
3
|
+
import { fileURLToPath } from 'node:url';
|
|
4
|
+
import { spawnSync } from 'node:child_process';
|
|
5
|
+
import { createHash } from 'node:crypto';
|
|
6
|
+
import { loadConfig } from "./config.js";
|
|
7
|
+
import { generateOpenApi } from "./openapi.js";
|
|
8
|
+
import { nativeHome } from '../scripts/native-home.mjs';
|
|
9
|
+
export function compileNative(root, generated, options = {}) {
|
|
10
|
+
const config = loadConfig(root).config;
|
|
11
|
+
const buildDir = join(root, '.aug-build', ...(options.testIndex === undefined ? [] : ['tests']));
|
|
12
|
+
mkdirSync(buildDir, { recursive: true });
|
|
13
|
+
if (config.openapi.enabled && options.checked && options.testIndex === undefined) {
|
|
14
|
+
const target = resolve(root, config.openapi.output);
|
|
15
|
+
mkdirSync(dirname(target), { recursive: true });
|
|
16
|
+
writeFileSync(target, JSON.stringify(generateOpenApi(options.checked).document, null, 2) + '\n');
|
|
17
|
+
}
|
|
18
|
+
const name = options.testIndex === undefined ? 'program' : `test-${options.testIndex}`;
|
|
19
|
+
const cPath = join(buildDir, `${name}.c`);
|
|
20
|
+
writeFileSync(cPath, generated);
|
|
21
|
+
const runtimeDir = resolve(dirname(fileURLToPath(import.meta.url)), '..', 'runtime');
|
|
22
|
+
const nativeRoot = nativeHome(resolve(runtimeDir, '..'));
|
|
23
|
+
const runtimePath = join(buildDir, 'aug_runtime.c');
|
|
24
|
+
copyFileSync(join(runtimeDir, 'aug_runtime.c'), runtimePath);
|
|
25
|
+
copyFileSync(join(runtimeDir, 'aug_runtime.h'), join(buildDir, 'aug_runtime.h'));
|
|
26
|
+
const valuesPath = join(buildDir, 'aug_values.c');
|
|
27
|
+
copyFileSync(join(runtimeDir, 'aug_values.c'), valuesPath);
|
|
28
|
+
const outputName = options.testIndex === undefined ? options.output ?? config.output ?? basename(root) : name;
|
|
29
|
+
const output = isAbsolute(outputName) ? outputName : join(buildDir, outputName);
|
|
30
|
+
const cc = process.env.CC ?? (existsSync('/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/clang') ?
|
|
31
|
+
'/Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/clang' : 'clang');
|
|
32
|
+
const release = options.release ?? config.optimization === 'release';
|
|
33
|
+
const args = [release ? '-O2' : '-O0', '-g', '-std=c11', '-D_POSIX_C_SOURCE=200809L', '-Wall', '-Wextra',
|
|
34
|
+
'-pthread',
|
|
35
|
+
cPath, runtimePath, valuesPath, ...config.library_paths.map(path => `-L${resolve(root, path)}`), ...config.libraries.map(name => `-l${name}`), '-o', output];
|
|
36
|
+
const web = generated.includes('aug_http_') || generated.includes('_aug_http_') || generated.includes('aug_headers_');
|
|
37
|
+
if (web)
|
|
38
|
+
args.push('-DAUG_HTTP_RUNTIME');
|
|
39
|
+
if (generated.includes('aug_html_') || web) {
|
|
40
|
+
const htmlSource = join(buildDir, 'aug_html.c');
|
|
41
|
+
copyFileSync(join(runtimeDir, 'aug_html.c'), htmlSource);
|
|
42
|
+
args.push(htmlSource);
|
|
43
|
+
}
|
|
44
|
+
if (generated.includes('_aug_time_')) {
|
|
45
|
+
const timeSource = join(buildDir, 'aug_time.c');
|
|
46
|
+
copyFileSync(join(runtimeDir, 'aug_time.c'), timeSource);
|
|
47
|
+
args.push(timeSource);
|
|
48
|
+
}
|
|
49
|
+
if (web || generated.includes('aug_task_')) {
|
|
50
|
+
const taskSource = join(buildDir, 'aug_tasks.c');
|
|
51
|
+
copyFileSync(join(runtimeDir, 'aug_tasks.c'), taskSource);
|
|
52
|
+
const minicoro = join(nativeRoot, 'sources', 'minicoro');
|
|
53
|
+
if (!existsSync(join(minicoro, 'minicoro.h')))
|
|
54
|
+
throw new Error('Task dependency is missing. Run the compiler scripts/bootstrap-native.mjs with --extract-only; AUG_NATIVE_HOME selects its directory.');
|
|
55
|
+
args.push(taskSource, '-I' + minicoro, process.platform === 'darwin' ? '-D_DARWIN_C_SOURCE' : '-D_DEFAULT_SOURCE');
|
|
56
|
+
}
|
|
57
|
+
if (generated.includes('_aug_crypto_') || web) {
|
|
58
|
+
const prefix = join(nativeRoot, 'prefix');
|
|
59
|
+
const manifestPath = join(prefix, 'aug-native-manifest.json');
|
|
60
|
+
if (!existsSync(manifestPath))
|
|
61
|
+
throw new Error('Native libraries are not ready. Run node scripts/bootstrap-native.mjs in the compiler directory; AUG_NATIVE_HOME selects its directory.');
|
|
62
|
+
const manifest = JSON.parse(readFileSync(manifestPath, 'utf8'));
|
|
63
|
+
if (manifest.platform !== process.platform || manifest.architecture !== process.arch)
|
|
64
|
+
throw new Error(`Native dependencies target ${manifest.platform}/${manifest.architecture}; this compiler runs on ${process.platform}/${process.arch}. Build dependencies on this host.`);
|
|
65
|
+
const cryptoPath = join(buildDir, 'aug_crypto.c');
|
|
66
|
+
copyFileSync(join(runtimeDir, 'aug_crypto.c'), cryptoPath);
|
|
67
|
+
args.push(cryptoPath, '-I' + join(prefix, 'include'), '-L' + join(prefix, 'lib'), '-Wl,-rpath,' + join(prefix, 'lib'), '-lgnutls', '-lnettle', '-lhogweed', '-lgmp', '-pthread');
|
|
68
|
+
if (web) {
|
|
69
|
+
args.push(process.platform === 'darwin' ? '-D_DARWIN_C_SOURCE' : '-D_DEFAULT_SOURCE');
|
|
70
|
+
const webPath = join(buildDir, 'aug_http.c');
|
|
71
|
+
copyFileSync(join(runtimeDir, 'aug_http.c'), webPath);
|
|
72
|
+
args.push(webPath, join(prefix, 'lib', 'libwebsockets.a'), '-lz');
|
|
73
|
+
if (process.platform === 'darwin')
|
|
74
|
+
args.push('-framework', 'CoreFoundation', '-framework', 'SystemConfiguration');
|
|
75
|
+
}
|
|
76
|
+
}
|
|
77
|
+
if (generated.includes('_aug_json_') || generated.includes('aug_json_') || web) {
|
|
78
|
+
const jsonSource = join(buildDir, 'aug_json.c');
|
|
79
|
+
copyFileSync(join(runtimeDir, 'aug_json.c'), jsonSource);
|
|
80
|
+
const yyjson = join(nativeRoot, 'sources', 'yyjson', 'src');
|
|
81
|
+
if (!existsSync(join(yyjson, 'yyjson.c')))
|
|
82
|
+
throw new Error('JSON dependency is missing. Run node scripts/bootstrap-native.mjs --extract-only.');
|
|
83
|
+
args.push(jsonSource, join(yyjson, 'yyjson.c'), '-I' + yyjson);
|
|
84
|
+
}
|
|
85
|
+
const sdk = '/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk';
|
|
86
|
+
if (process.platform === 'darwin' && existsSync(sdk) && !process.env.SDKROOT)
|
|
87
|
+
args.unshift('-isysroot', sdk);
|
|
88
|
+
const compile = spawnSync(cc, args, { encoding: 'utf8', cwd: root });
|
|
89
|
+
if (compile.error)
|
|
90
|
+
throw compile.error;
|
|
91
|
+
const error = compile.status === 0 ? '' : compile.stderr || compile.stdout || 'C compiler failed';
|
|
92
|
+
const diagnostics = [];
|
|
93
|
+
for (const match of error.matchAll(/^(.+\.aug):(\d+):(\d+):\s*(?:fatal )?error:\s*(.+)$/gm))
|
|
94
|
+
diagnostics.push({ file: match[1], line: Number(match[2]), column: Number(match[3]), code: 'NATIVE', message: match[4] });
|
|
95
|
+
if (compile.status === 0 && options.checked) {
|
|
96
|
+
const version = JSON.parse(readFileSync(resolve(runtimeDir, '..', 'package.json'), 'utf8')).version;
|
|
97
|
+
writeFileSync(output + '.augmap.json', JSON.stringify({ version, compiler: cc, arguments: args,
|
|
98
|
+
generatedHash: createHash('sha256').update(generated).digest('hex'),
|
|
99
|
+
sources: [...options.checked.project.files.values()].map(file => ({ path: file.path, hash: createHash('sha256').update(file.source).digest('hex') })),
|
|
100
|
+
symbols: [...options.checked.project.definitions.values()].map((def, index) => ({ name: def.name, native: `aug_${index}_${def.name}`, location: def.node.span })) }, null, 2) + '\n');
|
|
101
|
+
}
|
|
102
|
+
return { output, status: compile.status ?? 1, error, diagnostics };
|
|
103
|
+
}
|
|
104
|
+
/** Merge per-process native statement counts, retaining unexecuted locations. */
|
|
105
|
+
export function writeCoverage(root, reports) {
|
|
106
|
+
const files = new Map();
|
|
107
|
+
for (const path of reports)
|
|
108
|
+
if (existsSync(path))
|
|
109
|
+
for (const row of readFileSync(path, 'utf8').trim().split('\n')) {
|
|
110
|
+
const match = /^(.*)\t(\d+)\t(\d+)$/.exec(row);
|
|
111
|
+
if (!match)
|
|
112
|
+
continue;
|
|
113
|
+
const lines = files.get(match[1]) ?? new Map();
|
|
114
|
+
files.set(match[1], lines);
|
|
115
|
+
const line = Number(match[2]);
|
|
116
|
+
lines.set(line, (lines.get(line) ?? 0) + Number(match[3]));
|
|
117
|
+
}
|
|
118
|
+
const result = [...files].sort(([a], [b]) => a.localeCompare(b)).map(([file, counts]) => ({ file,
|
|
119
|
+
lines: [...counts].sort(([a], [b]) => a - b).map(([line, count]) => ({ line, count })) }));
|
|
120
|
+
const executable = result.reduce((sum, file) => sum + file.lines.length, 0);
|
|
121
|
+
const covered = result.reduce((sum, file) => sum + file.lines.filter(line => line.count > 0).length, 0);
|
|
122
|
+
const directory = join(root, '.aug-build', 'coverage');
|
|
123
|
+
mkdirSync(directory, { recursive: true });
|
|
124
|
+
const report = { kind: 'statement-lines', covered, executable, percent: executable ? covered * 100 / executable : 0, files: result };
|
|
125
|
+
const path = join(directory, 'coverage.json');
|
|
126
|
+
writeFileSync(path, JSON.stringify(report, null, 2) + '\n');
|
|
127
|
+
writeFileSync(join(directory, 'lcov.info'), result.map(file => `TN:AugScript\nSF:${file.file}\n` +
|
|
128
|
+
file.lines.map(line => `DA:${line.line},${line.count}\n`).join('') + `LF:${file.lines.length}\nLH:${file.lines.filter(line => line.count > 0).length}\nend_of_record\n`).join(''));
|
|
129
|
+
return { ...report, path: relative(root, path) };
|
|
130
|
+
}
|
|
131
|
+
export function benchmark(output, root, iterations, warmup, args, timeout) {
|
|
132
|
+
const samples = [];
|
|
133
|
+
for (let index = -warmup; index < iterations; index++) {
|
|
134
|
+
const start = performance.now();
|
|
135
|
+
const run = spawnSync(output, args, { encoding: 'utf8', cwd: root, timeout, killSignal: 'SIGKILL' });
|
|
136
|
+
if (run.error || run.status !== 0)
|
|
137
|
+
throw new Error(run.error?.message ?? run.stderr ?? `Benchmark exited ${run.status}`);
|
|
138
|
+
if (index >= 0)
|
|
139
|
+
samples.push(performance.now() - start);
|
|
140
|
+
}
|
|
141
|
+
const sorted = [...samples].sort((a, b) => a - b);
|
|
142
|
+
return { iterations, warmup, includesProcessStartup: true, units: 'milliseconds', samples,
|
|
143
|
+
median: sorted[Math.floor(sorted.length / 2)], p95: sorted[Math.min(sorted.length - 1, Math.ceil(sorted.length * .95) - 1)], minimum: sorted[0] };
|
|
144
|
+
}
|
|
@@ -0,0 +1,162 @@
|
|
|
1
|
+
import { statSync } from 'node:fs';
|
|
2
|
+
import { basename, dirname, join, resolve } from 'node:path';
|
|
3
|
+
import { lex } from "./lexer.js";
|
|
4
|
+
import { libraryChild } from "./libraries.js";
|
|
5
|
+
function definitionTarget(def) {
|
|
6
|
+
const span = def.node.kind === 'interceptor' ? def.node.nameSpan : def.node.span;
|
|
7
|
+
return { name: def.name, file: def.file, line: span.line,
|
|
8
|
+
column: span.column, kind: def.node.kind };
|
|
9
|
+
}
|
|
10
|
+
function parameterTarget(project, param) {
|
|
11
|
+
const source = project.files.get(param.span.file)?.source ?? '';
|
|
12
|
+
const token = lex(param.span.file, source).tokens.filter(token => token.value === param.name &&
|
|
13
|
+
param.span.start <= token.span.start && token.span.end <= param.span.end).at(-1);
|
|
14
|
+
const span = token?.span ?? param.span;
|
|
15
|
+
return { name: param.name, file: span.file, line: span.line, column: span.column, kind: 'parameter' };
|
|
16
|
+
}
|
|
17
|
+
function directoryExists(path) {
|
|
18
|
+
try {
|
|
19
|
+
return statSync(path).isDirectory();
|
|
20
|
+
}
|
|
21
|
+
catch {
|
|
22
|
+
return false;
|
|
23
|
+
}
|
|
24
|
+
}
|
|
25
|
+
function exportTarget(project, folder, name, child) {
|
|
26
|
+
const file = project.files.get(join(folder, 'export.aug'));
|
|
27
|
+
if (!file)
|
|
28
|
+
return undefined;
|
|
29
|
+
const declaration = file.items.find(item => item.kind === 'export' &&
|
|
30
|
+
item.name === (child ?? name) && item.folder === !!child);
|
|
31
|
+
return { name, file: file.path, line: declaration?.span.line ?? 1,
|
|
32
|
+
column: declaration?.span.column ?? 1, kind: 'module' };
|
|
33
|
+
}
|
|
34
|
+
function importPathTarget(project, importer, from, name, segment) {
|
|
35
|
+
if (!from.length)
|
|
36
|
+
return undefined;
|
|
37
|
+
if (from[0] === 'august' && project.stdlibRoot) {
|
|
38
|
+
let folder = project.stdlibRoot;
|
|
39
|
+
for (let index = 1; index <= segment; index++)
|
|
40
|
+
folder = libraryChild(project.libraries, folder, from[index]);
|
|
41
|
+
return exportTarget(project, folder, name, segment < from.length - 1 ? from[segment + 1] : undefined);
|
|
42
|
+
}
|
|
43
|
+
const owner = importer.package ? project.packages.scopes.get(importer.package) : undefined;
|
|
44
|
+
const dependency = owner ? project.packages.scopes.get(owner.dependencies[from[0]]) : project.packages.roots.get(from[0]);
|
|
45
|
+
if (dependency) {
|
|
46
|
+
const folder = join(dependency.sourceRoot, ...from.slice(1, segment + 1));
|
|
47
|
+
return exportTarget(project, folder, name, segment < from.length - 1 ? from[segment + 1] : undefined);
|
|
48
|
+
}
|
|
49
|
+
if (from.length === 1) {
|
|
50
|
+
const sibling = join(dirname(importer.path), `${from[0]}.aug`);
|
|
51
|
+
if (project.files.has(sibling) && basename(sibling) !== 'export.aug')
|
|
52
|
+
return { name: from[0], file: sibling, line: 1, column: 1, kind: 'module' };
|
|
53
|
+
}
|
|
54
|
+
const siblingFolder = join(dirname(importer.path), from[0]);
|
|
55
|
+
let folder = from.length === 1 && directoryExists(siblingFolder) ?
|
|
56
|
+
siblingFolder : join(owner?.sourceRoot ?? project.sourceRoot, from[0]);
|
|
57
|
+
if (segment === 0 && from.length > 1)
|
|
58
|
+
return exportTarget(project, folder, from[0], from[1]);
|
|
59
|
+
for (let index = 1; index <= segment; index++)
|
|
60
|
+
folder = join(folder, from[index]);
|
|
61
|
+
return segment === from.length - 1 ? exportTarget(project, folder, name) :
|
|
62
|
+
exportTarget(project, folder, from[segment], from[segment + 1]);
|
|
63
|
+
}
|
|
64
|
+
function unfinishedModuleTarget(project, file, token, tokens) {
|
|
65
|
+
const lineTokens = tokens.filter(entry => entry.span.line === token.span.line &&
|
|
66
|
+
entry.kind !== 'eof');
|
|
67
|
+
if (lineTokens[0]?.kind === 'export' && lineTokens[1]?.kind === 'folder' &&
|
|
68
|
+
lineTokens[2]?.kind === 'identifier' &&
|
|
69
|
+
(token === lineTokens[1] || token === lineTokens[2]))
|
|
70
|
+
return exportTarget(project, file.builtin ? libraryChild(project.libraries, dirname(file.path), lineTokens[2].value) : join(dirname(file.path), lineTokens[2].value), lineTokens[2].value);
|
|
71
|
+
if (!['import', 'export'].includes(lineTokens[0]?.kind ?? '') ||
|
|
72
|
+
lineTokens[1]?.kind !== 'identifier')
|
|
73
|
+
return undefined;
|
|
74
|
+
const fromIndex = lineTokens.findIndex(entry => entry.kind === 'from');
|
|
75
|
+
if (fromIndex < 0)
|
|
76
|
+
return undefined;
|
|
77
|
+
const pathTokens = lineTokens.slice(fromIndex + 1).filter(entry => entry.kind === 'identifier');
|
|
78
|
+
if (!pathTokens.length)
|
|
79
|
+
return undefined;
|
|
80
|
+
const segment = token.kind === 'from' ? pathTokens.length - 1 : pathTokens.indexOf(token);
|
|
81
|
+
if (segment < 0)
|
|
82
|
+
return undefined;
|
|
83
|
+
if (lineTokens[0].kind === 'import')
|
|
84
|
+
return importPathTarget(project, file, pathTokens.map(entry => entry.value), lineTokens[1].value, segment);
|
|
85
|
+
const sibling = join(dirname(file.path), `${pathTokens[0].value}.aug`);
|
|
86
|
+
return project.files.has(sibling) ? { name: pathTokens[0].value, file: sibling,
|
|
87
|
+
line: 1, column: 1, kind: 'module' } : undefined;
|
|
88
|
+
}
|
|
89
|
+
/** Go to a declaration or the source named by an import/export path. */
|
|
90
|
+
export function definitionAt(project, fileName, offset) {
|
|
91
|
+
const file = project.files.get(resolve(fileName));
|
|
92
|
+
if (!file)
|
|
93
|
+
return undefined;
|
|
94
|
+
const tokens = lex(file.path, file.source).tokens;
|
|
95
|
+
const token = tokens.find(entry => entry.kind !== 'eof' &&
|
|
96
|
+
entry.span.start <= offset && offset < entry.span.end);
|
|
97
|
+
if (!token)
|
|
98
|
+
return undefined;
|
|
99
|
+
for (const node of file.items) {
|
|
100
|
+
const candidates = node.kind === 'class' || node.kind === 'function' ? [node] : [];
|
|
101
|
+
if ('methods' in node)
|
|
102
|
+
candidates.push(...node.methods);
|
|
103
|
+
for (const target of candidates)
|
|
104
|
+
for (const tag of target.annotations ?? []) {
|
|
105
|
+
const mapping = tag.mappings.find(entry => entry.span.start <= token.span.start && token.span.end <= entry.span.end);
|
|
106
|
+
if (!mapping)
|
|
107
|
+
continue;
|
|
108
|
+
const def = project.scopes.get(file.path)?.get(tag.name);
|
|
109
|
+
const around = def?.node.kind === 'interceptor' ? def.node.methods.find(method => method.name === 'around') : undefined;
|
|
110
|
+
const params = target.kind === 'class' ? target.fields : target.params;
|
|
111
|
+
const param = token.span.start >= mapping.sourceSpan.start ? params.find(param => param.name === mapping.source) :
|
|
112
|
+
around?.params.find(param => param.name === mapping.name);
|
|
113
|
+
if (param)
|
|
114
|
+
return parameterTarget(project, param);
|
|
115
|
+
}
|
|
116
|
+
if (node.kind === 'interceptor' && token.value === 'next') {
|
|
117
|
+
const around = node.methods.find(method => method.name === 'around' &&
|
|
118
|
+
method.span.start <= token.span.start && token.span.end <= method.span.end);
|
|
119
|
+
if (around)
|
|
120
|
+
return { name: 'around', file: file.path, line: around.span.line,
|
|
121
|
+
column: around.span.column, kind: 'method' };
|
|
122
|
+
}
|
|
123
|
+
}
|
|
124
|
+
const item = file.items.find(entry => entry.span.start <= token.span.start &&
|
|
125
|
+
token.span.end <= entry.span.end && (entry.kind === 'import' || entry.kind === 'export'));
|
|
126
|
+
if (item?.kind === 'import' || (item?.kind === 'export' && !item.folder)) {
|
|
127
|
+
const declarationTokens = tokens.filter(entry => entry.span.start >= item.span.start &&
|
|
128
|
+
entry.span.end <= item.span.end);
|
|
129
|
+
const fromIndex = declarationTokens.findIndex(entry => entry.kind === 'from');
|
|
130
|
+
const sourceTokens = declarationTokens.slice(fromIndex + 1)
|
|
131
|
+
.filter(entry => entry.kind === 'identifier');
|
|
132
|
+
const segments = item.kind === 'import' ? item.from : [item.from];
|
|
133
|
+
const selected = token.kind === 'from' ? segments.length - 1 :
|
|
134
|
+
sourceTokens.findIndex((entry) => entry === token);
|
|
135
|
+
if (fromIndex >= 0 && selected >= 0 && selected < segments.length) {
|
|
136
|
+
if (item.kind === 'import')
|
|
137
|
+
return importPathTarget(project, file, segments, item.names[0] ?? 'everything', selected);
|
|
138
|
+
const sibling = join(dirname(file.path), `${item.from}.aug`);
|
|
139
|
+
return project.files.has(sibling) ? { name: item.from, file: sibling,
|
|
140
|
+
line: 1, column: 1, kind: 'module' } : undefined;
|
|
141
|
+
}
|
|
142
|
+
if (item.kind === 'export' && token.value === item.name) {
|
|
143
|
+
const sibling = join(dirname(file.path), `${item.from}.aug`);
|
|
144
|
+
const def = project.scopes.get(sibling)?.get(item.name);
|
|
145
|
+
return def ? definitionTarget(def) : undefined;
|
|
146
|
+
}
|
|
147
|
+
}
|
|
148
|
+
if (item?.kind === 'export' && item.folder &&
|
|
149
|
+
(token.kind === 'folder' || token.value === item.name))
|
|
150
|
+
return exportTarget(project, file.builtin ? libraryChild(project.libraries, dirname(file.path), item.name) : join(dirname(file.path), item.name), item.name);
|
|
151
|
+
if (!item) {
|
|
152
|
+
const unfinished = unfinishedModuleTarget(project, file, token, tokens);
|
|
153
|
+
if (unfinished)
|
|
154
|
+
return unfinished;
|
|
155
|
+
}
|
|
156
|
+
if (token.kind === 'identifier') {
|
|
157
|
+
const def = project.scopes.get(file.path)?.get(token.value);
|
|
158
|
+
if (def)
|
|
159
|
+
return definitionTarget(def);
|
|
160
|
+
}
|
|
161
|
+
return undefined;
|
|
162
|
+
}
|
package/src/openapi.js
ADDED
|
@@ -0,0 +1,220 @@
|
|
|
1
|
+
import { createHash } from 'node:crypto';
|
|
2
|
+
import { schemaType } from "./schemas.js";
|
|
3
|
+
import { callableDocumentation } from "./documentation.js";
|
|
4
|
+
const primitive = (name) => ({ id: 'builtin:' + name, name, kind: 'builtin', args: [], nullable: false });
|
|
5
|
+
const problem = { type: 'object', required: ['type', 'title', 'status'], properties: { type: { type: 'string', format: 'uri-reference' }, title: { type: 'string' }, status: { type: 'integer', minimum: 400, maximum: 599 } } };
|
|
6
|
+
function nodes(value, visit) {
|
|
7
|
+
if (!value || typeof value !== 'object')
|
|
8
|
+
return;
|
|
9
|
+
if (Array.isArray(value)) {
|
|
10
|
+
value.forEach(child => nodes(child, visit));
|
|
11
|
+
return;
|
|
12
|
+
}
|
|
13
|
+
visit(value);
|
|
14
|
+
for (const [key, child] of Object.entries(value))
|
|
15
|
+
if (!['span', 'type'].includes(key))
|
|
16
|
+
nodes(child, visit);
|
|
17
|
+
}
|
|
18
|
+
/** Build a contract from served declarations and checked returns; untyped wire values fail the enabled build. */
|
|
19
|
+
export function generateOpenApi(checked) {
|
|
20
|
+
const project = checked.project, config = project.config.openapi;
|
|
21
|
+
const diagnostics = [], schemas = {}, paths = {};
|
|
22
|
+
const seenTypes = new Map();
|
|
23
|
+
const report = (span, message) => diagnostics.push({ ...span, code: 'OPENAPI', message });
|
|
24
|
+
const schema = (type, span) => {
|
|
25
|
+
const base = { ...type, optional: false, nullable: false };
|
|
26
|
+
let result;
|
|
27
|
+
if (['int', 'c_int'].includes(base.name))
|
|
28
|
+
result = { type: 'integer', format: base.name === 'int' ? 'int64' : 'int32' };
|
|
29
|
+
else if (base.name === 'float')
|
|
30
|
+
result = { type: 'number', format: 'double' };
|
|
31
|
+
else if (['string', 'bool', 'Html', 'Bytes'].includes(base.name))
|
|
32
|
+
result = { type: base.name === 'bool' ? 'boolean' : 'string' };
|
|
33
|
+
else if (['List', 'Set'].includes(base.name))
|
|
34
|
+
result = { type: 'array', items: schema(base.args[0], span), ...(base.name === 'Set' ? { uniqueItems: true } : {}) };
|
|
35
|
+
else if (base.name === 'Tuple')
|
|
36
|
+
result = { type: 'array', prefixItems: base.args.map(item => schema(item, span)), minItems: base.args.length, maxItems: base.args.length };
|
|
37
|
+
else if (base.name === 'Map' && base.args[0]?.name === 'string')
|
|
38
|
+
result = { type: 'object', additionalProperties: schema(base.args[1], span) };
|
|
39
|
+
else if (base.def?.node.kind === 'class' && base.def.node.record) {
|
|
40
|
+
const identity = (type) => [type.id, type.nullable, !!type.optional, type.args.map(identity)];
|
|
41
|
+
const key = JSON.stringify(identity(base));
|
|
42
|
+
let name = seenTypes.get(key);
|
|
43
|
+
if (!name) {
|
|
44
|
+
name = base.name + '_' + createHash('sha256').update(key).digest('hex').slice(0, 8);
|
|
45
|
+
seenTypes.set(key, name);
|
|
46
|
+
schemas[name] = {};
|
|
47
|
+
const record = base.def.node, params = new Map(record.typeParams.map((param, index) => [param, base.args[index]]));
|
|
48
|
+
const properties = {}, required = [];
|
|
49
|
+
for (const field of record.fields) {
|
|
50
|
+
if (field.name.startsWith('_'))
|
|
51
|
+
report(field.span, 'Private fields cannot appear in public JSON contracts');
|
|
52
|
+
const type = schemaType(project, field.type, base.def.file, params);
|
|
53
|
+
properties[field.name] = schema(type, field.span);
|
|
54
|
+
if (!type.optional)
|
|
55
|
+
required.push(field.name);
|
|
56
|
+
}
|
|
57
|
+
schemas[name] = { type: 'object', properties, required, additionalProperties: false };
|
|
58
|
+
}
|
|
59
|
+
result = { $ref: '#/components/schemas/' + name };
|
|
60
|
+
}
|
|
61
|
+
else {
|
|
62
|
+
report(span, `${base.name} has no complete OpenAPI schema; expose a concrete data record`);
|
|
63
|
+
result = {};
|
|
64
|
+
}
|
|
65
|
+
if (type.nullable)
|
|
66
|
+
result = typeof result.type === 'string' ? { ...result, type: [result.type, 'null'] } : { anyOf: [result, { type: 'null' }] };
|
|
67
|
+
return result;
|
|
68
|
+
};
|
|
69
|
+
const variants = (fn, visiting = new Set()) => {
|
|
70
|
+
if (visiting.has(fn)) {
|
|
71
|
+
report(fn.span, 'Recursive response helpers need a concrete response contract');
|
|
72
|
+
return [];
|
|
73
|
+
}
|
|
74
|
+
visiting = new Set([...visiting, fn]);
|
|
75
|
+
const result = [];
|
|
76
|
+
nodes(fn.body, node => {
|
|
77
|
+
if (node.kind !== 'return')
|
|
78
|
+
return;
|
|
79
|
+
const expr = node.value;
|
|
80
|
+
if (!expr) {
|
|
81
|
+
result.push({ status: fn.endpoint?.status ?? 200, type: primitive('void') });
|
|
82
|
+
return;
|
|
83
|
+
}
|
|
84
|
+
const type = checked.expressionTypes.get(expr) ?? schemaType(project, fn.returns, fn.span.file);
|
|
85
|
+
if (expr.kind === 'call' && expr.callee.kind === 'name' && type.name === 'HttpResponse') {
|
|
86
|
+
if (expr.callee.name !== 'HttpResponse') {
|
|
87
|
+
const def = project.scopes.get(fn.span.file)?.get(expr.callee.name);
|
|
88
|
+
if (def?.node.kind === 'function') {
|
|
89
|
+
result.push(...variants(def.node, visiting));
|
|
90
|
+
return;
|
|
91
|
+
}
|
|
92
|
+
}
|
|
93
|
+
else {
|
|
94
|
+
const plan = checked.callPlans.get(expr), source = plan?.sourceIndices[0], statusIndex = plan?.sourceIndices[1];
|
|
95
|
+
let status = 200;
|
|
96
|
+
if (statusIndex !== undefined) {
|
|
97
|
+
const value = expr.args[statusIndex];
|
|
98
|
+
if (value.kind !== 'literal' || typeof value.value !== 'number') {
|
|
99
|
+
report(value.span, 'OpenAPI response statuses must be explicit constants');
|
|
100
|
+
return;
|
|
101
|
+
}
|
|
102
|
+
status = value.value;
|
|
103
|
+
}
|
|
104
|
+
const body = source === undefined ? undefined : expr.args[source];
|
|
105
|
+
let bodyType = body ? checked.expressionTypes.get(body) ?? type.args[0] : primitive('void');
|
|
106
|
+
if (body?.kind === 'call' && body.callee.kind === 'name' && body.callee.name === 'Json') {
|
|
107
|
+
const index = checked.callPlans.get(body)?.sourceIndices[0];
|
|
108
|
+
if (index !== undefined)
|
|
109
|
+
bodyType = checked.expressionTypes.get(body.args[index]) ?? bodyType;
|
|
110
|
+
}
|
|
111
|
+
result.push({ status, type: bodyType });
|
|
112
|
+
return;
|
|
113
|
+
}
|
|
114
|
+
}
|
|
115
|
+
if (type.name === 'HttpResponse') {
|
|
116
|
+
report(expr.span, 'A dynamic HttpResponse needs explicit, discoverable response variants');
|
|
117
|
+
return;
|
|
118
|
+
}
|
|
119
|
+
if (type.name === 'Json' && expr.kind === 'call' && expr.callee.kind === 'name' && expr.callee.name === 'Json') {
|
|
120
|
+
const index = checked.callPlans.get(expr)?.sourceIndices[0];
|
|
121
|
+
if (index !== undefined) {
|
|
122
|
+
result.push({ status: fn.endpoint?.status ?? 200, type: checked.expressionTypes.get(expr.args[index]) ?? type });
|
|
123
|
+
return;
|
|
124
|
+
}
|
|
125
|
+
}
|
|
126
|
+
result.push({ status: fn.endpoint?.status ?? 200, type });
|
|
127
|
+
});
|
|
128
|
+
if (!result.length && fn.returns.name !== 'HttpResponse')
|
|
129
|
+
result.push({ status: fn.endpoint?.status ?? 200, type: schemaType(project, fn.returns, fn.span.file) });
|
|
130
|
+
return result;
|
|
131
|
+
};
|
|
132
|
+
const served = new Map();
|
|
133
|
+
nodes(project.main?.items, node => {
|
|
134
|
+
if (node.kind === 'serve')
|
|
135
|
+
for (const name of node.names) {
|
|
136
|
+
const def = project.scopes.get(project.main.path)?.get(name);
|
|
137
|
+
if (def?.node.kind === 'function' && def.node.endpoint)
|
|
138
|
+
served.set(def.id, def);
|
|
139
|
+
}
|
|
140
|
+
});
|
|
141
|
+
for (const def of served.values()) {
|
|
142
|
+
const fn = def.node, endpoint = fn.endpoint, doc = callableDocumentation(project, fn);
|
|
143
|
+
if ([config.path, config.docs, config.docs + '/client.js'].includes(endpoint.path))
|
|
144
|
+
report(fn.span, 'Endpoint path conflicts with configured OpenAPI routes');
|
|
145
|
+
const responses = {};
|
|
146
|
+
const response = (status, media, value) => {
|
|
147
|
+
const result = responses[status] ??= { description: status < 400 ? 'Successful response' : 'Error response', content: {} };
|
|
148
|
+
const current = result.content[media];
|
|
149
|
+
if (!current)
|
|
150
|
+
result.content[media] = { schema: value };
|
|
151
|
+
else if (JSON.stringify(current.schema) !== JSON.stringify(value))
|
|
152
|
+
current.schema = { oneOf: [current.schema, value] };
|
|
153
|
+
};
|
|
154
|
+
if (endpoint.streams) {
|
|
155
|
+
const item = schemaType(project, fn.returns, fn.span.file), sse = item.name === 'ServerEvent';
|
|
156
|
+
const itemSchema = sse ? { type: 'object', required: ['data'], properties: { data: { type: 'string', contentMediaType: 'application/json', contentSchema: schema(item.args[0], fn.span) }, id: { type: 'string' }, event: { type: 'string' }, retry: { type: 'integer', minimum: 0 } } } : schema(item, fn.span);
|
|
157
|
+
responses[endpoint.status] = { description: 'Streaming response', content: { [sse ? 'text/event-stream' : item.name === 'Html' ? 'text/html' : 'application/octet-stream']: { itemSchema } } };
|
|
158
|
+
}
|
|
159
|
+
for (const variant of endpoint.streams ? [] : variants(fn)) {
|
|
160
|
+
if (variant.type.name === 'void' || [204, 304].includes(variant.status))
|
|
161
|
+
responses[variant.status] = { description: 'Response with no body' };
|
|
162
|
+
else
|
|
163
|
+
response(variant.status, variant.type.name === 'Html' ? 'text/html' : variant.type.name === 'Bytes' ? 'application/octet-stream' : 'application/json', schema(variant.type, fn.span));
|
|
164
|
+
}
|
|
165
|
+
const parameters = [];
|
|
166
|
+
let requestBody;
|
|
167
|
+
const bodies = fn.params.filter(param => ['body', 'form'].includes(param.source?.kind ?? ''));
|
|
168
|
+
for (const param of fn.params) {
|
|
169
|
+
if (!param.source || ['body', 'form', 'request'].includes(param.source.kind))
|
|
170
|
+
continue;
|
|
171
|
+
const type = schemaType(project, param.type, def.file);
|
|
172
|
+
parameters.push({ name: param.source.name ?? param.name, in: param.source.kind, required: param.source.kind === 'path' || !type.optional,
|
|
173
|
+
schema: schema(type, param.span), ...(doc?.parameters.get(param.name) ? { description: doc.parameters.get(param.name) } : {}) });
|
|
174
|
+
}
|
|
175
|
+
if (bodies.length) {
|
|
176
|
+
const param = bodies[0], type = schemaType(project, param.type, def.file);
|
|
177
|
+
requestBody = { required: !type.optional, content: { [param.source.kind === 'form' ? 'application/x-www-form-urlencoded' : 'application/json']: { schema: schema(type, param.span) } } };
|
|
178
|
+
}
|
|
179
|
+
else if (fn.params.some(param => param.source?.kind === 'request')) {
|
|
180
|
+
nodes(fn.body, node => {
|
|
181
|
+
const call = node;
|
|
182
|
+
if (call.kind === 'call' && call.callee.kind === 'member' && call.callee.name === 'form' && call.typeArgs[0])
|
|
183
|
+
requestBody = { required: true, content: { 'application/x-www-form-urlencoded': { schema: schema(schemaType(project, call.typeArgs[0], def.file), call.span) } } };
|
|
184
|
+
});
|
|
185
|
+
}
|
|
186
|
+
const errors = new Set([500, ...endpoint.errors.map(error => error.status), ...fn.throws.map(error => endpoint.errors.find(mapped => mapped.type.name === error.name)?.status ?? 500)]);
|
|
187
|
+
const policies = checked.httpPolicies.get(fn) ?? [];
|
|
188
|
+
for (const policy of policies)
|
|
189
|
+
for (const status of policy.name === 'RequireLogin' ? [401] : policy.name === 'RequirePermission' ? [401, 403] : policy.name === 'RateLimit' ? [429] : policy.name === 'Timeout' ? [504] : policy.name === 'Cors' ? [400, 403] : [])
|
|
190
|
+
errors.add(status);
|
|
191
|
+
if (parameters.length || bodies.length)
|
|
192
|
+
errors.add(400);
|
|
193
|
+
if (requestBody) {
|
|
194
|
+
errors.add(413);
|
|
195
|
+
errors.add(415);
|
|
196
|
+
if (bodies.some(param => param.source?.kind === 'body'))
|
|
197
|
+
errors.add(422);
|
|
198
|
+
}
|
|
199
|
+
for (const status of errors)
|
|
200
|
+
response(status, 'application/problem+json', problem);
|
|
201
|
+
(paths[endpoint.path] ??= {})[endpoint.method.toLowerCase()] = { operationId: def.name, ...(doc ? { description: doc.markdown } : {}), parameters, ...(requestBody ? { requestBody } : {}), responses,
|
|
202
|
+
...(policies.length ? { 'x-august-policies': policies.map(policy => ({ name: policy.name, ...policy.options, dependencies: policy.dependencies.map(index => fn.params[index].name) })) } : {}) };
|
|
203
|
+
}
|
|
204
|
+
const document = { openapi: '3.2.1', jsonSchemaDialect: 'https://json-schema.org/draft/2020-12/schema', info: { title: config.title, version: config.version }, paths, components: { schemas } };
|
|
205
|
+
return { document, diagnostics };
|
|
206
|
+
}
|
|
207
|
+
export function apiExplorer(specPath, clientPath) {
|
|
208
|
+
const attr = (value) => value.replaceAll('&', '&').replaceAll('"', '"').replaceAll('<', '<');
|
|
209
|
+
return '<!doctype html><html lang="en"><meta charset="utf-8"><meta name="viewport" content="width=device-width,initial-scale=1"><title>August API</title><body style="font:16px system-ui;max-width:1000px;margin:40px auto;padding:20px"><h1>August API</h1><p>Contracts generated from served August endpoints.</p><main id="api" data-spec="' + attr(specPath) + '">Loading API…</main><script src="' + attr(clientPath) + '" defer></script></body></html>';
|
|
210
|
+
}
|
|
211
|
+
export const apiExplorerScript = `const root=document.getElementById('api');
|
|
212
|
+
const text=(tag,value)=>{const node=document.createElement(tag);node.textContent=value;return node};
|
|
213
|
+
fetch(root.dataset.spec).then(r=>r.json()).then(spec=>{root.textContent='';document.title=spec.info.title;for(const [path,methods] of Object.entries(spec.paths))for(const [method,op] of Object.entries(methods)){
|
|
214
|
+
const block=document.createElement('section');block.style.cssText='border:1px solid #ccd;padding:20px;border-radius:12px;margin:16px 0';block.append(text('h2',method.toUpperCase()+' '+path),text('p',op.description||op.operationId));
|
|
215
|
+
const form=document.createElement('form');const inputs=[];for(const p of op.parameters||[]){const label=text('label',p.in+' '+p.name+' ');const input=document.createElement('input');input.required=p.required;label.append(input);form.append(label);inputs.push([p,input]);}
|
|
216
|
+
let body;if(op.requestBody){body=document.createElement('textarea');body.placeholder='Request body';body.rows=5;body.style.display='block';form.append(body);}
|
|
217
|
+
const button=text('button','Send request');button.type='submit';const output=text('pre','');output.style.whiteSpace='pre-wrap';form.append(button);block.append(form,output);root.append(block);
|
|
218
|
+
form.addEventListener('submit',async event=>{event.preventDefault();let target=path;const query=new URLSearchParams(),headers={};for(const [p,input]of inputs){if(p.in==='path')target=target.replace('{'+p.name+'}',encodeURIComponent(input.value));else if(p.in==='query'&&input.value)query.append(p.name,input.value);else if(p.in==='header'&&input.value)headers[p.name]=input.value;}
|
|
219
|
+
const media=op.requestBody&&Object.keys(op.requestBody.content)[0];if(media)headers['content-type']=media;button.disabled=true;try{const r=await fetch(target+(query.size?'?'+query:''),{method:method.toUpperCase(),headers,body:body?body.value:undefined});output.textContent=r.status+' '+r.statusText+'\\n'+await r.text();}catch(error){output.textContent=String(error);}finally{button.disabled=false;}});
|
|
220
|
+
}}).catch(error=>root.textContent=String(error));`;
|