Skip to content
 
 

Repository files navigation

InsuranceJava

Implementation of the Insurance Specs (specs/ → sibling specs-insurance repo). All [published] scenarios are implemented; [proposed] scenarios are intentionally not.

Build and test (self-contained, H2 in-memory):

./gradlew build

Run locally (needs a Dolt SQL server; see DEVELOPMENT.md):

./gradlew bootRun

Published spec coverage

Spec Scenarios Test
policy/auto-policy/quote-policy Basic auto quote v1 · Decline high-risk driver v1 QuoteAutoPolicyFeatureTest
policy/home-policy/quote-homeowners-policy Basic homeowners quote v1 QuoteHomeownersPolicyFeatureTest
policy/auto-policy/bind-policy Bind from an active quote v1 · Effective date may not be backdated v1 BindPolicyFeatureTest
policy/auto-policy/cancel-policy Cancellation for non-payment v1 · Insured requests cancellation v1 CancelPolicyFeatureTest
policy/auto-policy/renew-policy Automatic renewal offer v1 RenewPolicyFeatureTest
policy/auto-policy/endorse-policy Add a vehicle mid-term v1 EndorsePolicyFeatureTest
billing/collect-premium Failed autopay starts the grace period v1 · Monthly installment plan v1 CollectPremiumFeatureTest
billing/refund-unearned-premium Pro-rata refund on cancellation v1 RefundUnearnedPremiumFeatureTest
claims/auto-accidents/record-car-accident Report accident online v1 · Report accident through the claims hotline v1 RecordCarAccidentFeatureTest
claims/auto-accidents/assign-adjuster Assign by estimated damage v1 AssignAdjusterFeatureTest
claims/auto-accidents/settle-collision-claim Approve repair estimate v1 SettleCollisionClaimFeatureTest
claims/home-claims/record-water-damage-claim Burst pipe is covered v1 RecordWaterDamageClaimFeatureTest

UI (Vaadin, at /): quote a personal auto policy (and bind it), quote a homeowners policy, report a car accident.

About

Claude Fable generated application from Specdriven.app specifications.

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages