Main Page | Modules | Class Hierarchy | Alphabetical List | Class List | File List | Class Members | File Members | Related Pages

TestCaseUnstableFsmState_1.cpp

00001 // 00002 // Copyright 2004 P&P Software GmbH - All Rights Reserved 00003 // 00004 // TestCaseUnstableFsmState_1.cpp 00005 // 00006 // Version 1.0 00007 // Date 15.07.03 00008 // Author R. Totaro 00009 00010 #include "../GeneralInclude/CompilerSwitches.h" 00011 #include "../GeneralInclude/ClassId.h" 00012 #include "../GeneralInclude/Constants.h" 00013 #include "../GeneralInclude/TestConstants.h" 00014 #include "../FSM/DC_UnstableFsmState.h" 00015 #include "TestCaseUnstableFsmState_1.h" 00016 00017 TestCaseUnstableFsmState_1::TestCaseUnstableFsmState_1(void) : 00018 TestCaseGenericSetUp(ID_UNSTABLEFSMSTATE*10+1,"TestCaseUnstableFsmState_1") { 00019 return; 00020 } 00021 00022 void TestCaseUnstableFsmState_1::runTestCase(void) { 00023 DC_UnstableFsmState *pUFS=new DC_UnstableFsmState; 00024 00025 // Verify the correctness of the class id 00026 if (pUFS->getClassId()!=ID_UNSTABLEFSMSTATE) { 00027 setTestResult(TEST_FAILURE,"Wrong class id"); 00028 return; 00029 } 00030 00031 // Verify that isFinished() returns true 00032 if (!pUFS->isFinished()) { 00033 setTestResult(TEST_FAILURE,"isFinished() failed."); 00034 return; 00035 } 00036 00037 // Dummy call to doContinue() 00038 pUFS->doContinue(); 00039 00040 setTestResult(TEST_SUCCESS,"Test Successful"); 00041 return; 00042 }
Copyright 2003 P&P Software GmbH - All Rights Reserved