@aster-cloud/aster-lang-test 0.0.2
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/corpus/tier1-equivalence/inputs/01-arithmetic-add.cases.json +30 -0
- package/corpus/tier1-equivalence/inputs/02-arithmetic-precedence.cases.json +33 -0
- package/corpus/tier1-equivalence/inputs/04-let-binding.cases.json +27 -0
- package/corpus/tier1-equivalence/inputs/05-comparison.cases.json +27 -0
- package/corpus/tier1-equivalence/inputs/06-string-concat.cases.json +27 -0
- package/corpus/tier1-equivalence/inputs/07-arithmetic-subtract.cases.json +30 -0
- package/corpus/tier1-equivalence/inputs/08-arithmetic-divide.cases.json +30 -0
- package/corpus/tier1-equivalence/inputs/09-arithmetic-modulo.cases.json +27 -0
- package/corpus/tier1-equivalence/inputs/10-arithmetic-negate.cases.json +27 -0
- package/corpus/tier1-equivalence/inputs/13-boolean-not.cases.json +27 -0
- package/corpus/tier1-equivalence/inputs/15-comparison-less.cases.json +30 -0
- package/corpus/tier1-equivalence/inputs/16-comparison-equals.cases.json +30 -0
- package/corpus/tier1-equivalence/inputs/19-let-multiple.cases.json +30 -0
- package/corpus/tier1-equivalence/inputs/20-let-dependent.cases.json +27 -0
- package/corpus/tier1-equivalence/inputs/28-business-insurance-premium.cases.json +30 -0
- package/corpus/tier1-equivalence/policies/01-arithmetic-add.aster +4 -0
- package/corpus/tier1-equivalence/policies/01-arithmetic-add.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/02-arithmetic-precedence.aster +4 -0
- package/corpus/tier1-equivalence/policies/02-arithmetic-precedence.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/04-let-binding.aster +5 -0
- package/corpus/tier1-equivalence/policies/04-let-binding.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/05-comparison.aster +4 -0
- package/corpus/tier1-equivalence/policies/05-comparison.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/06-string-concat.aster +4 -0
- package/corpus/tier1-equivalence/policies/06-string-concat.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/07-arithmetic-subtract.aster +4 -0
- package/corpus/tier1-equivalence/policies/07-arithmetic-subtract.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/08-arithmetic-divide.aster +4 -0
- package/corpus/tier1-equivalence/policies/08-arithmetic-divide.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/09-arithmetic-modulo.aster +5 -0
- package/corpus/tier1-equivalence/policies/09-arithmetic-modulo.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/10-arithmetic-negate.aster +4 -0
- package/corpus/tier1-equivalence/policies/10-arithmetic-negate.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/13-boolean-not.aster +4 -0
- package/corpus/tier1-equivalence/policies/13-boolean-not.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/15-comparison-less.aster +4 -0
- package/corpus/tier1-equivalence/policies/15-comparison-less.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/16-comparison-equals.aster +4 -0
- package/corpus/tier1-equivalence/policies/16-comparison-equals.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/19-let-multiple.aster +6 -0
- package/corpus/tier1-equivalence/policies/19-let-multiple.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/20-let-dependent.aster +6 -0
- package/corpus/tier1-equivalence/policies/20-let-dependent.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/28-business-insurance-premium.aster +7 -0
- package/corpus/tier1-equivalence/policies/28-business-insurance-premium.meta.json +12 -0
- package/corpus/tier1-equivalence/policies/arith_compare.aster +7 -0
- package/corpus/tier1-equivalence/policies/arith_compare.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/auto.aster +22 -0
- package/corpus/tier1-equivalence/policies/auto.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/bad_generic.aster +4 -0
- package/corpus/tier1-equivalence/policies/bad_generic.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/bad_generic_return.aster +4 -0
- package/corpus/tier1-equivalence/policies/bad_generic_return.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/bad_generic_return_type.aster +4 -0
- package/corpus/tier1-equivalence/policies/bad_generic_return_type.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/capability-v2.aster +12 -0
- package/corpus/tier1-equivalence/policies/capability-v2.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/capdemo.aster +7 -0
- package/corpus/tier1-equivalence/policies/capdemo.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/claims.aster +14 -0
- package/corpus/tier1-equivalence/policies/claims.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/cli_tool.aster +10 -0
- package/corpus/tier1-equivalence/policies/cli_tool.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/creditcard.aster +40 -0
- package/corpus/tier1-equivalence/policies/creditcard.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_alias_import.aster +22 -0
- package/corpus/tier1-equivalence/policies/eff_alias_import.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_alias_unmapped.aster +12 -0
- package/corpus/tier1-equivalence/policies/eff_alias_unmapped.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce.aster +7 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_brackets.aster +7 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_brackets.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_missing_ai_model.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_missing_ai_model.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_missing_files.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_missing_files.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_missing_secrets.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_missing_secrets.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_unused_extra.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_unused_extra.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_unused_files.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_unused_files.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_unused_time.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_caps_enforce_unused_time.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_parse.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_caps_parse.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_parse_bare.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_caps_parse_bare.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_parse_brackets.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_caps_parse_brackets.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_parse_files_secrets.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_caps_parse_files_secrets.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_parse_mixed_brackets_and_and.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_caps_parse_mixed_brackets_and_and.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_caps_parse_single.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_caps_parse_single.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_custom_prefix.aster +7 -0
- package/corpus/tier1-equivalence/policies/eff_custom_prefix.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_infer_mixed.aster +8 -0
- package/corpus/tier1-equivalence/policies/eff_infer_mixed.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_infer_transitive.aster +10 -0
- package/corpus/tier1-equivalence/policies/eff_infer_transitive.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_infer_wrapper_cpu.aster +7 -0
- package/corpus/tier1-equivalence/policies/eff_infer_wrapper_cpu.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_infer_wrapper_io.aster +7 -0
- package/corpus/tier1-equivalence/policies/eff_infer_wrapper_io.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_valid_all_caps.aster +9 -0
- package/corpus/tier1-equivalence/policies/eff_valid_all_caps.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_valid_cpu_only.aster +7 -0
- package/corpus/tier1-equivalence/policies/eff_valid_cpu_only.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_valid_exact_match.aster +5 -0
- package/corpus/tier1-equivalence/policies/eff_valid_exact_match.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_valid_exact_match__programs-patterns.aster +5 -0
- package/corpus/tier1-equivalence/policies/eff_valid_exact_match__programs-patterns.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_valid_http_sql.aster +5 -0
- package/corpus/tier1-equivalence/policies/eff_valid_http_sql.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_valid_nested.aster +13 -0
- package/corpus/tier1-equivalence/policies/eff_valid_nested.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_valid_pure_only.aster +7 -0
- package/corpus/tier1-equivalence/policies/eff_valid_pure_only.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_valid_subset_declared.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_valid_subset_declared.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_chain.aster +10 -0
- package/corpus/tier1-equivalence/policies/eff_violation_chain.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_cpu_calls_io.aster +7 -0
- package/corpus/tier1-equivalence/policies/eff_violation_cpu_calls_io.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_empty_caps.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_violation_empty_caps.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_files_calls_secrets.aster +5 -0
- package/corpus/tier1-equivalence/policies/eff_violation_files_calls_secrets.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_files_only.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_violation_files_only.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_http_calls_sql.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_violation_http_calls_sql.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_missing_http.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_violation_missing_http.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_missing_sql.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_violation_missing_sql.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_missing_time.aster +5 -0
- package/corpus/tier1-equivalence/policies/eff_violation_missing_time.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_mixed_caps.aster +6 -0
- package/corpus/tier1-equivalence/policies/eff_violation_mixed_caps.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_multiple_errors.aster +7 -0
- package/corpus/tier1-equivalence/policies/eff_violation_multiple_errors.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_nested_a.aster +10 -0
- package/corpus/tier1-equivalence/policies/eff_violation_nested_a.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_nested_b.aster +10 -0
- package/corpus/tier1-equivalence/policies/eff_violation_nested_b.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_pure_calls_cpu.aster +7 -0
- package/corpus/tier1-equivalence/policies/eff_violation_pure_calls_cpu.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_secrets_calls_ai.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_violation_secrets_calls_ai.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_secrets_calls_http.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_violation_secrets_calls_http.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_sql_calls_files.aster +5 -0
- package/corpus/tier1-equivalence/policies/eff_violation_sql_calls_files.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eff_violation_transitive.aster +4 -0
- package/corpus/tier1-equivalence/policies/eff_violation_transitive.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/effect_enforcement.aster +4 -0
- package/corpus/tier1-equivalence/policies/effect_enforcement.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/eligibility.aster +18 -0
- package/corpus/tier1-equivalence/policies/eligibility.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/enum_exhaustiveness.aster +5 -0
- package/corpus/tier1-equivalence/policies/enum_exhaustiveness.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/enum_wildcard.aster +6 -0
- package/corpus/tier1-equivalence/policies/enum_wildcard.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/fetch_dashboard.aster +11 -0
- package/corpus/tier1-equivalence/policies/fetch_dashboard.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/fraud-simple-test.aster +9 -0
- package/corpus/tier1-equivalence/policies/fraud-simple-test.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/fraud.aster +10 -0
- package/corpus/tier1-equivalence/policies/fraud.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/greet.aster +8 -0
- package/corpus/tier1-equivalence/policies/greet.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/hello.aster +4 -0
- package/corpus/tier1-equivalence/policies/hello.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/hipaa-validation-demo.aster +126 -0
- package/corpus/tier1-equivalence/policies/hipaa-validation-demo.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/id_generic.aster +4 -0
- package/corpus/tier1-equivalence/policies/id_generic.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/if_param.aster +7 -0
- package/corpus/tier1-equivalence/policies/if_param.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/incremental.aster +8 -0
- package/corpus/tier1-equivalence/policies/incremental.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/incremental_test.aster +10 -0
- package/corpus/tier1-equivalence/policies/incremental_test.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/incremental_test2.aster +10 -0
- package/corpus/tier1-equivalence/policies/incremental_test2.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/incremental_test3.aster +10 -0
- package/corpus/tier1-equivalence/policies/incremental_test3.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/int_match.aster +8 -0
- package/corpus/tier1-equivalence/policies/int_match.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/int_match_default.aster +7 -0
- package/corpus/tier1-equivalence/policies/int_match_default.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/interop_overload.aster +19 -0
- package/corpus/tier1-equivalence/policies/interop_overload.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/interop_sum.aster +16 -0
- package/corpus/tier1-equivalence/policies/interop_sum.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/lambda_cnl.aster +4 -0
- package/corpus/tier1-equivalence/policies/lambda_cnl.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/lambda_cnl_length.aster +4 -0
- package/corpus/tier1-equivalence/policies/lambda_cnl_length.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/lambda_cnl_length_cmp.aster +4 -0
- package/corpus/tier1-equivalence/policies/lambda_cnl_length_cmp.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/lambda_cnl_math_bool.aster +7 -0
- package/corpus/tier1-equivalence/policies/lambda_cnl_math_bool.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/lambda_cnl_short.aster +4 -0
- package/corpus/tier1-equivalence/policies/lambda_cnl_short.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/life.aster +18 -0
- package/corpus/tier1-equivalence/policies/life.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/list_ops.aster +10 -0
- package/corpus/tier1-equivalence/policies/list_ops.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/loan_fixed.aster +12 -0
- package/corpus/tier1-equivalence/policies/loan_fixed.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/loan_full_test.aster +12 -0
- package/corpus/tier1-equivalence/policies/loan_full_test.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/loan_with_constraints.aster +8 -0
- package/corpus/tier1-equivalence/policies/loan_with_constraints.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/loan_with_int.aster +12 -0
- package/corpus/tier1-equivalence/policies/loan_with_int.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/login.aster +11 -0
- package/corpus/tier1-equivalence/policies/login.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/map_ops.aster +7 -0
- package/corpus/tier1-equivalence/policies/map_ops.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/match_enum.aster +8 -0
- package/corpus/tier1-equivalence/policies/match_enum.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/match_multi.aster +8 -0
- package/corpus/tier1-equivalence/policies/match_multi.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/match_null.aster +6 -0
- package/corpus/tier1-equivalence/policies/match_null.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/nested_generic_function.aster +5 -0
- package/corpus/tier1-equivalence/policies/nested_generic_function.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/patient-record.aster +70 -0
- package/corpus/tier1-equivalence/policies/patient-record.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/pii_function_return.aster +8 -0
- package/corpus/tier1-equivalence/policies/pii_function_return.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/pii_http_safe.aster +4 -0
- package/corpus/tier1-equivalence/policies/pii_http_safe.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/pii_http_violation.aster +4 -0
- package/corpus/tier1-equivalence/policies/pii_http_violation.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/pii_nested_call.aster +11 -0
- package/corpus/tier1-equivalence/policies/pii_nested_call.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/pii_propagation.aster +5 -0
- package/corpus/tier1-equivalence/policies/pii_propagation.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/pii_type_basic.aster +4 -0
- package/corpus/tier1-equivalence/policies/pii_type_basic.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/pii_type_in_data.aster +6 -0
- package/corpus/tier1-equivalence/policies/pii_type_in_data.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/pii_type_in_function.aster +4 -0
- package/corpus/tier1-equivalence/policies/pii_type_in_function.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/pii_type_mixed.aster +8 -0
- package/corpus/tier1-equivalence/policies/pii_type_mixed.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/pii_type_phone.aster +4 -0
- package/corpus/tier1-equivalence/policies/pii_type_phone.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/pii_type_ssn.aster +4 -0
- package/corpus/tier1-equivalence/policies/pii_type_ssn.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/policy_demo.aster +19 -0
- package/corpus/tier1-equivalence/policies/policy_demo.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/policy_engine.aster +28 -0
- package/corpus/tier1-equivalence/policies/policy_engine.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/prescription-workflow.aster +83 -0
- package/corpus/tier1-equivalence/policies/prescription-workflow.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/rest_service.aster +10 -0
- package/corpus/tier1-equivalence/policies/rest_service.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/result_trycatch.aster +4 -0
- package/corpus/tier1-equivalence/policies/result_trycatch.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/risk.aster +8 -0
- package/corpus/tier1-equivalence/policies/risk.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/rules_engine.aster +4 -0
- package/corpus/tier1-equivalence/policies/rules_engine.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/simple_test.aster +6 -0
- package/corpus/tier1-equivalence/policies/simple_test.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/soc2-audit-demo.aster +117 -0
- package/corpus/tier1-equivalence/policies/soc2-audit-demo.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/stdlib_collections.aster +13 -0
- package/corpus/tier1-equivalence/policies/stdlib_collections.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/stdlib_io.aster +13 -0
- package/corpus/tier1-equivalence/policies/stdlib_io.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/stdlib_maybe_result.aster +19 -0
- package/corpus/tier1-equivalence/policies/stdlib_maybe_result.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/stdlib_text.aster +7 -0
- package/corpus/tier1-equivalence/policies/stdlib_text.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/symbolic_operators.aster +21 -0
- package/corpus/tier1-equivalence/policies/symbolic_operators.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test-operators.aster +12 -0
- package/corpus/tier1-equivalence/policies/test-operators.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_all_comparisons.aster +5 -0
- package/corpus/tier1-equivalence/policies/test_all_comparisons.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_arithmetic.aster +4 -0
- package/corpus/tier1-equivalence/policies/test_arithmetic.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_auto.aster +66 -0
- package/corpus/tier1-equivalence/policies/test_auto.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_claims.aster +44 -0
- package/corpus/tier1-equivalence/policies/test_claims.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_complex_return.aster +14 -0
- package/corpus/tier1-equivalence/policies/test_complex_return.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_copy.aster +7 -0
- package/corpus/tier1-equivalence/policies/test_copy.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_division.aster +9 -0
- package/corpus/tier1-equivalence/policies/test_division.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_eligibility.aster +46 -0
- package/corpus/tier1-equivalence/policies/test_eligibility.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_eligibility_full.aster +14 -0
- package/corpus/tier1-equivalence/policies/test_eligibility_full.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_eligibility_minimal.aster +10 -0
- package/corpus/tier1-equivalence/policies/test_eligibility_minimal.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_eligibility_simple.aster +7 -0
- package/corpus/tier1-equivalence/policies/test_eligibility_simple.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_eligibility_struct.aster +15 -0
- package/corpus/tier1-equivalence/policies/test_eligibility_struct.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_exact_eligibility.aster +18 -0
- package/corpus/tier1-equivalence/policies/test_exact_eligibility.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_gte.aster +4 -0
- package/corpus/tier1-equivalence/policies/test_gte.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_helper1.aster +6 -0
- package/corpus/tier1-equivalence/policies/test_helper1.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_invalid.aster +6 -0
- package/corpus/tier1-equivalence/policies/test_invalid.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_let_in_if.aster +4 -0
- package/corpus/tier1-equivalence/policies/test_let_in_if.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_let_member_call.aster +10 -0
- package/corpus/tier1-equivalence/policies/test_let_member_call.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_life.aster +80 -0
- package/corpus/tier1-equivalence/policies/test_life.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_loan.aster +8 -0
- package/corpus/tier1-equivalence/policies/test_loan.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_operators.aster +5 -0
- package/corpus/tier1-equivalence/policies/test_operators.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_return_with.aster +6 -0
- package/corpus/tier1-equivalence/policies/test_return_with.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_second_func.aster +4 -0
- package/corpus/tier1-equivalence/policies/test_second_func.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_two_ifs.aster +4 -0
- package/corpus/tier1-equivalence/policies/test_two_ifs.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/test_two_statements.aster +12 -0
- package/corpus/tier1-equivalence/policies/test_two_statements.meta.json +9 -0
- package/corpus/tier1-equivalence/policies/text_ops.aster +16 -0
- package/corpus/tier1-equivalence/policies/text_ops.meta.json +9 -0
- package/corpus/tier2-divergent/java-only/11-boolean-and.aster +4 -0
- package/corpus/tier2-divergent/java-only/11-boolean-and.meta.json +12 -0
- package/corpus/tier2-divergent/java-only/12-boolean-or.aster +4 -0
- package/corpus/tier2-divergent/java-only/12-boolean-or.meta.json +12 -0
- package/corpus/tier2-divergent/java-only/14-boolean-short-circuit.aster +4 -0
- package/corpus/tier2-divergent/java-only/14-boolean-short-circuit.meta.json +12 -0
- package/corpus/tier2-divergent/java-only/17-comparison-range.aster +4 -0
- package/corpus/tier2-divergent/java-only/17-comparison-range.meta.json +12 -0
- package/corpus/tier2-divergent/java-only/26-if-bool-condition.aster +9 -0
- package/corpus/tier2-divergent/java-only/26-if-bool-condition.meta.json +12 -0
- package/corpus/tier2-divergent/java-only/27-business-loan-eligibility.aster +4 -0
- package/corpus/tier2-divergent/java-only/27-business-loan-eligibility.meta.json +12 -0
- package/corpus/tier2-divergent/java-only/30-business-gdpr-retention.aster +4 -0
- package/corpus/tier2-divergent/java-only/30-business-gdpr-retention.meta.json +12 -0
- package/corpus/tier2-divergent/java-only/neq_test.aster +10 -0
- package/corpus/tier2-divergent/java-only/neq_test.meta.json +11 -0
- package/corpus/tier2-divergent/ts-only/03-if-else.aster +9 -0
- package/corpus/tier2-divergent/ts-only/03-if-else.cases.json +27 -0
- package/corpus/tier2-divergent/ts-only/03-if-else.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/18-comparison-chained.aster +9 -0
- package/corpus/tier2-divergent/ts-only/18-comparison-chained.cases.json +27 -0
- package/corpus/tier2-divergent/ts-only/18-comparison-chained.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/21-let-conditional.aster +8 -0
- package/corpus/tier2-divergent/ts-only/21-let-conditional.cases.json +27 -0
- package/corpus/tier2-divergent/ts-only/21-let-conditional.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/22-let-shadowing.aster +9 -0
- package/corpus/tier2-divergent/ts-only/22-let-shadowing.cases.json +27 -0
- package/corpus/tier2-divergent/ts-only/22-let-shadowing.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/23-if-nested.aster +10 -0
- package/corpus/tier2-divergent/ts-only/23-if-nested.cases.json +30 -0
- package/corpus/tier2-divergent/ts-only/23-if-nested.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/24-if-guard-clause.aster +6 -0
- package/corpus/tier2-divergent/ts-only/24-if-guard-clause.cases.json +27 -0
- package/corpus/tier2-divergent/ts-only/24-if-guard-clause.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/25-if-multi-branch.aster +11 -0
- package/corpus/tier2-divergent/ts-only/25-if-multi-branch.cases.json +27 -0
- package/corpus/tier2-divergent/ts-only/25-if-multi-branch.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/29-business-tax-bracket.aster +11 -0
- package/corpus/tier2-divergent/ts-only/29-business-tax-bracket.cases.json +27 -0
- package/corpus/tier2-divergent/ts-only/29-business-tax-bracket.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/comparison_operators.aster +10 -0
- package/corpus/tier2-divergent/ts-only/comparison_operators.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/cross_compiler_ops.aster +73 -0
- package/corpus/tier2-divergent/ts-only/cross_compiler_ops.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/enterprise.aster +119 -0
- package/corpus/tier2-divergent/ts-only/enterprise.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_match_bind.aster +18 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_match_bind.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_match_bind__programs-patterns.aster +18 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_match_bind__programs-patterns.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_match_maybe.aster +8 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_match_maybe.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_match_maybe__programs-patterns.aster +8 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_match_maybe__programs-patterns.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_match_result.aster +8 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_match_result.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_match_result__programs-patterns.aster +8 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_match_result__programs-patterns.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_mixed.aster +11 -0
- package/corpus/tier2-divergent/ts-only/lambda_cnl_mixed.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/lambda_gte_test.aster +8 -0
- package/corpus/tier2-divergent/ts-only/lambda_gte_test.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/lambda_lte_test.aster +8 -0
- package/corpus/tier2-divergent/ts-only/lambda_lte_test.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/loan.aster +12 -0
- package/corpus/tier2-divergent/ts-only/loan.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/nested_generic_lambda.aster +7 -0
- package/corpus/tier2-divergent/ts-only/nested_generic_lambda.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/personal.aster +113 -0
- package/corpus/tier2-divergent/ts-only/personal.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/test_all_comparisons__ts-only.aster +9 -0
- package/corpus/tier2-divergent/ts-only/test_all_comparisons__ts-only.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/test_eligibility_with_ifs.aster +18 -0
- package/corpus/tier2-divergent/ts-only/test_eligibility_with_ifs.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/test_let_with_call.aster +6 -0
- package/corpus/tier2-divergent/ts-only/test_let_with_call.meta.json +12 -0
- package/corpus/tier2-divergent/ts-only/test_operators__ts-only.aster +6 -0
- package/corpus/tier2-divergent/ts-only/test_operators__ts-only.meta.json +12 -0
- package/corpus/tier3-fixtures/comments/comment1.in.aster +6 -0
- package/corpus/tier3-fixtures/comments/comment1.in.meta.json +9 -0
- package/corpus/tier3-fixtures/comments/comment1.out.aster +4 -0
- package/corpus/tier3-fixtures/comments/comment1.out.meta.json +9 -0
- package/corpus/tier3-fixtures/comments/comment2.in.aster +6 -0
- package/corpus/tier3-fixtures/comments/comment2.in.meta.json +9 -0
- package/corpus/tier3-fixtures/comments/comment2.out.aster +5 -0
- package/corpus/tier3-fixtures/comments/comment2.out.meta.json +9 -0
- package/corpus/tier3-fixtures/comments/comment3.in.aster +8 -0
- package/corpus/tier3-fixtures/comments/comment3.in.meta.json +9 -0
- package/corpus/tier3-fixtures/comments/comment3.out.aster +8 -0
- package/corpus/tier3-fixtures/comments/comment3.out.meta.json +9 -0
- package/corpus/tier3-fixtures/fixtures/capability-violations.aster +15 -0
- package/corpus/tier3-fixtures/fixtures/capability-violations.meta.json +9 -0
- package/corpus/tier3-fixtures/fixtures/parallel-workflow.aster +4 -0
- package/corpus/tier3-fixtures/fixtures/parallel-workflow.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-ast/workflow-compensate.aster +15 -0
- package/corpus/tier3-fixtures/golden-ast/workflow-compensate.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-ast/workflow-linear__golden-ast.aster +14 -0
- package/corpus/tier3-fixtures/golden-ast/workflow-linear__golden-ast.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/bad_division_by_zero.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/bad_division_by_zero.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/bad_list_index_out_of_bounds.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/bad_list_index_out_of_bounds.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/bad_text_substring_negative.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/bad_text_substring_negative.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/bad_type_mismatch_add_text.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/bad_type_mismatch_add_text.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/boundary_empty_generic_list.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/boundary_empty_generic_list.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/boundary_empty_list_length.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/boundary_empty_list_length.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/boundary_list_slice_zero.aster +5 -0
- package/corpus/tier3-fixtures/golden-core/boundary_list_slice_zero.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/boundary_map_type.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/boundary_map_type.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/boundary_maybe_match.aster +6 -0
- package/corpus/tier3-fixtures/golden-core/boundary_maybe_match.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/boundary_null_match_default.aster +6 -0
- package/corpus/tier3-fixtures/golden-core/boundary_null_match_default.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/boundary_result_both.aster +7 -0
- package/corpus/tier3-fixtures/golden-core/boundary_result_both.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/boundary_result_err_null.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/boundary_result_err_null.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/boundary_text_empty_concat.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/boundary_text_empty_concat.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/boundary_text_trim_whitespace.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/boundary_text_trim_whitespace.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/eff_generic_func.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/eff_generic_func.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/eff_multiple_caps.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/eff_multiple_caps.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/generic_list_of_results.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/generic_list_of_results.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/generic_result_maybe.aster +6 -0
- package/corpus/tier3-fixtures/golden-core/generic_result_maybe.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/if_param__golden-core.aster +7 -0
- package/corpus/tier3-fixtures/golden-core/if_param__golden-core.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/inventory_workflow.aster +16 -0
- package/corpus/tier3-fixtures/golden-core/inventory_workflow.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/login__golden-core.aster +11 -0
- package/corpus/tier3-fixtures/golden-core/login__golden-core.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/payment_workflow.aster +16 -0
- package/corpus/tier3-fixtures/golden-core/payment_workflow.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/pii_param_return.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/pii_param_return.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/pii_result_type.aster +4 -0
- package/corpus/tier3-fixtures/golden-core/pii_result_type.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/type_inference_cnl.aster +146 -0
- package/corpus/tier3-fixtures/golden-core/type_inference_cnl.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/workflow-diamond.aster +19 -0
- package/corpus/tier3-fixtures/golden-core/workflow-diamond.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-core/workflow-linear__golden-core.aster +22 -0
- package/corpus/tier3-fixtures/golden-core/workflow-linear__golden-core.meta.json +9 -0
- package/corpus/tier3-fixtures/golden-diagnostics/pii_http_violation__golden-diagnostics.aster +4 -0
- package/corpus/tier3-fixtures/golden-diagnostics/pii_http_violation__golden-diagnostics.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/01-hello.aster +8 -0
- package/corpus/tier3-fixtures/lexicon-i18n/01-hello.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/01-hello__i18n-en-US.aster +7 -0
- package/corpus/tier3-fixtures/lexicon-i18n/01-hello__i18n-en-US.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/01-hello__i18n-zh-CN.aster +8 -0
- package/corpus/tier3-fixtures/lexicon-i18n/01-hello__i18n-zh-CN.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/02-types.aster +10 -0
- package/corpus/tier3-fixtures/lexicon-i18n/02-types.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/02-types__i18n-en-US.aster +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/02-types__i18n-en-US.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/02-types__i18n-zh-CN.aster +24 -0
- package/corpus/tier3-fixtures/lexicon-i18n/02-types__i18n-zh-CN.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/03-functions.aster +27 -0
- package/corpus/tier3-fixtures/lexicon-i18n/03-functions.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/03-functions__i18n-en-US.aster +27 -0
- package/corpus/tier3-fixtures/lexicon-i18n/03-functions__i18n-en-US.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/03-functions__i18n-zh-CN.aster +27 -0
- package/corpus/tier3-fixtures/lexicon-i18n/03-functions__i18n-zh-CN.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/04-control-flow.aster +35 -0
- package/corpus/tier3-fixtures/lexicon-i18n/04-control-flow.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/04-control-flow__i18n-en-US.aster +35 -0
- package/corpus/tier3-fixtures/lexicon-i18n/04-control-flow__i18n-en-US.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/04-control-flow__i18n-zh-CN.aster +35 -0
- package/corpus/tier3-fixtures/lexicon-i18n/04-control-flow__i18n-zh-CN.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/05-patterns.aster +27 -0
- package/corpus/tier3-fixtures/lexicon-i18n/05-patterns.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/05-patterns__i18n-en-US.aster +27 -0
- package/corpus/tier3-fixtures/lexicon-i18n/05-patterns__i18n-en-US.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/05-patterns__i18n-zh-CN.aster +27 -0
- package/corpus/tier3-fixtures/lexicon-i18n/05-patterns__i18n-zh-CN.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/06-operators.aster +49 -0
- package/corpus/tier3-fixtures/lexicon-i18n/06-operators.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/06-operators__i18n-en-US.aster +49 -0
- package/corpus/tier3-fixtures/lexicon-i18n/06-operators__i18n-en-US.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/06-operators__i18n-zh-CN.aster +49 -0
- package/corpus/tier3-fixtures/lexicon-i18n/06-operators__i18n-zh-CN.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/arithmetic.aster +24 -0
- package/corpus/tier3-fixtures/lexicon-i18n/arithmetic.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/hello__zh-CN.aster +6 -0
- package/corpus/tier3-fixtures/lexicon-i18n/hello__zh-CN.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/loan_decision.aster +21 -0
- package/corpus/tier3-fixtures/lexicon-i18n/loan_decision.meta.json +9 -0
- package/corpus/tier3-fixtures/lexicon-i18n/user_greeting.aster +10 -0
- package/corpus/tier3-fixtures/lexicon-i18n/user_greeting.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly1.in.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly1.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly1.out.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly1.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly10.in.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly10.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly10.out.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly10.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly11.in.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly11.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly11.out.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly11.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly12.in.aster +6 -0
- package/corpus/tier3-fixtures/lossless/ugly12.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly12.out.aster +5 -0
- package/corpus/tier3-fixtures/lossless/ugly12.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly13.in.aster +6 -0
- package/corpus/tier3-fixtures/lossless/ugly13.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly13.out.aster +6 -0
- package/corpus/tier3-fixtures/lossless/ugly13.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly14.in.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly14.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly14.out.aster +6 -0
- package/corpus/tier3-fixtures/lossless/ugly14.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly2.in.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly2.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly2.out.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly2.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly3.in.aster +6 -0
- package/corpus/tier3-fixtures/lossless/ugly3.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly3.out.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly3.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly4.in.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly4.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly4.out.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly4.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly5.in.aster +7 -0
- package/corpus/tier3-fixtures/lossless/ugly5.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly5.out.aster +5 -0
- package/corpus/tier3-fixtures/lossless/ugly5.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly6.in.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly6.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly6.out.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly6.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly7.in.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly7.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly7.out.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly7.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly8.in.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly8.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly8.out.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly8.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly9.in.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly9.in.meta.json +9 -0
- package/corpus/tier3-fixtures/lossless/ugly9.out.aster +4 -0
- package/corpus/tier3-fixtures/lossless/ugly9.out.meta.json +9 -0
- package/corpus/tier3-fixtures/lsp/a.aster +5 -0
- package/corpus/tier3-fixtures/lsp/a.meta.json +9 -0
- package/corpus/tier3-fixtures/lsp/b.aster +5 -0
- package/corpus/tier3-fixtures/lsp/b.meta.json +9 -0
- package/corpus/tier3-fixtures/lsp/bar.aster +7 -0
- package/corpus/tier3-fixtures/lsp/bar.meta.json +9 -0
- package/corpus/tier3-fixtures/lsp/foo.aster +7 -0
- package/corpus/tier3-fixtures/lsp/foo.meta.json +9 -0
- package/corpus/tier3-fixtures/parser-error/simple_function.aster +4 -0
- package/corpus/tier3-fixtures/parser-error/simple_function.meta.json +9 -0
- package/corpus/tier3-fixtures/parser-error/test-bad-syntax.aster +4 -0
- package/corpus/tier3-fixtures/parser-error/test-bad-syntax.meta.json +9 -0
- package/corpus/tier3-fixtures/parser-error/test-number-type.aster +6 -0
- package/corpus/tier3-fixtures/parser-error/test-number-type.meta.json +9 -0
- package/corpus/tier3-fixtures/parser-error/test_if_syntax.aster +8 -0
- package/corpus/tier3-fixtures/parser-error/test_if_syntax.meta.json +7 -0
- package/corpus/tier3-fixtures/parser-error/with_data_type.aster +4 -0
- package/corpus/tier3-fixtures/parser-error/with_data_type.meta.json +9 -0
- package/corpus/tier3-fixtures/policy-converter/async_policy.aster +9 -0
- package/corpus/tier3-fixtures/policy-converter/async_policy.meta.json +9 -0
- package/corpus/tier3-fixtures/policy-converter/data_policy.aster +9 -0
- package/corpus/tier3-fixtures/policy-converter/data_policy.meta.json +9 -0
- package/corpus/tier3-fixtures/policy-converter/effects_policy.aster +7 -0
- package/corpus/tier3-fixtures/policy-converter/effects_policy.meta.json +9 -0
- package/corpus/tier3-fixtures/policy-converter/simple_policy.aster +7 -0
- package/corpus/tier3-fixtures/policy-converter/simple_policy.meta.json +9 -0
- package/corpus/tier3-fixtures/runtime-retry/retry_max_attempts.aster +13 -0
- package/corpus/tier3-fixtures/runtime-retry/retry_max_attempts.meta.json +9 -0
- package/corpus/tier3-fixtures/runtime-retry/retry_success.aster +13 -0
- package/corpus/tier3-fixtures/runtime-retry/retry_success.meta.json +9 -0
- package/corpus/tier3-fixtures/runtime-retry/retry_with_timeout.aster +4 -0
- package/corpus/tier3-fixtures/runtime-retry/retry_with_timeout.meta.json +9 -0
- package/corpus/tier3-fixtures/truffle/smoke-test.aster +4 -0
- package/corpus/tier3-fixtures/truffle/smoke-test.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/async_duplicate_start.aster +7 -0
- package/corpus/tier3-fixtures/type-checker/async_duplicate_start.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/async_duplicate_wait.aster +7 -0
- package/corpus/tier3-fixtures/type-checker/async_duplicate_wait.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/async_missing_wait.aster +5 -0
- package/corpus/tier3-fixtures/type-checker/async_missing_wait.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/async_wait_not_started.aster +5 -0
- package/corpus/tier3-fixtures/type-checker/async_wait_not_started.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/basic_types.aster +4 -0
- package/corpus/tier3-fixtures/type-checker/basic_types.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/capability_missing_decl.aster +5 -0
- package/corpus/tier3-fixtures/type-checker/capability_missing_decl.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/effect_missing_cpu.aster +4 -0
- package/corpus/tier3-fixtures/type-checker/effect_missing_cpu.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/effect_missing_io.aster +4 -0
- package/corpus/tier3-fixtures/type-checker/effect_missing_io.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/effect_var_basic.aster +8 -0
- package/corpus/tier3-fixtures/type-checker/effect_var_basic.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/generics.aster +4 -0
- package/corpus/tier3-fixtures/type-checker/generics.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/inventory_capability_missing_io.aster +7 -0
- package/corpus/tier3-fixtures/type-checker/inventory_capability_missing_io.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/inventory_capability_success.aster +9 -0
- package/corpus/tier3-fixtures/type-checker/inventory_capability_success.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/lambda_with_effects.aster +9 -0
- package/corpus/tier3-fixtures/type-checker/lambda_with_effects.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/list_literal_mismatch.aster +4 -0
- package/corpus/tier3-fixtures/type-checker/list_literal_mismatch.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/payment_capability_missing_io.aster +7 -0
- package/corpus/tier3-fixtures/type-checker/payment_capability_missing_io.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/payment_capability_success.aster +9 -0
- package/corpus/tier3-fixtures/type-checker/payment_capability_success.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/pii_http_violation__type-checker.aster +4 -0
- package/corpus/tier3-fixtures/type-checker/pii_http_violation__type-checker.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/return_type_mismatch.aster +4 -0
- package/corpus/tier3-fixtures/type-checker/return_type_mismatch.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/type_mismatch_assign.aster +7 -0
- package/corpus/tier3-fixtures/type-checker/type_mismatch_assign.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/with_external_package.aster +6 -0
- package/corpus/tier3-fixtures/type-checker/with_external_package.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow-compensate-new-cap.aster +11 -0
- package/corpus/tier3-fixtures/type-checker/workflow-compensate-new-cap.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow-linear__type-checker.aster +23 -0
- package/corpus/tier3-fixtures/type-checker/workflow-linear__type-checker.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow-missing-compensate.aster +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow-missing-compensate.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow-missing-io.aster +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow-missing-io.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow-type-mismatch.aster +11 -0
- package/corpus/tier3-fixtures/type-checker/workflow-type-mismatch.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow-undeclared-capability.aster +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow-undeclared-capability.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow_retry_exponential.aster +13 -0
- package/corpus/tier3-fixtures/type-checker/workflow_retry_exponential.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow_retry_many_attempts.aster +13 -0
- package/corpus/tier3-fixtures/type-checker/workflow_retry_many_attempts.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow_retry_timeout_conflict.aster +15 -0
- package/corpus/tier3-fixtures/type-checker/workflow_retry_timeout_conflict.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow_timeout_too_long.aster +11 -0
- package/corpus/tier3-fixtures/type-checker/workflow_timeout_too_long.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker/workflow_timeout_too_short.aster +11 -0
- package/corpus/tier3-fixtures/type-checker/workflow_timeout_too_short.meta.json +9 -0
- package/corpus/tier3-fixtures/type-checker-cross-module/external-packages/mock/pkg/analytics/remote.aster +4 -0
- package/corpus/tier3-fixtures/type-checker-cross-module/external-packages/mock/pkg/analytics/remote.meta.json +7 -0
- package/corpus/tier3-fixtures/type-checker-cross-module/module_a.aster +4 -0
- package/corpus/tier3-fixtures/type-checker-cross-module/module_a.meta.json +7 -0
- package/corpus/tier3-fixtures/type-checker-cross-module/module_b.aster +6 -0
- package/corpus/tier3-fixtures/type-checker-cross-module/module_b.meta.json +7 -0
- package/corpus/tier3-fixtures/type-checker-cross-module/module_b_external.aster +6 -0
- package/corpus/tier3-fixtures/type-checker-cross-module/module_b_external.meta.json +7 -0
- package/corpus/tier3-fixtures/type-checker-cross-module/module_b_missing_pkg.aster +6 -0
- package/corpus/tier3-fixtures/type-checker-cross-module/module_b_missing_pkg.meta.json +7 -0
- package/dist/loader.d.ts +55 -0
- package/dist/loader.d.ts.map +1 -0
- package/dist/loader.js +97 -0
- package/dist/loader.js.map +1 -0
- package/dist/test/loader.test.d.ts +2 -0
- package/dist/test/loader.test.d.ts.map +1 -0
- package/dist/test/loader.test.js +45 -0
- package/dist/test/loader.test.js.map +1 -0
- package/package.json +34 -0
|
@@ -0,0 +1,27 @@
|
|
|
1
|
+
// Deutsche Muster - Musterabgleich mit pruefe/bei
|
|
2
|
+
Dieses Modul ist test.muster.
|
|
3
|
+
|
|
4
|
+
Definiere Benutzer mit id, name, rolle.
|
|
5
|
+
|
|
6
|
+
Definiere Status als eines von Ausstehend, Aktiv, Gesperrt, Geloescht.
|
|
7
|
+
|
|
8
|
+
// Abgleich auf optionalen Wert
|
|
9
|
+
Um benutzerBegruessen mit benutzer, liefert:
|
|
10
|
+
pruefe benutzer:
|
|
11
|
+
bei null, gib zurueck "Hallo, Gast".
|
|
12
|
+
bei Benutzer(id, name, rolle), gib zurueck "Willkommen, " plus name.
|
|
13
|
+
|
|
14
|
+
// Abgleich auf Aufzaehlung
|
|
15
|
+
Um statusBeschreiben mit status, liefert:
|
|
16
|
+
pruefe status:
|
|
17
|
+
bei Ausstehend, gib zurueck "Wartet auf Freigabe".
|
|
18
|
+
bei Aktiv, gib zurueck "Derzeit aktiv".
|
|
19
|
+
bei Gesperrt, gib zurueck "Voruebergehend gesperrt".
|
|
20
|
+
bei Geloescht, gib zurueck "Dauerhaft entfernt".
|
|
21
|
+
|
|
22
|
+
// Abgleich mit Ganzzahl-Literal
|
|
23
|
+
Um punktzahlKlassifizieren mit punktzahl, liefert:
|
|
24
|
+
pruefe punktzahl:
|
|
25
|
+
bei 0, gib zurueck "Null".
|
|
26
|
+
bei 100, gib zurueck "Perfekt".
|
|
27
|
+
bei andere, gib zurueck "In Bearbeitung".
|
|
@@ -0,0 +1,27 @@
|
|
|
1
|
+
// English Patterns - Pattern matching with match/when
|
|
2
|
+
Module test.patterns.
|
|
3
|
+
|
|
4
|
+
Define User has id, name, role.
|
|
5
|
+
|
|
6
|
+
Define Status as one of Pending, Active, Suspended, Deleted.
|
|
7
|
+
|
|
8
|
+
// Match on optional value
|
|
9
|
+
Rule greetUser given user, produce:
|
|
10
|
+
Match user:
|
|
11
|
+
When null, Return "Hello, guest".
|
|
12
|
+
When User(id, name, role), Return "Welcome, " plus name.
|
|
13
|
+
|
|
14
|
+
// Match on enum
|
|
15
|
+
Rule describeStatus given status, produce:
|
|
16
|
+
Match status:
|
|
17
|
+
When Pending, Return "Waiting for approval".
|
|
18
|
+
When Active, Return "Currently active".
|
|
19
|
+
When Suspended, Return "Temporarily suspended".
|
|
20
|
+
When Deleted, Return "Permanently removed".
|
|
21
|
+
|
|
22
|
+
// Match with integer literal
|
|
23
|
+
Rule classifyScore given score, produce:
|
|
24
|
+
Match score:
|
|
25
|
+
When 0, Return "Zero".
|
|
26
|
+
When 100, Return "Perfect".
|
|
27
|
+
When other, Return "In progress".
|
|
@@ -0,0 +1,27 @@
|
|
|
1
|
+
// 中文模式匹配 - 若/为模式匹配
|
|
2
|
+
模块 测试.模式。
|
|
3
|
+
|
|
4
|
+
定义 用户 包含 编号,名字,角色。
|
|
5
|
+
|
|
6
|
+
定义 状态 为以下之一 待处理、进行中、已暂停、已删除。
|
|
7
|
+
|
|
8
|
+
// 匹配可选值
|
|
9
|
+
规则 问候用户 包含 用户,产出:
|
|
10
|
+
若 用户:
|
|
11
|
+
为 空,返回 「你好,访客」。
|
|
12
|
+
为 用户(编号, 名字, 角色),返回 「欢迎,」 加 名字。
|
|
13
|
+
|
|
14
|
+
// 匹配枚举
|
|
15
|
+
规则 描述状态 包含 状态,产出:
|
|
16
|
+
若 状态:
|
|
17
|
+
为 待处理,返回 「等待审批」。
|
|
18
|
+
为 进行中,返回 「处理中」。
|
|
19
|
+
为 已暂停,返回 「已暂停」。
|
|
20
|
+
为 已删除,返回 「已删除」。
|
|
21
|
+
|
|
22
|
+
// 整数字面量匹配
|
|
23
|
+
规则 评分分类 包含 评分,产出:
|
|
24
|
+
若 评分:
|
|
25
|
+
为 0,返回 「零」。
|
|
26
|
+
为 100,返回 「满分」。
|
|
27
|
+
为 其他,返回 「进行中」。
|
|
@@ -0,0 +1,49 @@
|
|
|
1
|
+
// Deutsche Operatoren - Arithmetische und Vergleichsoperatoren
|
|
2
|
+
Dieses Modul ist test.operatoren.
|
|
3
|
+
|
|
4
|
+
// Arithmetische Operationen
|
|
5
|
+
Um zahlenAddieren mit a, b, liefert:
|
|
6
|
+
gib zurueck a plus b.
|
|
7
|
+
|
|
8
|
+
Um zahlenSubtrahieren mit a, b, liefert:
|
|
9
|
+
gib zurueck a minus b.
|
|
10
|
+
|
|
11
|
+
Um zahlenMultiplizieren mit a, b, liefert:
|
|
12
|
+
gib zurueck a mal b.
|
|
13
|
+
|
|
14
|
+
Um zahlenDividieren mit a, b, liefert:
|
|
15
|
+
gib zurueck a geteilt durch b.
|
|
16
|
+
|
|
17
|
+
// Vergleichsoperationen
|
|
18
|
+
Um istGroesser mit a, b, liefert:
|
|
19
|
+
gib zurueck a groesser als b.
|
|
20
|
+
|
|
21
|
+
Um istKleiner mit a, b, liefert:
|
|
22
|
+
gib zurueck a kleiner als b.
|
|
23
|
+
|
|
24
|
+
Um sindGleich mit a, b, liefert:
|
|
25
|
+
gib zurueck a entspricht b.
|
|
26
|
+
|
|
27
|
+
// Boolesche Operationen
|
|
28
|
+
Um beideWahr mit a, b, liefert:
|
|
29
|
+
wenn a entspricht wahr:
|
|
30
|
+
wenn b entspricht wahr:
|
|
31
|
+
gib zurueck wahr.
|
|
32
|
+
gib zurueck falsch.
|
|
33
|
+
|
|
34
|
+
Um einesWahr mit a, b, liefert:
|
|
35
|
+
wenn a entspricht wahr:
|
|
36
|
+
gib zurueck wahr.
|
|
37
|
+
wenn b entspricht wahr:
|
|
38
|
+
gib zurueck wahr.
|
|
39
|
+
gib zurueck falsch.
|
|
40
|
+
|
|
41
|
+
Um negieren mit a, liefert:
|
|
42
|
+
gib zurueck nicht a.
|
|
43
|
+
|
|
44
|
+
// Kombinierter Ausdruck
|
|
45
|
+
Um komplexeBerechnung mit a, b, c, liefert:
|
|
46
|
+
sei summe gleich a plus b.
|
|
47
|
+
sei produkt gleich summe mal c.
|
|
48
|
+
sei resultat gleich produkt minus a.
|
|
49
|
+
gib zurueck resultat.
|
|
@@ -0,0 +1,49 @@
|
|
|
1
|
+
// English Operators - Arithmetic and comparison operators
|
|
2
|
+
Module test.operators.
|
|
3
|
+
|
|
4
|
+
// Arithmetic operations
|
|
5
|
+
Rule addNumbers given a, b, produce:
|
|
6
|
+
Return a plus b.
|
|
7
|
+
|
|
8
|
+
Rule subtractNumbers given a, b, produce:
|
|
9
|
+
Return a minus b.
|
|
10
|
+
|
|
11
|
+
Rule multiplyNumbers given a, b, produce:
|
|
12
|
+
Return a times b.
|
|
13
|
+
|
|
14
|
+
Rule divideNumbers given a, b, produce:
|
|
15
|
+
Return a divided by b.
|
|
16
|
+
|
|
17
|
+
// Comparison operations
|
|
18
|
+
Rule isGreater given a, b, produce:
|
|
19
|
+
Return a greater than b.
|
|
20
|
+
|
|
21
|
+
Rule isLesser given a, b, produce:
|
|
22
|
+
Return a less than b.
|
|
23
|
+
|
|
24
|
+
Rule areEqual given a, b, produce:
|
|
25
|
+
Return a equals to b.
|
|
26
|
+
|
|
27
|
+
// Boolean operations
|
|
28
|
+
Rule bothTrue given a, b, produce:
|
|
29
|
+
If a equals to true
|
|
30
|
+
If b equals to true
|
|
31
|
+
Return true.
|
|
32
|
+
Return false.
|
|
33
|
+
|
|
34
|
+
Rule eitherTrue given a, b, produce:
|
|
35
|
+
If a equals to true
|
|
36
|
+
Return true.
|
|
37
|
+
If b equals to true
|
|
38
|
+
Return true.
|
|
39
|
+
Return false.
|
|
40
|
+
|
|
41
|
+
Rule negate given a, produce:
|
|
42
|
+
Return not a.
|
|
43
|
+
|
|
44
|
+
// Combined expression
|
|
45
|
+
Rule complexCalc given a, b, c, produce:
|
|
46
|
+
Let sum be a plus b.
|
|
47
|
+
Let product be sum times c.
|
|
48
|
+
Let result be product minus a.
|
|
49
|
+
Return result.
|
|
@@ -0,0 +1,49 @@
|
|
|
1
|
+
// 中文运算符 - 算术和比较运算符
|
|
2
|
+
模块 测试.运算符。
|
|
3
|
+
|
|
4
|
+
// 算术运算
|
|
5
|
+
规则 相加 包含 甲,乙,产出:
|
|
6
|
+
返回 甲 加 乙。
|
|
7
|
+
|
|
8
|
+
规则 相减 包含 甲,乙,产出:
|
|
9
|
+
返回 甲 减 乙。
|
|
10
|
+
|
|
11
|
+
规则 相乘 包含 甲,乙,产出:
|
|
12
|
+
返回 甲 乘 乙。
|
|
13
|
+
|
|
14
|
+
规则 相除 包含 甲,乙,产出:
|
|
15
|
+
返回 甲 除以 乙。
|
|
16
|
+
|
|
17
|
+
// 比较运算
|
|
18
|
+
规则 是否更大 包含 甲,乙,产出:
|
|
19
|
+
返回 甲 大于 乙。
|
|
20
|
+
|
|
21
|
+
规则 是否更小 包含 甲,乙,产出:
|
|
22
|
+
返回 甲 小于 乙。
|
|
23
|
+
|
|
24
|
+
规则 是否相等 包含 甲,乙,产出:
|
|
25
|
+
返回 甲 等于 乙。
|
|
26
|
+
|
|
27
|
+
// 布尔运算
|
|
28
|
+
规则 同时为真 包含 甲,乙,产出:
|
|
29
|
+
如果 甲 等于 真:
|
|
30
|
+
如果 乙 等于 真:
|
|
31
|
+
返回 真。
|
|
32
|
+
返回 假。
|
|
33
|
+
|
|
34
|
+
规则 任一为真 包含 甲,乙,产出:
|
|
35
|
+
如果 甲 等于 真:
|
|
36
|
+
返回 真。
|
|
37
|
+
如果 乙 等于 真:
|
|
38
|
+
返回 真。
|
|
39
|
+
返回 假。
|
|
40
|
+
|
|
41
|
+
规则 取反 包含 甲,产出:
|
|
42
|
+
返回 非 甲。
|
|
43
|
+
|
|
44
|
+
// 组合表达式
|
|
45
|
+
规则 复杂计算 包含 甲,乙,丙,产出:
|
|
46
|
+
令 和 为 甲 加 乙。
|
|
47
|
+
令 积 为 和 乘 丙。
|
|
48
|
+
令 答案 为 积 减 甲。
|
|
49
|
+
返回 答案。
|
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
// 算术运算示例 - 展示中文运算符
|
|
2
|
+
模块 数学.计算。
|
|
3
|
+
|
|
4
|
+
// 加法
|
|
5
|
+
加法 入参 甲,乙,产出:
|
|
6
|
+
返回 甲 加 乙。
|
|
7
|
+
|
|
8
|
+
// 减法
|
|
9
|
+
减法 入参 甲,乙,产出:
|
|
10
|
+
返回 甲 减 乙。
|
|
11
|
+
|
|
12
|
+
// 乘法
|
|
13
|
+
乘法 入参 甲,乙,产出:
|
|
14
|
+
返回 甲 乘 乙。
|
|
15
|
+
|
|
16
|
+
// 除法
|
|
17
|
+
除法 入参 甲,乙,产出:
|
|
18
|
+
返回 甲 除以 乙。
|
|
19
|
+
|
|
20
|
+
// 复合运算
|
|
21
|
+
复合运算 入参 甲,乙,丙,产出:
|
|
22
|
+
令 和 为 甲 加 乙。
|
|
23
|
+
令 积 为 和 乘 丙。
|
|
24
|
+
返回 积。
|
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
// 贷款决策示例 - 对应英文 test_loan.aster
|
|
2
|
+
模块 金融.贷款。
|
|
3
|
+
|
|
4
|
+
定义 贷款申请 包含 申请人编号,金额。
|
|
5
|
+
|
|
6
|
+
定义 贷款决定 包含 批准,原因。
|
|
7
|
+
|
|
8
|
+
// 检查年龄是否符合条件
|
|
9
|
+
检查年龄 入参 年龄,产出:
|
|
10
|
+
如果 年龄 小于 18:
|
|
11
|
+
返回 假。
|
|
12
|
+
返回 真。
|
|
13
|
+
|
|
14
|
+
// 评估贷款申请
|
|
15
|
+
评估贷款 入参 申请,年龄,产出:
|
|
16
|
+
令 年龄合格 为 检查年龄(年龄)。
|
|
17
|
+
如果 非 年龄合格:
|
|
18
|
+
返回 贷款决定(假, 「申请人未满18岁」)。
|
|
19
|
+
如果 申请.金额 大于 100000:
|
|
20
|
+
返回 贷款决定(假, 「金额超过限额」)。
|
|
21
|
+
返回 贷款决定(真, 「审核通过」)。
|