@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
|
@@ -0,0 +1,121 @@
|
|
|
1
|
+
#include "aug_runtime.h"
|
|
2
|
+
#include <gnutls/gnutls.h>
|
|
3
|
+
#include <gnutls/crypto.h>
|
|
4
|
+
#include <gnutls/abstract.h>
|
|
5
|
+
#include <gnutls/x509.h>
|
|
6
|
+
#include <pthread.h>
|
|
7
|
+
#include <stdlib.h>
|
|
8
|
+
#include <limits.h>
|
|
9
|
+
|
|
10
|
+
static pthread_once_t initialization = PTHREAD_ONCE_INIT;
|
|
11
|
+
static int initialization_status;
|
|
12
|
+
static void initialize(void) { initialization_status = gnutls_global_init(); }
|
|
13
|
+
static bool ready(void) { pthread_once(&initialization, initialize); return initialization_status >= 0; }
|
|
14
|
+
static gnutls_datum_t datum(AugValue value) {
|
|
15
|
+
return (gnutls_datum_t){(unsigned char *)value.as.object->text, (unsigned int)value.as.object->text_length};
|
|
16
|
+
}
|
|
17
|
+
static bool buffer(AugValue value, int kind) {
|
|
18
|
+
return value.tag == AUG_OBJECT && value.as.object && value.as.object->kind == kind &&
|
|
19
|
+
!value.as.object->dropped && value.as.object->text_length <= UINT_MAX;
|
|
20
|
+
}
|
|
21
|
+
static AugValue failure(void) { return aug_error_named("CryptoError"); }
|
|
22
|
+
static int private_key(AugValue value, gnutls_privkey_t *key) {
|
|
23
|
+
if (!ready() || !buffer(value, AUG_PRIVATE_KEY_KIND)) return -1;
|
|
24
|
+
int status = gnutls_privkey_init(key);
|
|
25
|
+
if (status >= 0) {
|
|
26
|
+
gnutls_datum_t input = datum(value);
|
|
27
|
+
status = gnutls_privkey_import_x509_raw(*key, &input, GNUTLS_X509_FMT_DER, NULL, 0);
|
|
28
|
+
}
|
|
29
|
+
return status;
|
|
30
|
+
}
|
|
31
|
+
AugValue _aug_crypto_random(AugValue size) {
|
|
32
|
+
if (!ready() || size.tag != AUG_INT || size.as.integer < 0 || size.as.integer > 16 * 1024 * 1024) return failure();
|
|
33
|
+
size_t count = (size_t)size.as.integer;
|
|
34
|
+
unsigned char *bytes = malloc(count ? count : 1); if (!bytes) return failure();
|
|
35
|
+
int status = gnutls_rnd(GNUTLS_RND_RANDOM, bytes, count);
|
|
36
|
+
AugValue result = status < 0 ? failure() : aug_bytes(bytes, count, AUG_BYTES_KIND);
|
|
37
|
+
free(bytes); return result;
|
|
38
|
+
}
|
|
39
|
+
AugValue _aug_crypto_sha256(AugValue input) {
|
|
40
|
+
if (!ready() || !buffer(input, AUG_BYTES_KIND)) return failure();
|
|
41
|
+
unsigned char digest[32];
|
|
42
|
+
if (gnutls_hash_fast(GNUTLS_DIG_SHA256, input.as.object->text, input.as.object->text_length, digest) < 0) return failure();
|
|
43
|
+
return aug_bytes(digest, sizeof(digest), AUG_BYTES_KIND);
|
|
44
|
+
}
|
|
45
|
+
AugValue _aug_crypto_generate_rsa(void) {
|
|
46
|
+
if (!ready()) return failure();
|
|
47
|
+
gnutls_x509_privkey_t key = NULL; gnutls_datum_t encoded = {0};
|
|
48
|
+
int status = gnutls_x509_privkey_init(&key);
|
|
49
|
+
if (status >= 0) status = gnutls_x509_privkey_generate(key, GNUTLS_PK_RSA, 3072, 0);
|
|
50
|
+
if (status >= 0) status = gnutls_x509_privkey_export2_pkcs8(key, GNUTLS_X509_FMT_DER, NULL, GNUTLS_PKCS_PLAIN, &encoded);
|
|
51
|
+
AugValue result = status < 0 ? failure() : aug_bytes(encoded.data, encoded.size, AUG_PRIVATE_KEY_KIND);
|
|
52
|
+
if (encoded.data) { gnutls_memset(encoded.data, 0, encoded.size); gnutls_free(encoded.data); }
|
|
53
|
+
if (key) gnutls_x509_privkey_deinit(key);
|
|
54
|
+
return result;
|
|
55
|
+
}
|
|
56
|
+
AugValue _aug_crypto_public_rsa(AugValue key) {
|
|
57
|
+
gnutls_privkey_t private = NULL; gnutls_pubkey_t public = NULL; gnutls_datum_t encoded = {0};
|
|
58
|
+
int status = private_key(key, &private);
|
|
59
|
+
if (status >= 0) status = gnutls_pubkey_init(&public);
|
|
60
|
+
if (status >= 0) status = gnutls_pubkey_import_privkey(public, private, 0, 0);
|
|
61
|
+
if (status >= 0) status = gnutls_pubkey_export2(public, GNUTLS_X509_FMT_DER, &encoded);
|
|
62
|
+
AugValue result = status < 0 ? failure() : aug_bytes(encoded.data, encoded.size, AUG_PUBLIC_KEY_KIND);
|
|
63
|
+
if (encoded.data) gnutls_free(encoded.data);
|
|
64
|
+
if (public) gnutls_pubkey_deinit(public);
|
|
65
|
+
if (private) gnutls_privkey_deinit(private);
|
|
66
|
+
return result;
|
|
67
|
+
}
|
|
68
|
+
AugValue _aug_crypto_sign_rsa(AugValue key, AugValue input) {
|
|
69
|
+
if (!buffer(input, AUG_BYTES_KIND)) return failure();
|
|
70
|
+
gnutls_privkey_t private = NULL; gnutls_datum_t signature = {0}, data = datum(input);
|
|
71
|
+
int status = private_key(key, &private);
|
|
72
|
+
if (status >= 0) status = gnutls_privkey_sign_data2(private, GNUTLS_SIGN_RSA_SHA256, 0, &data, &signature);
|
|
73
|
+
AugValue result = status < 0 ? failure() : aug_bytes(signature.data, signature.size, AUG_BYTES_KIND);
|
|
74
|
+
if (signature.data) gnutls_free(signature.data);
|
|
75
|
+
if (private) gnutls_privkey_deinit(private);
|
|
76
|
+
return result;
|
|
77
|
+
}
|
|
78
|
+
AugValue _aug_crypto_verify_rsa(AugValue publicKey, AugValue input, AugValue signature) {
|
|
79
|
+
if (!ready() || !buffer(publicKey, AUG_PUBLIC_KEY_KIND) || !buffer(input, AUG_BYTES_KIND) || !buffer(signature, AUG_BYTES_KIND)) return failure();
|
|
80
|
+
gnutls_pubkey_t key = NULL; gnutls_datum_t encoded = datum(publicKey), data = datum(input), sig = datum(signature);
|
|
81
|
+
int status = gnutls_pubkey_init(&key);
|
|
82
|
+
if (status >= 0) status = gnutls_pubkey_import(key, &encoded, GNUTLS_X509_FMT_DER);
|
|
83
|
+
if (status < 0) { if (key) gnutls_pubkey_deinit(key); return failure(); }
|
|
84
|
+
status = gnutls_pubkey_verify_data2(key, GNUTLS_SIGN_RSA_SHA256, 0, &data, &sig);
|
|
85
|
+
gnutls_pubkey_deinit(key);
|
|
86
|
+
return aug_bool(status >= 0);
|
|
87
|
+
}
|
|
88
|
+
AugValue _aug_crypto_decode_base64url(AugValue input) { return aug_base64url_decode(input); }
|
|
89
|
+
AugValue _aug_crypto_equal(AugValue left, AugValue right) {
|
|
90
|
+
if (!buffer(left, AUG_BYTES_KIND) || !buffer(right, AUG_BYTES_KIND) || left.as.object->text_length != right.as.object->text_length) return aug_bool(false);
|
|
91
|
+
return aug_bool(gnutls_memcmp(left.as.object->text, right.as.object->text, left.as.object->text_length) == 0);
|
|
92
|
+
}
|
|
93
|
+
AugValue _aug_crypto_export_rsa(AugValue publicKey) {
|
|
94
|
+
if (!ready() || !buffer(publicKey, AUG_PUBLIC_KEY_KIND)) return failure();
|
|
95
|
+
gnutls_pubkey_t key = NULL; gnutls_datum_t input = datum(publicKey), n = {0}, e = {0};
|
|
96
|
+
int status = gnutls_pubkey_init(&key);
|
|
97
|
+
if (status >= 0) status = gnutls_pubkey_import(key, &input, GNUTLS_X509_FMT_DER);
|
|
98
|
+
if (status >= 0) status = gnutls_pubkey_export_rsa_raw2(key, &n, &e, GNUTLS_EXPORT_FLAG_NO_LZ);
|
|
99
|
+
AugValue roots[2] = {0}; AugFrame frame; aug_frame_enter(&frame, roots, 2); AugValue result;
|
|
100
|
+
if (status < 0) result = failure();
|
|
101
|
+
else {roots[0] = aug_bytes(n.data, n.size, AUG_BYTES_KIND); roots[1] = aug_bytes(e.data, e.size, AUG_BYTES_KIND); result = aug_tuple_new(roots, 2); aug_freeze(result);}
|
|
102
|
+
aug_frame_leave(&frame); if (n.data) gnutls_free(n.data); if (e.data) gnutls_free(e.data); if (key) gnutls_pubkey_deinit(key); return result;
|
|
103
|
+
}
|
|
104
|
+
AugValue _aug_crypto_import_rsa(AugValue modulus, AugValue exponent) {
|
|
105
|
+
if (!ready() || !buffer(modulus, AUG_BYTES_KIND) || !buffer(exponent, AUG_BYTES_KIND)) return failure();
|
|
106
|
+
gnutls_datum_t n = datum(modulus), e = datum(exponent), encoded = {0};
|
|
107
|
+
if (n.size < 256 || n.size > 1024 || !n.data[0] || !(n.data[n.size - 1] & 1) || e.size < 1 || e.size > 4 || !e.data[0]) return failure();
|
|
108
|
+
uint32_t power = 0; for (unsigned int i = 0; i < e.size; i++) power = (power << 8) | e.data[i]; if (power < 3 || !(power & 1)) return failure();
|
|
109
|
+
gnutls_pubkey_t key = NULL; int status = gnutls_pubkey_init(&key); unsigned int bits = 0;
|
|
110
|
+
if (status >= 0) status = gnutls_pubkey_import_rsa_raw(key, &n, &e);
|
|
111
|
+
if (status >= 0 && (gnutls_pubkey_get_pk_algorithm(key, &bits) != GNUTLS_PK_RSA || bits < 2048 || bits > 8192)) status = -1;
|
|
112
|
+
if (status >= 0) status = gnutls_pubkey_export2(key, GNUTLS_X509_FMT_DER, &encoded);
|
|
113
|
+
AugValue result = status < 0 ? failure() : aug_bytes(encoded.data, encoded.size, AUG_PUBLIC_KEY_KIND);
|
|
114
|
+
if (encoded.data) gnutls_free(encoded.data); if (key) gnutls_pubkey_deinit(key); return result;
|
|
115
|
+
}
|
|
116
|
+
AugValue _aug_crypto_password_hash(AugValue password, AugValue salt, AugValue iterations) {
|
|
117
|
+
if (!ready() || !buffer(password, AUG_BYTES_KIND) || !buffer(salt, AUG_BYTES_KIND) || password.as.object->text_length > 1024 || salt.as.object->text_length < 16 || salt.as.object->text_length > 64 || iterations.tag != AUG_INT || iterations.as.integer < 100000 || iterations.as.integer > 2000000) return failure();
|
|
118
|
+
gnutls_datum_t key = datum(password), input_salt = datum(salt); unsigned char output[32];
|
|
119
|
+
int status = gnutls_pbkdf2(GNUTLS_MAC_SHA256, &key, &input_salt, (unsigned int)iterations.as.integer, output, sizeof(output));
|
|
120
|
+
AugValue result = status < 0 ? failure() : aug_bytes(output, sizeof(output), AUG_BYTES_KIND); gnutls_memset(output, 0, sizeof(output)); return result;
|
|
121
|
+
}
|
|
@@ -0,0 +1,93 @@
|
|
|
1
|
+
#include "aug_runtime.h"
|
|
2
|
+
#include <stdlib.h>
|
|
3
|
+
#include <string.h>
|
|
4
|
+
#include <stdio.h>
|
|
5
|
+
#include <strings.h>
|
|
6
|
+
typedef struct {char *text; size_t size, capacity;} HtmlBuffer;
|
|
7
|
+
static void append(HtmlBuffer *buffer, const char *text, size_t size) {
|
|
8
|
+
if (buffer->size + size + 1 > buffer->capacity) {buffer->capacity = (buffer->size + size + 1) * 2; buffer->text = realloc(buffer->text, buffer->capacity); if (!buffer->text) abort();}
|
|
9
|
+
memcpy(buffer->text + buffer->size, text, size); buffer->size += size; buffer->text[buffer->size] = 0;
|
|
10
|
+
}
|
|
11
|
+
static void text(HtmlBuffer *buffer, const char *value) {append(buffer, value, strlen(value));}
|
|
12
|
+
static void escape(HtmlBuffer *buffer, const char *value, size_t size) {
|
|
13
|
+
for (size_t i = 0; i < size; i++) {
|
|
14
|
+
const char *escaped = value[i] == '&' ? "&" : value[i] == '<' ? "<" : value[i] == '>' ? ">" : value[i] == '"' ? """ : value[i] == '\'' ? "'" : value[i] == 0 ? "�" : NULL;
|
|
15
|
+
if (escaped) text(buffer, escaped); else append(buffer, value + i, 1);
|
|
16
|
+
}
|
|
17
|
+
}
|
|
18
|
+
static void value(HtmlBuffer *buffer, AugValue item, bool attribute) {
|
|
19
|
+
if (item.tag == AUG_NULL) return;
|
|
20
|
+
if (item.tag == AUG_OBJECT && item.as.object->kind == AUG_HTML_KIND && !attribute) {append(buffer, item.as.object->text, item.as.object->text_length); return;}
|
|
21
|
+
if (item.tag == AUG_OBJECT && item.as.object->kind == AUG_LIST_KIND && !attribute) {for (size_t i = 0; i < item.as.object->field_count; i++) value(buffer, item.as.object->fields[i], false); return;}
|
|
22
|
+
if (item.tag == AUG_STRING) {escape(buffer, item.as.object->text, item.as.object->text_length); return;}
|
|
23
|
+
char number[64]; if (item.tag == AUG_INT) snprintf(number, sizeof(number), "%lld", (long long)item.as.integer);
|
|
24
|
+
else if (item.tag == AUG_FLOAT) snprintf(number, sizeof(number), "%.17g", item.as.floating);
|
|
25
|
+
else if (item.tag == AUG_BOOL) snprintf(number, sizeof(number), "%s", item.as.boolean ? "true" : "false"); else return;
|
|
26
|
+
text(buffer, number);
|
|
27
|
+
}
|
|
28
|
+
#ifdef AUG_HTTP_RUNTIME
|
|
29
|
+
AugValue aug_http_action(const char *route, AugValue *values, size_t count) {
|
|
30
|
+
HtmlBuffer buffer = {0}; AugFrame frame; aug_frame_enter(&frame,values,count);
|
|
31
|
+
AugValue encoded[2] = {0}; AugFrame encoded_frame; aug_frame_enter(&encoded_frame, encoded, 2);
|
|
32
|
+
text(&buffer,"{\"route\":"); text(&buffer,route); text(&buffer,",\"values\":[");
|
|
33
|
+
for (size_t i=0;i<count;i++) {
|
|
34
|
+
if(i) text(&buffer,",");
|
|
35
|
+
if(values[i].tag==AUG_NULL) text(&buffer,"null");
|
|
36
|
+
else {
|
|
37
|
+
encoded[0] = aug_json_stringify(values[i]);
|
|
38
|
+
if (!aug_has_error) encoded[1] = aug_json_stringify(encoded[0]);
|
|
39
|
+
if (aug_has_error) {aug_take_error();free(buffer.text);aug_frame_leave(&encoded_frame);aug_frame_leave(&frame);return aug_error_named("HttpError");}
|
|
40
|
+
append(&buffer,encoded[1].as.object->text,encoded[1].as.object->text_length);
|
|
41
|
+
}
|
|
42
|
+
}
|
|
43
|
+
text(&buffer,"],\"present\":[");for(size_t i=0;i<count;i++){if(i)text(&buffer,",");text(&buffer,values[i].tag==AUG_NULL?"false":"true");}text(&buffer,"]}");
|
|
44
|
+
AugValue result=aug_bytes(buffer.text,buffer.size,AUG_HTTP_ACTION_KIND);free(buffer.text);aug_frame_leave(&encoded_frame);aug_frame_leave(&frame);return result;
|
|
45
|
+
}
|
|
46
|
+
#endif
|
|
47
|
+
static bool has_actions(AugValue item) {
|
|
48
|
+
if(item.tag!=AUG_OBJECT)return false;
|
|
49
|
+
if(item.as.object->html_actions)return true;
|
|
50
|
+
if(item.as.object->kind==AUG_LIST_KIND)for(size_t i=0;i<item.as.object->field_count;i++)if(has_actions(item.as.object->fields[i]))return true;
|
|
51
|
+
return false;
|
|
52
|
+
}
|
|
53
|
+
AugValue aug_html_transport(AugValue html) {
|
|
54
|
+
if(!html.as.object->html_actions)return html;
|
|
55
|
+
const char *script="<script src=\"/__aug/actions.js\" defer></script>", *end=strstr(html.as.object->text,"</body>");
|
|
56
|
+
size_t offset=end?(size_t)(end-html.as.object->text):html.as.object->text_length;
|
|
57
|
+
HtmlBuffer buffer={0};append(&buffer,html.as.object->text,offset);text(&buffer,script);append(&buffer,html.as.object->text+offset,html.as.object->text_length-offset);
|
|
58
|
+
AugValue result=aug_bytes(buffer.text,buffer.size,AUG_HTML_KIND);free(buffer.text);return result;
|
|
59
|
+
}
|
|
60
|
+
static bool safe_url(AugValue input) {
|
|
61
|
+
if (input.tag != AUG_STRING) return true;
|
|
62
|
+
const char *text = input.as.object->text; size_t size = input.as.object->text_length;
|
|
63
|
+
if (memchr(text, 0, size)) return false;
|
|
64
|
+
char scheme[32]; size_t n = 0;
|
|
65
|
+
for (size_t i = 0; i < size && n + 1 < sizeof(scheme); i++) {
|
|
66
|
+
unsigned char c = (unsigned char)text[i]; if (c <= 32) continue; if (c == ':' || c == '/' || c == '?' || c == '#') break; scheme[n++] = (char)c;
|
|
67
|
+
}
|
|
68
|
+
scheme[n] = 0; return strcasecmp(scheme, "javascript") && strcasecmp(scheme, "vbscript") && strcasecmp(scheme, "data");
|
|
69
|
+
}
|
|
70
|
+
AugValue aug_html_element(const char *tag, AugValue *attributes, size_t count, AugValue *children, size_t child_count) {
|
|
71
|
+
HtmlBuffer buffer = {0}; AugFrame frame; aug_frame_enter(&frame, attributes, count * 2); AugFrame child_frame; aug_frame_enter(&child_frame, children, child_count);
|
|
72
|
+
bool actions=false;
|
|
73
|
+
if (*tag) {
|
|
74
|
+
text(&buffer, "<"); text(&buffer, tag);
|
|
75
|
+
for (size_t i = 0; i < count; i++) {
|
|
76
|
+
const char *name = aug_cstring(attributes[i * 2]); AugValue content = attributes[i * 2 + 1];
|
|
77
|
+
if(content.tag==AUG_OBJECT&&content.as.object->kind==AUG_HTTP_ACTION_KIND) {
|
|
78
|
+
text(&buffer," data-aug-event=\"");text(&buffer,!strcmp(name,"onSubmit")?"submit":"click");text(&buffer,"\" data-aug-action=\"");escape(&buffer,content.as.object->text,content.as.object->text_length);text(&buffer,"\"");actions=true;continue;
|
|
79
|
+
}
|
|
80
|
+
if ((!strcmp(name, "href") || !strcmp(name, "src") || !strcmp(name, "action") || !strcmp(name, "formaction") || !strcmp(name, "poster")) && !safe_url(content)) {free(buffer.text); aug_frame_leave(&child_frame); aug_frame_leave(&frame); return aug_error_named("HttpError");}
|
|
81
|
+
if (content.tag == AUG_BOOL && !content.as.boolean) continue;
|
|
82
|
+
text(&buffer, " "); text(&buffer, !strcmp(name, "className") ? "class" : !strcmp(name, "htmlFor") ? "for" : !strcmp(name, "tabIndex") ? "tabindex" : name);
|
|
83
|
+
if (content.tag != AUG_BOOL) {text(&buffer, "=\""); value(&buffer, content, true); text(&buffer, "\"");}
|
|
84
|
+
}
|
|
85
|
+
text(&buffer, ">");
|
|
86
|
+
}
|
|
87
|
+
for (size_t i = 0; i < child_count; i++) {value(&buffer, children[i], false);actions=actions||has_actions(children[i]);}
|
|
88
|
+
bool is_void = !strcmp(tag, "input") || !strcmp(tag, "img") || !strcmp(tag, "br") || !strcmp(tag, "hr") || !strcmp(tag, "meta") || !strcmp(tag, "link") || !strcmp(tag, "source") || !strcmp(tag, "track") || !strcmp(tag, "wbr") || !strcmp(tag, "area") || !strcmp(tag, "col") || !strcmp(tag, "embed") || !strcmp(tag, "param");
|
|
89
|
+
if (*tag && !is_void) {text(&buffer, "</"); text(&buffer, tag); text(&buffer, ">");}
|
|
90
|
+
AugValue result = aug_bytes(buffer.text ? buffer.text : "", buffer.size, AUG_HTML_KIND); free(buffer.text);
|
|
91
|
+
result.as.object->html_actions=actions;
|
|
92
|
+
aug_frame_leave(&child_frame); aug_frame_leave(&frame); return result;
|
|
93
|
+
}
|