Menu
▾
▴
[Loki-lib-cvs] SF.net SVN: loki-lib:[1172] trunk/test/Checker/main.cpp
|
From: <ric...@us...> - 2011-11-04 00:54:53
|
Revision: 1172
http://loki-lib.svn.sourceforge.net/loki-lib/?rev=1172&view=rev
Author: rich_sposato
Date: 2011-11-04 00:54:46 +0000 (Fri, 04 Nov 2011)
Log Message:
-----------
Update cout strings to be more accurate. Added tests.
Modified Paths:
--------------
trunk/test/Checker/main.cpp
Modified: trunk/test/Checker/main.cpp
===================================================================
--- trunk/test/Checker/main.cpp 2011-11-04 00:53:49 UTC (rev 1171)
+++ trunk/test/Checker/main.cpp 2011-11-04 00:54:46 UTC (rev 1172)
@@ -70,7 +70,7 @@
unsigned int DoSomething( bool doThrow ) const;
- void DoSomethingElse( void ) const;
+ void DoSomethingElse( unsigned int count, bool doThrow );
void AddCount( unsigned int count );
@@ -235,7 +235,7 @@
// This example shows how to use the equality checker.
unsigned int Thingy::DoSomething( bool doThrow ) const
{
- CheckMementoFor::Equality checker( this, &Thingy::IsValid );
+ CheckMementoFor::NoChange checker( this, &Thingy::IsValid );
(void)checker;
if ( doThrow )
throw ::std::logic_error( "Test Exception." );
@@ -245,10 +245,16 @@
// ----------------------------------------------------------------------------
// This example shows how to use the no-change checker.
-void Thingy::DoSomethingElse( void ) const
+void Thingy::DoSomethingElse( unsigned int count, bool doThrow )
{
- CheckMementoFor::NoChange checker( this, &Thingy::IsValid );
+ CheckMementoFor::NoChangeOnThrow checker( this, &Thingy::IsValid );
(void)checker;
+
+ IntBlock counts( m_counts );
+ counts.push_back( count );
+ if ( doThrow )
+ throw ::std::logic_error( "Test Exception." );
+ counts.swap( m_counts );
}
// ----------------------------------------------------------------------------
@@ -270,7 +276,7 @@
// This function's checker cares about class invariants and both the pre- and
// post-conditions, so it passes in pointers for all 3 validators. The pre-
// and post-conditions are both about making sure the container is not empty.
- CheckMementoFor::NoChangeOrThrow checker( this, &Thingy::IsValid, &Thingy::IsValidFull, &Thingy::IsValidFull );
+ CheckMementoFor::NoThrowOrChange checker( this, &Thingy::IsValid, &Thingy::IsValidFull, &Thingy::IsValidFull );
if ( m_counts.size() <= index )
return 0;
const unsigned int count = m_counts[ index ];
@@ -360,53 +366,89 @@
(void)argc;
(void)argv;
+ cout << "These tests confirm the Checker exception policies work properly." << endl;
+ cout << "The tests will throw exceptions. If you see any assertions, the test failed." << endl;
+
try
{
cout << "Just before call to ThrowTest." << endl;
ThrowTest();
cout << "Just after call to ThrowTest." << endl;
+ assert( false );
}
catch ( const ::std::logic_error & ex )
{
- cout << "Caught an exception! " << ex.what() << endl;
+ cout << "Caught a logic_error exception! " << ex.what() << endl;
+ assert( true );
}
catch ( const ::std::exception & ex )
{
- cout << "Caught an exception! " << ex.what() << endl;
+ cout << "Caught a standard exception! " << ex.what() << endl;
+ assert( false );
}
catch ( ... )
{
- cout << "Caught an exception!" << endl;
+ cout << "Caught an unknown exception!" << endl;
+ assert( false );
}
unsigned int count = 0;
try
{
- cout << "Running basic tests with Thingy." << endl;
+ cout << "Starting test of CheckFor::NoChange policy." << endl;
// First do some tests on class member functions.
Thingy t1( 1 );
t1.DoSomething( false );
+ assert( true );
Thingy t2( 2 );
t2.DoSomething( true );
- cout << "Done with basic tests with Thingy." << endl;
+ assert( false );
}
catch ( const ::std::logic_error & ex )
{
cout << "Caught an exception! " << ex.what() << endl;
+ assert( true );
}
catch ( const ::std::exception & ex )
{
+ cout << "Caught a standard exception! " << ex.what() << endl;
+ }
+ catch ( ... )
+ {
+ cout << "Caught an unknown exception!" << endl;
+ }
+ cout << "Done testing CheckFor::NoChange policy." << endl;
+
+ try
+ {
+ cout << "Starting test of CheckFor::NoChangeOnThrow policy." << endl;
+ Thingy t1( 1 );
+ t1.DoSomethingElse( 3, false );
+ Thingy t2( 2 );
+ t2.DoSomethingElse( 5, true );
+ assert( false );
+ }
+ catch ( const ::std::logic_error & ex )
+ {
cout << "Caught an exception! " << ex.what() << endl;
+ assert( true );
}
+ catch ( const ::std::exception & ex )
+ {
+ cout << "Caught a standard exception! " << ex.what() << endl;
+ assert( false );
+ }
catch ( ... )
{
- cout << "Caught an exception!" << endl;
+ cout << "Caught an unknown exception!" << endl;
+ assert( false );
}
+ cout << "Finished test of CheckFor::NoChangeOnThrow policy." << endl;
try
{
+ cout << "Starting tests of CheckFor::Invariants and CheckFor::NoThrowOrChange policy." << endl;
Thingy t1( 1 );
- cout << "Now running tests with Thingy counts." << endl;
// These lines will exercise the functions with pre- and post-conditions.
t1.AddCount( 11 );
t1.AddCount( 13 );
@@ -421,54 +463,64 @@
}
catch ( const ::std::logic_error & ex )
{
- cout << "Caught an exception! " << ex.what() << endl;
+ cout << "Caught a logic_error exception! " << ex.what() << endl;
}
catch ( const ::std::exception & ex )
{
- cout << "Caught an exception! " << ex.what() << endl;
+ cout << "Caught a standard exception! " << ex.what() << endl;
+ assert( false );
}
catch ( ... )
{
- cout << "Caught an exception!" << endl;
+ cout << "Caught an unknown exception!" << endl;
+ assert( false );
}
+ cout << "Finished tests of CheckFor::Invariants and CheckFor::NoThrowOrChange policy." << endl;
try
{
- cout << "Now run tests on static member functions" << endl;
+ cout << "Starting test of CheckStaticFor::Invariants policy." << endl;
// Next do some tests with static member functions.
Thingy::ChangeThat();
const unsigned int value = Thingy::GetThat();
assert( value != 0 );
- cout << "Done with tests on static member functions" << endl;
+ assert( true );
}
catch ( const ::std::logic_error & ex )
{
- cout << "Caught an exception! " << ex.what() << endl;
+ cout << "Caught a logic_error exception! " << ex.what() << endl;
+ assert( false );
}
catch ( const ::std::exception & ex )
{
- cout << "Caught an exception! " << ex.what() << endl;
+ cout << "Caught a standard exception! " << ex.what() << endl;
+ assert( false );
}
catch ( ... )
{
- cout << "Caught an exception!" << endl;
+ cout << "Caught an unknown exception!" << endl;
+ assert( false );
}
+ cout << "Finished test of CheckStaticFor::Invariants policy." << endl;
try
{
- cout << "Now run test on a standalone function." << endl;
+ cout << "Starting test of CheckStaticFor::NoThrow policy." << endl;
// Then do a test with a standalone function.
DoSomething();
- cout << "Done with test on a standalone function." << endl;
+ assert( true );
}
catch ( const ::std::exception & ex )
{
- cout << "Caught an exception! " << ex.what() << endl;
+ cout << "Caught a standard exception! " << ex.what() << endl;
+ assert( false );
}
catch ( ... )
{
- cout << "Caught an exception!" << endl;
+ cout << "Caught an unknown exception!" << endl;
+ assert( false );
}
+ cout << "Finished test of CheckStaticFor::NoThrow policy." << endl;
cout << "All done! If you see this line, and no assertions failed, then the test passed!" << endl;
return 0;
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
