From d7407a80a8b9da5915d3dc6b4922a1642470d49b Mon Sep 17 00:00:00 2001
From: Michael Andres <ma@suse.de>
Date: Thu, 26 Feb 2009 01:16:39 +0100
Subject: [PATCH] ResStatus testcase sketch

---
 tests/zypp/ResStatus_test.cc | 141 +++++++++++++++++++++++++++++--------------
 1 file changed, 96 insertions(+), 45 deletions(-)

diff --git a/tests/zypp/ResStatus_test.cc b/tests/zypp/ResStatus_test.cc
index 0aa6fae..5d74504 100644
--- a/tests/zypp/ResStatus_test.cc
+++ b/tests/zypp/ResStatus_test.cc
@@ -3,75 +3,126 @@
 
 #define BOOST_TEST_MODULE ResStatus
 
-BOOST_AUTO_TEST_CASE(ResStatus_default)
+template<class _Tp, int N>
+inline _Tp * begin( _Tp (& _array)[N] ) { return _array; }
+
+template<class _Tp, int N>
+inline _Tp * end( _Tp (& _array)[N] ) { return _array + (sizeof(_array)/sizeof(_Tp)); }
+
+ResStatus::TransactByValue transactByValues[] = {
+  ResStatus::USER, ResStatus::APPL_HIGH, ResStatus::APPL_LOW, ResStatus::SOLVER
+};
+
+ResStatus::TransactValue transactValues[] = {
+  ResStatus::TRANSACT, ResStatus::KEEP_STATE, ResStatus::LOCKED
+};
+
+bool transactTo[] = { true, false };
+
+BOOST_AUTO_TEST_CASE(Default)
 {
-#if 0
   {
     ResStatus s;
     BOOST_CHECK( s.isUninstalled() );
     BOOST_CHECK_EQUAL( s.isInstalled(), ! s.isUninstalled() );
-    BOOST_CHECK_EQUAL( s.getTransactValue(),   KEEP_STATE );
-    BOOST_CHECK_EQUAL( s.getTransactByValue(), SOLVER );
+    BOOST_CHECK_EQUAL( s.getTransactValue(),   ResStatus::KEEP_STATE );
+    BOOST_CHECK_EQUAL( s.getTransactByValue(), ResStatus::SOLVER );
   }
   {
     ResStatus s( true );
-    BOOST_CHECK( s.Installed() );
+    BOOST_CHECK( s.isInstalled() );
     BOOST_CHECK_EQUAL( s.isInstalled(), ! s.isUninstalled() );
-    BOOST_CHECK_EQUAL( s.getTransactValue(),   KEEP_STATE );
-    BOOST_CHECK_EQUAL( s.getTransactByValue(), SOLVER );
+    BOOST_CHECK_EQUAL( s.getTransactValue(),   ResStatus::KEEP_STATE );
+    BOOST_CHECK_EQUAL( s.getTransactByValue(), ResStatus::SOLVER );
   }
-#endif
 }
-#if 0
 
-//     enum TransactValue
-//       {
-//         KEEP_STATE = bit::RangeValue<TransactField,0>::value,
-//         LOCKED     = bit::RangeValue<TransactField,1>::value, // locked, must not transact
-//         TRANSACT   = bit::RangeValue<TransactField,2>::value  // transact according to state
-//       };
-//     enum TransactByValue
-//       {
-//         SOLVER    = bit::RangeValue<TransactByField,0>::value,
-//         APPL_LOW  = bit::RangeValue<TransactByField,1>::value,
-//         APPL_HIGH = bit::RangeValue<TransactByField,2>::value,
-//         USER      = bit::RangeValue<TransactByField,3>::value
-//       };
-
-ResStatus doTestSet( TransactValue tv, TransactByValue tb )
-{
-  ResStatus s;
-  s.setTransactValue( tv, tb );
-  BOOST_CHECK_EQUAL( getTransactValue( s ), tv );
-  BOOST_CHECK_EQUAL( getTransactByValue( s ), tb );
-}
 
