Menu
▾
▴
[Loki-lib-cvs] SF.net SVN: loki-lib:[918] trunk/test
|
From: <ric...@us...> - 2009-01-20 07:25:45
|
Revision: 918
http://loki-lib.svn.sourceforge.net/loki-lib/?rev=918&view=rev
Author: rich_sposato
Date: 2009-01-20 07:25:36 +0000 (Tue, 20 Jan 2009)
Log Message:
-----------
Adding tests for SafeBits component.
Added Paths:
-----------
trunk/test/SafeBits/
trunk/test/SafeBits/SafeBitTest.cpp
trunk/test/SafeBits/SafeBits.cbp
trunk/test/SafeBits/SafeBits.vcproj
Added: trunk/test/SafeBits/SafeBitTest.cpp
===================================================================
--- trunk/test/SafeBits/SafeBitTest.cpp (rev 0)
+++ trunk/test/SafeBits/SafeBitTest.cpp 2009-01-20 07:25:36 UTC (rev 918)
@@ -0,0 +1,287 @@
+////////////////////////////////////////////////////////////////////////////////
+//
+// This is a test program for Safe-Bit-Fields in the Loki Library.
+// Copyright (c) 2009 by Fedor Pikus & Rich Sposato
+// The copyright on this file is protected under the terms of the MIT license.
+//
+// Permission to use, copy, modify, distribute and sell this software for any
+// purpose is hereby granted without fee, provided that the above copyright
+// notice appear in all copies and that both that copyright notice and this
+// permission notice appear in supporting documentation.
+// The author makes no claims about the suitability of this software for any
+// purpose. It is provided "as is" without express or implied warranty.
+////////////////////////////////////////////////////////////////////////////////
+
+// $Id$
+
+
+#include <loki/SafeBits.h>
+
+#include <iostream>
+
+using namespace std;
+using namespace Loki;
+
+
+LOKI_BIT_FIELD( unsigned int ) Cat_state;
+LOKI_BIT_CONST( Cat_state, CAT_NO_STATE, 0 ); // 0x0000 - no bit is set
+LOKI_BIT_CONST( Cat_state, CAT_SLEEPING, 1 ); // 0x0001 - 1st bit is set
+LOKI_BIT_CONST( Cat_state, CAT_PURRING, 2 ); // 0x0002 - 2nd bit is set
+LOKI_BIT_CONST( Cat_state, CAT_PLAYING, 3 ); // 0x0004 - 3rd bit is set
+LOKI_BIT_FIELD( unsigned int ) Dog_state;
+LOKI_BIT_CONST( Dog_state, DOG_BARKING, 1 );
+LOKI_BIT_CONST( Dog_state, DOG_CHEWING, 2 );
+LOKI_BIT_CONST( Dog_state, DOG_DROOLING, 3 );
+
+int main( void )
+{
+ cout << "Running tests on Loki safe bit fields." << endl;
+
+ Cat_state cat_state = CAT_SLEEPING;
+ assert( cat_state );
+ Dog_state dog_state = DOG_DROOLING;
+ assert( dog_state );
+ bool happy = cat_state & ( CAT_SLEEPING | CAT_PURRING ); // OK
+ assert( happy );
+
+ assert( CAT_SLEEPING < CAT_PURRING );
+ assert( CAT_SLEEPING <= CAT_SLEEPING );
+ assert( CAT_SLEEPING <= CAT_PURRING );
+ assert( CAT_SLEEPING != CAT_PURRING );
+ assert( CAT_SLEEPING == CAT_SLEEPING );
+ assert( CAT_PURRING >= CAT_SLEEPING );
+ assert( CAT_PURRING >= CAT_PURRING );
+
+#ifdef ERROR1
+ assert( DOG_DROOLING != CAT_SLEEPING ); // Can't compare different types.
+#endif
+#ifdef ERROR2
+ if ( cat_state & DOG_BARKING ) {} // Wrong bit type
+#endif
+#ifdef ERROR3
+ if ( cat_state & CAT_SLEEPING == 0 ) {} // Operator precedence
+#endif
+#ifdef ERROR4
+ if ( dog_state && DOG_BARKING ) {} // Logical &&
+#endif
+ if ( dog_state & DOG_BARKING ) {} // OK
+#ifdef ERROR5
+ Cat_state state0 = 0; // Conversion from non-safe bits
+#endif
+
+ Cat_state state = CAT_NO_STATE; // OK
+ assert( !state );
+ state = ~state;
+ assert( state );
+ assert( state != CAT_NO_STATE );
+ assert( state & CAT_SLEEPING );
+ assert( state & CAT_PURRING );
+ assert( state & CAT_PLAYING );
+ state = CAT_SLEEPING;
+ assert( state == cat_state );
+ assert( state.size() == 8 * sizeof( unsigned int ) );
+ assert( sizeof( Cat_state ) == sizeof( unsigned int ) );
+
+ dog_state = DOG_BARKING;
+#ifdef ERROR6
+ if ( dog_state == cat_state ) {} // Don't allow comparison of different types.
+#endif
+
+
+/// @note All These assertions are inside #ifdef sections because they
+/// compare either Safe_bit_field or Safe_bit_const to literal integers.
+/// If you compile any of these assertions they should generate errors.
+/// These #ifdef sections exhaustively demonstrate that all possible
+/// operations and comparisons with literal values are forbidden.
+
+#ifdef ERROR7
+ assert( dog_state == 1 ); // Don't allow comparisons to integers.
+#endif
+#ifdef ERROR8
+ assert( dog_state != 2 ); // Don't allow comparisons to integers.
+#endif
+#ifdef ERROR9
+ assert( dog_state < 2 ); // Don't allow comparisons to integers.
+#endif
+#ifdef ERROR10
+ assert( dog_state > 0 ); // Don't allow comparisons to integers.
+#endif
+#ifdef ERROR11
+ assert( dog_state <= 1 ); // Don't allow comparisons to integers.
+#endif
+#ifdef ERROR12
+ assert( dog_state >= 1 ); // Don't allow comparisons to integers.
+#endif
+#ifdef ERROR13
+ assert( DOG_BARKING == 1 ); // Don't allow comparisons to integers.
+#endif
+#ifdef ERROR14
+ assert( DOG_BARKING != 2 ); // Don't allow comparisons to integers.
+#endif
+#ifdef ERROR15
+ assert( DOG_BARKING < 2 ); // Don't allow comparisons to integers.
+#endif
+#ifdef ERROR16
+ assert( DOG_BARKING > 0 ); // Don't allow comparisons to integers.
+#endif
+#ifdef ERROR17
+ assert( DOG_BARKING <= 1 ); // Don't allow comparisons to integers.
+#endif
+#ifdef ERROR18
+ assert( DOG_BARKING >= 1 ); // Don't allow comparisons to integers.
+#endif
+#ifdef ERROR19
+ assert( ( dog_state | 1 ) != 0 ); // Don't allow operations with integers.
+#endif
+#ifdef ERROR20
+ assert( ( dog_state & 2 ) == 0 ); // Don't allow operations with integers.
+#endif
+#ifdef ERROR21
+ assert( ( dog_state ^ 1 ) == 0 ); // Don't allow operations with integers.
+#endif
+#ifdef ERROR22
+ assert( ( dog_state |= 2 ) == 3 ); // Don't allow operations with integers.
+#endif
+#ifdef ERROR23
+ assert( ( dog_state &= 3 ) == 2 ); // Don't allow operations with integers.
+#endif
+#ifdef ERROR24
+ assert( ( dog_state ^= 1 ) == 0 ); // Don't allow operations with integers.
+#endif
+#ifdef ERROR25
+ assert( ( DOG_BARKING | 1 ) != 0 ); // Don't allow operations with integers.
+#endif
+#ifdef ERROR26
+ assert( ( DOG_BARKING & 2 ) == 0 ); // Don't allow operations with integers.
+#endif
+#ifdef ERROR27
+ assert( ( DOG_BARKING ^ 1 ) == 0 ); // Don't allow operations with integers.
+#endif
+#ifdef ERROR28
+ assert( ( DOG_BARKING |= 2 ) == 3 ); // Don't allow operations with integers.
+#endif
+#ifdef ERROR29
+ assert( ( DOG_BARKING &= 3 ) == 2 ); // Don't allow operations with integers.
+#endif
+#ifdef ERROR30
+ assert( ( DOG_BARKING ^= 1 ) == 0 ); // Don't allow operations with integers.
+#endif
+
+
+/// @note All These assertions are inside #ifdef sections because they
+/// compare either Safe_bit_field or Safe_bit_const to an int variable.
+/// If you compile any of these assertions they should generate errors.
+/// These #ifdef sections exhaustively demonstrate that all possible
+/// operations and comparisons with integers are forbidden.
+
+ int value = 1;
+ (void)value;
+#ifdef ERROR31
+ assert( dog_state == value ); // Don't allow comparisons to integers.
+#endif
+#ifdef ERROR32
+ value = 2;
+ assert( dog_state != value ); // Don't allow comparisons to integers.
+#endif
+#ifdef ERROR33
+ value = 2;
+ assert( dog_state < value ); // Don't allow comparisons to integers.
+#endif
+#ifdef ERROR34
+ value = 0;
+ assert( dog_state > value ); // Don't allow comparisons to integers.
+#endif
+#ifdef ERROR35
+ value = 1;
+ assert( dog_state <= value ); // Don't allow comparisons to integers.
+#endif
+#ifdef ERROR36
+ value = 1;
+ assert( dog_state >= value ); // Don't allow comparisons to integers.
+#endif
+#ifdef ERROR37
+ value = 1;
+ assert( DOG_BARKING == value ); // Don't allow comparisons to integers.
+#endif
+#ifdef ERROR38
+ value = 2;
+ assert( DOG_BARKING != value ); // Don't allow comparisons to integers.
+#endif
+#ifdef ERROR39
+ value = 2;
+ assert( DOG_BARKING < value ); // Don't allow comparisons to integers.
+#endif
+#ifdef ERROR40
+ value = 0;
+ assert( DOG_BARKING > value ); // Don't allow comparisons to integers.
+#endif
+#ifdef ERROR41
+ value = 1;
+ assert( DOG_BARKING <= value ); // Don't allow comparisons to integers.
+#endif
+#ifdef ERROR42
+ value = 1;
+ assert( DOG_BARKING >= value ); // Don't allow comparisons to integers.
+#endif
+#ifdef ERROR43
+ value = 1;
+ assert( ( dog_state | value ) != 0 ); // Don't allow operations with integers.
+#endif
+#ifdef ERROR44
+ value = 2;
+ assert( ( dog_state & value ) == 0 ); // Don't allow operations with integers.
+#endif
+#ifdef ERROR45
+ value = 1;
+ assert( ( dog_state ^ value ) == 0 ); // Don't allow operations with integers.
+#endif
+#ifdef ERROR46
+ value = 2;
+ assert( ( dog_state |= value ) == 3 ); // Don't allow operations with integers.
+#endif
+#ifdef ERROR47
+ value = 3;
+ assert( ( dog_state &= value ) == 2 ); // Don't allow operations with integers.
+#endif
+#ifdef ERROR48
+ value = 1;
+ assert( ( dog_state ^= value ) == 0 ); // Don't allow operations with integers.
+#endif
+#ifdef ERROR49
+ value = 1;
+ assert( ( DOG_BARKING | value ) != 0 ); // Don't allow operations with integers.
+#endif
+#ifdef ERROR50
+ value = 2;
+ assert( ( DOG_BARKING & value ) == 0 ); // Don't allow operations with integers.
+#endif
+#ifdef ERROR51
+ value = 1;
+ assert( ( DOG_BARKING ^ value ) == 0 ); // Don't allow operations with integers.
+#endif
+#ifdef ERROR52
+ value = 2;
+ assert( ( DOG_BARKING |= value ) == 3 ); // Don't allow operations with integers.
+#endif
+#ifdef ERROR53
+ value = 3;
+ assert( ( DOG_BARKING &= value ) == 2 ); // Don't allow operations with integers.
+#endif
+#ifdef ERROR54
+ value = 1;
+ assert( ( DOG_BARKING ^= value ) == 0 ); // Don't allow operations with integers.
+#endif
+
+
+ dog_state |= DOG_CHEWING;
+ assert( dog_state & ( DOG_CHEWING | DOG_BARKING ) );
+ dog_state &= DOG_CHEWING;
+ assert( dog_state == DOG_CHEWING );
+ dog_state = ~dog_state;
+ assert( dog_state != DOG_CHEWING );
+ dog_state = ~dog_state;
+ assert( dog_state == DOG_CHEWING );
+
+ cout << "If nothing asserted, then all tests passed!" << endl;
+ return 0;
+}
Added: trunk/test/SafeBits/SafeBits.cbp
===================================================================
--- trunk/test/SafeBits/SafeBits.cbp (rev 0)
+++ trunk/test/SafeBits/SafeBits.cbp 2009-01-20 07:25:36 UTC (rev 918)
@@ -0,0 +1,39 @@
+<?xml version="1.0" encoding="UTF-8" standalone="yes" ?>
+<CodeBlocks_project_file>
+ <FileVersion major="1" minor="6" />
+ <Project>
+ <Option title="SafeBits" />
+ <Option pch_mode="2" />
+ <Option compiler="cygwin" />
+ <Build>
+ <Target title="Debug">
+ <Option output="obj\Debug\SafeBits" prefix_auto="1" extension_auto="1" />
+ <Option object_output="obj\Debug\" />
+ <Option type="1" />
+ <Option compiler="cygwin" />
+ <Compiler>
+ <Add option="-Wall" />
+ <Add option="-g" />
+ <Add directory="..\..\include" />
+ </Compiler>
+ </Target>
+ <Target title="Release">
+ <Option output="obj\Release\SafeBits" prefix_auto="1" extension_auto="1" />
+ <Option object_output="obj\Release\" />
+ <Option type="1" />
+ <Option compiler="cygwin" />
+ <Compiler>
+ <Add option="-Os" />
+ <Add option="-Wall" />
+ <Add directory="..\..\include" />
+ </Compiler>
+ </Target>
+ </Build>
+ <Unit filename="SafeBitTest.cpp" />
+ <Extensions>
+ <code_completion />
+ <envvars />
+ <debugger />
+ </Extensions>
+ </Project>
+</CodeBlocks_project_file>
Added: trunk/test/SafeBits/SafeBits.vcproj
===================================================================
--- trunk/test/SafeBits/SafeBits.vcproj (rev 0)
+++ trunk/test/SafeBits/SafeBits.vcproj 2009-01-20 07:25:36 UTC (rev 918)
@@ -0,0 +1,176 @@
+<?xml version="1.0" encoding="Windows-1252"?>
+<VisualStudioProject
+ ProjectType="Visual C++"
+ Version="9.00"
+ Name="SafeBits"
+ ProjectGUID="{ECD7ED50-B99D-44BE-BA38-E17D6110C3E5}"
+ RootNamespace="SafeBits"
+ TargetFrameworkVersion="196613"
+ >
+ <Platforms>
+ <Platform
+ Name="Win32"
+ />
+ </Platforms>
+ <ToolFiles>
+ </ToolFiles>
+ <Configurations>
+ <Configuration
+ Name="Debug|Win32"
+ OutputDirectory="$(SolutionDir)$(ConfigurationName)"
+ IntermediateDirectory="$(ConfigurationName)"
+ ConfigurationType="1"
+ CharacterSet="2"
+ >
+ <Tool
+ Name="VCPreBuildEventTool"
+ />
+ <Tool
+ Name="VCCustomBuildTool"
+ />
+ <Tool
+ Name="VCXMLDataGeneratorTool"
+ />
+ <Tool
+ Name="VCWebServiceProxyGeneratorTool"
+ />
+ <Tool
+ Name="VCMIDLTool"
+ />
+ <Tool
+ Name="VCCLCompilerTool"
+ Optimization="0"
+ AdditionalIncludeDirectories="..\..\include"
+ MinimalRebuild="true"
+ BasicRuntimeChecks="3"
+ RuntimeLibrary="3"
+ WarningLevel="4"
+ DebugInformationFormat="3"
+ />
+ <Tool
+ Name="VCManagedResourceCompilerTool"
+ />
+ <Tool
+ Name="VCResourceCompilerTool"
+ />
+ <Tool
+ Name="VCPreLinkEventTool"
+ />
+ <Tool
+ Name="VCLinkerTool"
+ OutputFile="$(ProjectDir)\$(IntDir)\$(ProjectName).exe"
+ GenerateDebugInformation="true"
+ TargetMachine="1"
+ />
+ <Tool
+ Name="VCALinkTool"
+ />
+ <Tool
+ Name="VCManifestTool"
+ />
+ <Tool
+ Name="VCXDCMakeTool"
+ />
+ <Tool
+ Name="VCBscMakeTool"
+ />
+ <Tool
+ Name="VCFxCopTool"
+ />
+ <Tool
+ Name="VCAppVerifierTool"
+ />
+ <Tool
+ Name="VCPostBuildEventTool"
+ />
+ </Configuration>
+ <Configuration
+ Name="Release|Win32"
+ OutputDirectory="$(SolutionDir)$(ConfigurationName)"
+ IntermediateDirectory="$(ConfigurationName)"
+ ConfigurationType="1"
+ CharacterSet="2"
+ WholeProgramOptimization="1"
+ >
+ <Tool
+ Name="VCPreBuildEventTool"
+ />
+ <Tool
+ Name="VCCustomBuildTool"
+ />
+ <Tool
+ Name="VCXMLDataGeneratorTool"
+ />
+ <Tool
+ Name="VCWebServiceProxyGeneratorTool"
+ />
+ <Tool
+ Name="VCMIDLTool"
+ />
+ <Tool
+ Name="VCCLCompilerTool"
+ Optimization="2"
+ EnableIntrinsicFunctions="true"
+ AdditionalIncludeDirectories="..\..\include"
+ RuntimeLibrary="2"
+ EnableFunctionLevelLinking="true"
+ WarningLevel="4"
+ DebugInformationFormat="0"
+ />
+ <Tool
+ Name="VCManagedResourceCompilerTool"
+ />
+ <Tool
+ Name="VCResourceCompilerTool"
+ />
+ <Tool
+ Name="VCPreLinkEventTool"
+ />
+ <Tool
+ Name="VCLinkerTool"
+ OutputFile="$(ProjectDir)\$(IntDir)\$(ProjectName).exe"
+ GenerateDebugInformation="true"
+ OptimizeReferences="2"
+ EnableCOMDATFolding="2"
+ TargetMachine="1"
+ />
+ <Tool
+ Name="VCALinkTool"
+ />
+ <Tool
+ Name="VCManifestTool"
+ />
+ <Tool
+ Name="VCXDCMakeTool"
+ />
+ <Tool
+ Name="VCBscMakeTool"
+ />
+ <Tool
+ Name="VCFxCopTool"
+ />
+ <Tool
+ Name="VCAppVerifierTool"
+ />
+ <Tool
+ Name="VCPostBuildEventTool"
+ />
+ </Configuration>
+ </Configurations>
+ <References>
+ </References>
+ <Files>
+ <Filter
+ Name="Source Files"
+ Filter="cpp;c;cc;cxx;def;odl;idl;hpj;bat;asm;asmx"
+ UniqueIdentifier="{4FC737F1-C7A5-4376-A066-2A32D752A2FF}"
+ >
+ <File
+ RelativePath=".\SafeBitTest.cpp"
+ >
+ </File>
+ </Filter>
+ </Files>
+ <Globals>
+ </Globals>
+</VisualStudioProject>
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|