@aster-cloud/aster-lang-test 0.0.2

package/corpus/tier1-equivalence/policies/test_complex_return.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/regression/eligibility/test_complex_return.aster"
+}

package/corpus/tier1-equivalence/policies/test_copy.aster

@@ -0,0 +1,7 @@
+Module app.math.
+
+Rule cmp given x, y, produce:
+  Return x less than y.
+
+Rule add given x, y, produce:
+  Return x plus y.

package/corpus/tier1-equivalence/policies/test_copy.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/regression/eligibility/test_copy.aster"
+}

package/corpus/tier1-equivalence/policies/test_division.aster

@@ -0,0 +1,9 @@
+Module test.division.
+
+Rule divide given x, y, produce:
+  Return x divided by y.
+
+Rule multiplyAndDivide given x, y, z, produce:
+  Let product be x times y.
+  Let result be product divided by z.
+  Return result.

package/corpus/tier1-equivalence/policies/test_division.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/regression/eligibility/test_division.aster"
+}

package/corpus/tier1-equivalence/policies/test_eligibility.aster

@@ -0,0 +1,46 @@
+Module test.healthcare.eligibility.
+
+Define Patient has patientId, age, hasInsurance, insuranceType, chronicConditions.
+
+Define Service has serviceCode, serviceName, basePrice, requiresPreAuth.
+
+Define EligibilityCheck has eligible, reason, coveragePercent, estimatedCost, requiresPreAuth.
+
+Rule determineMinorCoverage given insuranceType, service, produce:
+  Return 0.
+Rule determineSeniorCoverage given insuranceType, service, produce:
+  Return 0.
+Rule determineStandardCoverage given insuranceType, service, chronicConditions, produce:
+  Return 0.
+Rule calculatePatientCost given basePrice, coveragePercent, produce:
+  Return 0.
+Rule checkServiceEligibility given patient, service, produce:
+  Return 0.
+Rule testNoInsurance, produce:
+  Return 0.
+Rule testMinorPremiumCoverage, produce:
+  Return 0.
+Rule testMinorStandardCoverage, produce:
+  Return 0.
+Rule testMinorBasicCoverage, produce:
+  Return 0.
+Rule testSeniorMedicareCoverage, produce:
+  Return 0.
+Rule testSeniorPremiumCoverage, produce:
+  Return 0.
+Rule testSeniorStandardCoverage, produce:
+  Return 0.
+Rule testStandardPremiumHighChronic, produce:
+  Return 0.
+Rule testStandardPremiumLowChronic, produce:
+  Return 0.
+Rule testStandardStandardHighChronic, produce:
+  Return 0.
+Rule testStandardStandardLowChronic, produce:
+  Return 0.
+Rule testStandardBasicCoverage, produce:
+  Return 0.
+Rule testStandardUnknownInsurance, produce:
+  Return 0.
+Rule testCalculatePatientCost, produce:
+  Return 0.

package/corpus/tier1-equivalence/policies/test_eligibility.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/domains/healthcare/test_eligibility.aster"
+}

package/corpus/tier1-equivalence/policies/test_eligibility_full.aster

@@ -0,0 +1,14 @@
+Module test.eligibility.full.
+
+Define Patient has patientId, age, hasInsurance, insuranceType, chronicConditions.
+
+Define Service has serviceCode, serviceName, basePrice, requiresPreAuth.
+
+Define EligibilityCheck has eligible, reason, coveragePercent, estimatedCost, requiresPreAuth.
+
+Rule determineMinorCoverage given insuranceType, service, produce:
+  Return 0.
+Rule calculatePatientCost given basePrice, coveragePercent, produce:
+  Return 0.
+Rule checkServiceEligibility given patient, service, produce:
+  Return 0.

package/corpus/tier1-equivalence/policies/test_eligibility_full.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/regression/eligibility/test_eligibility_full.aster"
+}

package/corpus/tier1-equivalence/policies/test_eligibility_minimal.aster

@@ -0,0 +1,10 @@
+Module test.eligibility.minimal.
+
+Define Patient has insuranceType, age, hasInsurance.
+
+Define Service has basePrice.
+
+Rule determineMinorCoverage given insuranceType, service, produce:
+  Return 0.
+Rule checkServiceEligibility given patient, service, produce:
+  Return 0.

package/corpus/tier1-equivalence/policies/test_eligibility_minimal.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/regression/eligibility/test_eligibility_minimal.aster"
+}

package/corpus/tier1-equivalence/policies/test_eligibility_simple.aster