+// Status transition like setTransact, setLock, setSoftTransact
+typedef bool (ResStatus::* Transition)( bool, ResStatus::TransactByValue );
 
+// Result evaluation
+typedef void (* Evaluate)( ResStatus::TransactValue, ResStatus::TransactByValue, /* fromState, fromBy */
+                           bool,                     ResStatus::TransactByValue, /* toState,   toBy */
+                           bool,                     ResStatus );                /* done,      result */
 
-BOOST_AUTO_TEST_CASE(ResStatus)
+void testTable( Transition transition, Evaluate evaluate )
 {
-  std::vector<TransactValue> TVs;
-  TVs.push_back( KEEP_STATE );
-  TVs.push_back( LOCKED );
-  TVs.push_back( TRANSACT );
-
-  std::vector<TransactByValue> TBs;
-  TBs.push_back( SOLVER );
-  TBs.push_back( APPL_LOW );
-  TBs.push_back( APPL_HIGH );
-  TBs.push_back( USER );
-
-  for_( tv, TVs.begin(), TVs end() )
+  // Table: For each causer combination (fromBy -> toBy) invoke transition:
+  //
+  //    bool ok = ResStatus(fromState,fromBy).transition( toState, toBy )
+  //
+  // And evaluate the result.
+  //
+  for ( ResStatus::TransactByValue * fromBy = begin( transactByValues ); fromBy != end( transactByValues ); ++fromBy )
   {
-    for_( tb, TBs.begin(), TBs end() )
+    for ( ResStatus::TransactByValue * toBy = begin( transactByValues ); toBy != end( transactByValues ); ++toBy )
     {
-      doTestSet
+      for ( ResStatus::TransactValue * fromState = begin( transactValues ); fromState != end( transactValues ); ++fromState )
+      {
+        for ( bool * toState = begin( transactTo ); toState != end( transactTo ); ++toState )
+        {
+          ResStatus from;
+          from.setTransactValue( *fromState, *fromBy ); // NEEDS FIX!
 
+          ResStatus result( from );
+          bool done = (result.*transition)( *toState, *toBy );
+
+          evaluate( *fromState, *fromBy, *toState, *toBy, done, result );
+        }
+      }
     }
   }
+}
 
+// Transitions succeeds always:
+#define CHECK_DONE_ALWAYS       BOOST_CHECK_EQUAL( done, true )
 
+// Transitions succeeds if same or higher TransactByValue:
+#define CHECK_DONE_IFCAUSER     BOOST_CHECK_EQUAL( done, *toBy >= *fromBy )
 
+void evaluateSetTransact( ResStatus::TransactValue fromState, ResStatus::TransactByValue fromBy,
+                          bool                     toState,   ResStatus::TransactByValue toBy,
+                          bool                     done,      ResStatus                  result )
+{
+  ResStatus from;
+  from.setTransactValue( fromState, fromBy );
+  MIL << from << " =setTransact("<<toState<<","<<toBy<<")=>\t" << done << ":" << result << endl;
 
+  switch ( fromState )
+  {
+    case ResStatus::TRANSACT:
+      if ( toState )
+      {
+      }
+      else
+      {
+      }
+      break;
+    case ResStatus::KEEP_STATE:
+      if ( toState )
+      {
+      }
+      else
+      {
+      }
+      break;
+    case ResStatus::LOCKED:
+      if ( toState )
+      {
+      }
+      else
+      {
+      }
+      break;
+  }
+}
+
+#if 0
+BOOST_AUTO_TEST_CASE(transition)
+{
+  base::LogControl::TmpLineWriter shutUp( new log::FileLineWriter( "/home/ma/zypp/BUILD/libzypp/devel/devel.ma/LOGFILE" ) );
+  MIL << endl;
+  testTable( &ResStatus::setTransact, &evaluateSetTransact );
 }
 #endif
-- 
2.7.4