[lmi-commits] [lmi] master 058e112 9/9: Assert a formerly implicit assumption

[Greg Chicares]

branch: master
commit 058e1124908188da4fb1269ff0890d1711c943ef
Author: Gregory W. Chicares <address@hidden>
Commit: Gregory W. Chicares <address@hidden>

    Assert a formerly implicit assumption
    
    It is better to be alarmed by a diagnostic than to step on a negligently
    unmarked landmine.
---
 ledger_evaluator.cpp | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/ledger_evaluator.cpp b/ledger_evaluator.cpp
index bdee783..8c5a0e4 100644
--- a/ledger_evaluator.cpp
+++ b/ledger_evaluator.cpp
@@ -853,6 +853,16 @@ ledger_evaluator Ledger::make_evaluator() const
         !each_equal(ledger_invariant_->RefundableSalesLoad, 0.0);
     double SalesLoadRefundRate0 = ledger_invariant_->RefundableSalesLoad[0];
     double SalesLoadRefundRate1 = ledger_invariant_->RefundableSalesLoad[1];
+    // At present, only the first two durations are used; that's
+    // correct only if all others are zero.
+    LMI_ASSERT
+        (
+        each_equal
+            (2 + ledger_invariant_->RefundableSalesLoad.begin()
+            ,    ledger_invariant_->RefundableSalesLoad.end()
+            ,0.0
+            )
+        );
 
     scalars["HasSalesLoadRefund"  ] = &HasSalesLoadRefund  ;
     scalars["SalesLoadRefundRate0"] = &SalesLoadRefundRate0;