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

DC_ForbiddenValueProfile.cpp

00001 // 00002 // Copyright 2004 P&P Software GmbH - All Rights Reserved 00003 // 00004 // DC_ForbiddenValueProfile.cpp 00005 // 00006 // Version 1.1 00007 // Date 16.01.03 (Version 1.0) 00008 // 01.10.03 (Version 1.1) 00009 // Author A. Pasetti (P&P Software), R. Totaro 00010 // 00011 // Change Record: 00012 // Version 1.1: replaced double and int with TD_Float and TD_Integer 00013 00014 #include "../GeneralInclude/CompilerSwitches.h" 00015 #include "../GeneralInclude/DebugSupport.h" 00016 #include "../GeneralInclude/Constants.h" 00017 #include "../GeneralInclude/ClassId.h" 00018 #include "DC_ForbiddenValueProfile.h" 00019 00020 DC_ForbiddenValueProfile::DC_ForbiddenValueProfile(void) { 00021 setClassId(ID_FORBIDDENVALUEPROFILE); 00022 forbiddenValue = 0; 00023 } 00024 00025 bool DC_ForbiddenValueProfile::doProfileCheck(TD_Float value) { 00026 assert(false); 00027 return MON_PROFILE_DEVIATION; 00028 } 00029 00030 bool DC_ForbiddenValueProfile::doProfileCheck(TD_Integer value) { 00031 return (value==forbiddenValue); 00032 } 00033 00034 void DC_ForbiddenValueProfile::setForbiddenValue(TD_Integer forbiddenValue) { 00035 this->forbiddenValue=forbiddenValue; 00036 } 00037 00038 TD_Integer DC_ForbiddenValueProfile::getForbiddenValue(void) const { 00039 return forbiddenValue; 00040 }
Copyright 2003 P&P Software GmbH - All Rights Reserved