[lmi-commits] [5085] Explicitly assert certain postconditions

[Greg Chicares]

Revision: 5085
          http://svn.sv.gnu.org/viewvc/?view=rev&root=lmi&revision=5085
Author:   chicares
Date:     2010-07-29 02:12:48 +0000 (Thu, 29 Jul 2010)
Log Message:
-----------
Explicitly assert certain postconditions

Modified Paths:
--------------
    lmi/trunk/ChangeLog
    lmi/trunk/census_view.cpp

Modified: lmi/trunk/ChangeLog
===================================================================
--- lmi/trunk/ChangeLog 2010-07-28 20:42:42 UTC (rev 5084)
+++ lmi/trunk/ChangeLog 2010-07-29 02:12:48 UTC (rev 5085)
@@ -26679,3 +26679,9 @@
 Improve error handling. See:
   http://lists.nongnu.org/archive/html/lmi/2010-07/msg00036.html
 
+20100729T0212Z <address@hidden> [656]
+
+  census_view.cpp
+Explicitly assert certain postconditions. See:
+  http://lists.nongnu.org/archive/html/lmi/2010-07/msg00037.html
+

Modified: lmi/trunk/census_view.cpp
===================================================================
--- lmi/trunk/census_view.cpp   2010-07-28 20:42:42 UTC (rev 5084)
+++ lmi/trunk/census_view.cpp   2010-07-29 02:12:48 UTC (rev 5085)
@@ -1068,12 +1068,15 @@
         class_parms().clear();
         class_parms().push_back(case_parms()[0]);
         }
+
     std::back_insert_iterator<std::vector<Input> > iip(cell_parms());
     std::copy(cells.begin(), cells.end(), iip);
     document().Modify(true);
-
     Update();
+    status() << std::flush;
 
-    status() << std::flush;
+    LMI_ASSERT(!case_parms ().empty());
+    LMI_ASSERT(!cell_parms ().empty());
+    LMI_ASSERT(!class_parms().empty());
 }