@@ -0,0 +1,7 @@
+Module test.eligibility.simple.
+
+Rule calculatePatientCost given basePrice, coveragePercent, produce:
+  Let coverageAmount be basePrice times coveragePercent.
+  Let patientPercent be 100 minus coveragePercent.
+  Let patientCost be basePrice times patientPercent.
+  Return patientCost.

package/corpus/tier1-equivalence/policies/test_eligibility_simple.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/regression/eligibility/test_eligibility_simple.aster"
+}

package/corpus/tier1-equivalence/policies/test_eligibility_struct.aster

@@ -0,0 +1,15 @@
+Module test.eligibility.struct.
+
+Define Patient has patientId, age, hasInsurance, insuranceType, chronicConditions.
+
+Define Service has serviceCode, serviceName, basePrice, requiresPreAuth.
+
+Define EligibilityCheck has eligible, reason, coveragePercent, estimatedCost, requiresPreAuth.
+
+Rule calculatePatientCost given basePrice, coveragePercent, produce:
+  Let patientPercent be 100 minus coveragePercent.
+  Let patientCost be basePrice times patientPercent.
+  Return patientCost.
+
+Rule checkServiceEligibility given patient, service, produce:
+  Return EligibilityCheck with eligible set to true, reason set to "Has insurance", coveragePercent set to 80, estimatedCost set to calculatePatientCost(service.basePrice, 80), requiresPreAuth set to service.requiresPreAuth.

package/corpus/tier1-equivalence/policies/test_eligibility_struct.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/regression/eligibility/test_eligibility_struct.aster"
+}

package/corpus/tier1-equivalence/policies/test_exact_eligibility.aster

@@ -0,0 +1,18 @@
+Module test.exact.eligibility.
+
+Define Patient has patientId, age, hasInsurance, insuranceType, chronicConditions.
+
+Define Service has serviceCode, serviceName, basePrice, requiresPreAuth.
+
+Define EligibilityCheck has eligible, reason, coveragePercent, estimatedCost, requiresPreAuth.
+
+Rule determineMinorCoverage given insuranceType, service, produce:
+  Return 0.
+Rule determineSeniorCoverage given insuranceType, service, produce:
+  Return 0.
+Rule determineStandardCoverage given insuranceType, service, chronicConditions, produce:
+  Return 0.
+Rule calculatePatientCost given basePrice, coveragePercent, produce:
+  Return 0.
+Rule checkServiceEligibility given patient, service, produce:
+  Return 0.

package/corpus/tier1-equivalence/policies/test_exact_eligibility.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/regression/eligibility/test_exact_eligibility.aster"
+}

package/corpus/tier1-equivalence/policies/test_gte.aster

@@ -0,0 +1,4 @@
+Module test.
+
+Rule compare given x as Int, produce Int:
+  Return 100.

package/corpus/tier1-equivalence/policies/test_gte.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/basics/test_gte.aster"
+}

package/corpus/tier1-equivalence/policies/test_helper1.aster

@@ -0,0 +1,6 @@
+Module test.helper1.
+
+Define Service has basePrice.
+
+Rule determineMinorCoverage given insuranceType, service, produce:
+  Return 0.

package/corpus/tier1-equivalence/policies/test_helper1.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/regression/eligibility/test_helper1.aster"
+}

package/corpus/tier1-equivalence/policies/test_invalid.aster

@@ -0,0 +1,6 @@
+Module test.
+
+Define User has name.
+
+Rule greet, produce:
+  Return 0.

package/corpus/tier1-equivalence/policies/test_invalid.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/basics/test_invalid.aster"
+}

package/corpus/tier1-equivalence/policies/test_let_in_if.aster

@@ -0,0 +1,4 @@
+Module test.let.in.if.
+
+Rule testLetInIf given x, produce:
+  Return 0.

package/corpus/tier1-equivalence/policies/test_let_in_if.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/regression/eligibility/test_let_in_if.aster"
+}

package/corpus/tier1-equivalence/policies/test_let_member_call.aster

@@ -0,0 +1,10 @@
+Module test.let.member.call.
+
+Define Patient has patientId, insuranceType.
+
+Define Service has serviceCode.
+
+Rule helper given insuranceType, service, produce:
+  Return 0.
+Rule test given patient, service, produce:
+  Return 0.

package/corpus/tier1-equivalence/policies/test_let_member_call.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/regression/eligibility/test_let_member_call.aster"
+}

package/corpus/tier1-equivalence/policies/test_life.aster

@@ -0,0 +1,80 @@
+Module test.insurance.life.
+
+Define Applicant has applicantId, age, gender, smoker, bmi, occupation, healthScore.
+
+Define PolicyRequest has coverageAmount, termYears, policyType.
+
+Define LifeQuote has approved, reason, monthlyPremium, coverageAmount, termYears.
+
+Rule calculateBaseRate given age, termYears, produce:
+  Return 0.
+Rule calculateHealthMultiplier given applicant, produce:
+  Return 0.
+Rule calculateOccupationMultiplier given occupation, produce:
+  Return 0.
+Rule calculateRiskScore given applicant, produce:
+  Return 0.
+Rule generateLifeQuote given applicant, request, produce:
+  Return 0.
+Rule testApplicantTooYoung, produce:
+  Return 0.
+Rule testApplicantTooOld, produce:
+  Return 0.
+Rule testHealthScoreTooLow, produce:
+  Return 0.
+Rule testCoverageExceedsMaximum, produce:
+  Return 0.
+Rule testYoungHealthyNonSmokerShortTerm, produce:
+  Return 0.
+Rule testYoungHealthyNonSmokerLongTerm, produce:
+  Return 0.
+Rule testMiddleAgedSmokerHighBMI, produce:
+  Return 0.
+Rule testMiddleAgedNonSmokerLowBMI, produce:
+  Return 0.
+Rule testOlderApplicantHealthy, produce:
+  Return 0.
+Rule testHighRiskOccupation, produce:
+  Return 0.
+Rule testModerateRiskOccupation, produce:
+  Return 0.
+Rule testOfficeWorkerLowRisk, produce:
+  Return 0.
+Rule testSmokerVeryHighBMI, produce:
+  Return 0.
+Rule testExcellentHealthHighScore, produce:
+  Return 0.
+Rule testCalculateBaseRateYoungShort, produce:
+  Return 0.
+Rule testCalculateBaseRateYoungLong, produce:
+  Return 0.
+Rule testCalculateBaseRateMiddleShort, produce:
+  Return 0.
+Rule testCalculateBaseRateMiddleLong, produce:
+  Return 0.
+Rule testCalculateBaseRateOlderShort, produce:
+  Return 0.
+Rule testCalculateBaseRateOlderLong, produce:
+  Return 0.
+Rule testCalculateBaseRateSeniorShort, produce:
+  Return 0.
+Rule testCalculateHealthMultiplierClean, produce:
+  Return 0.
+Rule testCalculateHealthMultiplierSmoker, produce:
+  Return 0.
+Rule testCalculateHealthMultiplierHighBMI, produce:
+  Return 0.
+Rule testCalculateHealthMultiplierExcellent, produce:
+  Return 0.
+Rule testCalculateOccupationMultiplierHighRisk, produce:
+  Return 0.
+Rule testCalculateOccupationMultiplierModerate, produce:
+  Return 0.
+Rule testCalculateOccupationMultiplierOffice, produce:
+  Return 0.
+Rule testCalculateOccupationMultiplierUnknown, produce:
+  Return 0.
+Rule testCalculateRiskScoreLowRisk, produce:
+  Return 0.
+Rule testCalculateRiskScoreHighRisk, produce:
+  Return 0.

package/corpus/tier1-equivalence/policies/test_life.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/domains/insurance/test_life.aster"
+}

package/corpus/tier1-equivalence/policies/test_loan.aster

@@ -0,0 +1,8 @@
+Module aster.finance.loan.
+
+Define LoanApplication has applicantId as Text, amount as Double.
+
+Define LoanDecision has approved as Text, reason as Text.
+
+Rule test given x as Text, produce Unknown:
+  Return false.

package/corpus/tier1-equivalence/policies/test_loan.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/basics/test_loan.aster"
+}

package/corpus/tier1-equivalence/policies/test_operators.aster

@@ -0,0 +1,5 @@
+Module test.operators.
+
+Rule checkRange given x as Int, produce Int:
+  Let doubled be x.
+  Return doubled.

package/corpus/tier1-equivalence/policies/test_operators.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/basics/test_operators.aster"
+}

package/corpus/tier1-equivalence/policies/test_return_with.aster

@@ -0,0 +1,6 @@
+Module test.loan.
+
+Define Decision has approved as Bool, reason as Text.
+
+Rule check given age as Int, produce Text:
+  Return "approved".

package/corpus/tier1-equivalence/policies/test_return_with.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/basics/test_return_with.aster"
+}

package/corpus/tier1-equivalence/policies/test_second_func.aster

@@ -0,0 +1,4 @@
+Module aster.finance.loan.
+
+Rule determineInterestRate given creditScore, produce:
+  Return 0.

package/corpus/tier1-equivalence/policies/test_second_func.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/basics/test_second_func.aster"
+}

package/corpus/tier1-equivalence/policies/test_two_ifs.aster

@@ -0,0 +1,4 @@
+Module test.two.ifs.
+
+Rule testTwoIfs given x, produce:
+  Return 0.

package/corpus/tier1-equivalence/policies/test_two_ifs.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/regression/eligibility/test_two_ifs.aster"
+}

package/corpus/tier1-equivalence/policies/test_two_statements.aster

@@ -0,0 +1,12 @@
+Module test.two.statements.
+
+Define Patient has insuranceType, age.
+
+Define Service has basePrice.
+
+Define Result has value.
+
+Rule determineMinorCoverage given insuranceType, service, produce:
+  Return 0.
+Rule checkServiceEligibility given patient, service, produce:
+  Return 0.

package/corpus/tier1-equivalence/policies/test_two_statements.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/regression/eligibility/test_two_statements.aster"
+}

package/corpus/tier1-equivalence/policies/text_ops.aster

@@ -0,0 +1,16 @@
+Module demo.text.
+
+Rule join given left, right, produce:
+  Return Text.concat(left, right).
+
+Rule shout given s, produce:
+  Return Text.toUpper(s).
+
+Rule hasPrefix given s, p, produce:
+  Return Text.startsWith(s, p).
+
+Rule find given s, n, produce:
+  Return Text.indexOf(s, n).
+
+Rule words given s, produce:
+  Return Text.split(s, " ").

package/corpus/tier1-equivalence/policies/text_ops.meta.json

@@ -0,0 +1,9 @@
+{
+  "tier": 1,
+  "engines": [
+    "java",
+    "ts"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-ts/test/cnl/programs/collections/text_ops.aster"
+}

package/corpus/tier2-divergent/java-only/11-boolean-and.aster

@@ -0,0 +1,4 @@
+Module dual.engine.boolean.and.
+
+Rule both given x, y, produce:
+  Return x and y.

package/corpus/tier2-divergent/java-only/11-boolean-and.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 2,
+  "engines": [
+    "java"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-core/src/test/resources/dual-engine/policies/11-boolean-and.aster",
+  "knownGaps": [
+    "ts-peg-missing-and-or-binary-ops"
+  ],
+  "divergenceType": "grammar-gap"
+}

package/corpus/tier2-divergent/java-only/12-boolean-or.aster

@@ -0,0 +1,4 @@
+Module dual.engine.boolean.or.
+
+Rule either given x, y, produce:
+  Return x or y.

package/corpus/tier2-divergent/java-only/12-boolean-or.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 2,
+  "engines": [
+    "java"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-core/src/test/resources/dual-engine/policies/12-boolean-or.aster",
+  "knownGaps": [
+    "ts-peg-missing-and-or-binary-ops"
+  ],
+  "divergenceType": "grammar-gap"
+}

package/corpus/tier2-divergent/java-only/14-boolean-short-circuit.aster

@@ -0,0 +1,4 @@
+Module dual.engine.boolean.shortcircuit.
+
+Rule guard given enabled, value, produce:
+  Return enabled and value greater than 0.

package/corpus/tier2-divergent/java-only/14-boolean-short-circuit.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 2,
+  "engines": [
+    "java"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-core/src/test/resources/dual-engine/policies/14-boolean-short-circuit.aster",
+  "knownGaps": [
+    "ts-peg-missing-and-or-binary-ops"
+  ],
+  "divergenceType": "grammar-gap"
+}

package/corpus/tier2-divergent/java-only/17-comparison-range.aster

@@ -0,0 +1,4 @@
+Module dual.engine.comparison.range.
+
+Rule in_range given value, lo, hi, produce:
+  Return value greater than lo and value less than hi.

package/corpus/tier2-divergent/java-only/17-comparison-range.meta.json

@@ -0,0 +1,12 @@
+{
+  "tier": 2,
+  "engines": [
+    "java"
+  ],
+  "lexicon": "en-US",
+  "source": "aster-lang-core/src/test/resources/dual-engine/policies/17-comparison-range.aster",
+  "knownGaps": [
+    "ts-peg-missing-and-or-binary-ops"
+  ],
+  "divergenceType": "grammar-gap"
+}

package/corpus/tier2-divergent/java-only/26-if-bool-condition.aster

@@ -0,0 +1,9 @@
+Module dual.engine.control.boolcondition.
+
+Rule discount given is_member, has_coupon, base, produce:
+  If is_member and has_coupon:
+    Return base divided by 2.
+  If is_member or has_coupon:
+    Return base minus base divided by 5.
+  Otherwise:
+    Return base.