[Mockpp-commits] mockpp/mockpp/examples/tutorial consumer.cpp,1.3,1.4 consumer.h,1.2,1.3 tutorial.doxygen.in,1.5,1.6

[Ewald A. <ewa...@us...>]

Update of /cvsroot/mockpp/mockpp/mockpp/examples/tutorial
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv6520/mockpp/examples/tutorial

Modified Files:
	consumer.cpp consumer.h tutorial.doxygen.in 
Log Message:
started dbc support

Index: consumer.h
===================================================================
RCS file: /cvsroot/mockpp/mockpp/mockpp/examples/tutorial/consumer.h,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- consumer.h	2 Jan 2005 17:56:46 -0000	1.2
+++ consumer.h	24 Apr 2005 11:35:17 -0000	1.3
@@ -20,8 +20,7 @@
 {
   public:
 
-    /** Constructs the consumer class
-      * @param  intf   pointer to object for file access
+    /** Constructs the consumer class.
       */
     Consumer(Interface *intf);
 

Index: tutorial.doxygen.in
===================================================================
RCS file: /cvsroot/mockpp/mockpp/mockpp/examples/tutorial/tutorial.doxygen.in,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -d -r1.5 -r1.6
--- tutorial.doxygen.in	7 Apr 2005 20:38:06 -0000	1.5
+++ tutorial.doxygen.in	24 Apr 2005 11:35:17 -0000	1.6
@@ -30,7 +30,7 @@
 INHERIT_DOCS           = NO
 INLINE_INFO            = YES
 SORT_MEMBER_DOCS       = YES
-DISTRIBUTE_GROUP_DOC   = NO
+DISTRIBUTE_GROUP_DOC   = YES
 TAB_SIZE               = 4
 GENERATE_TODOLIST      = NO
 GENERATE_TESTLIST      = NO
@@ -144,10 +144,18 @@
 SEARCH_INCLUDES        = YES
 INCLUDE_PATH           =
 INCLUDE_FILE_PATTERNS  = *.h
-PREDEFINED             = HAVE_ICONV_H \
+PREDEFINED             = \
+                         DOXYGEN \
+                         HAVE_ICONV_H \
                          HAVE_LIMITS \
+                         MOCKPP_BOUNDARY_DELTA \
                          DOXYGEN_SHOULD_SKIP_THIS \
-                         MOCKPP_BOUNDARY_DELTA
+                         "MOCKPP_PRE(a)              = /*! \pre a                        */" \
+                         "MOCKPP_PRE_MSG(a,b)        = /*! \pre a \code b \endcode       */" \
+                         "MOCKPP_POST(a)             = /*! \post a                       */" \
+                         "MOCKPP_POST_MSG(a,b)       = /*! \post a \code b \endcode      */" \
+                         "MOCKPP_INVARIANT(a)        = /*! \invariant a                  */" \
+                         "MOCKPP_INVARIANT_MSG(a,b)  = /*! \invariant a \code b \endcode */"
 EXPAND_AS_DEFINED      =
 SKIP_FUNCTION_MACROS   = YES
 #---------------------------------------------------------------------------

Index: consumer.cpp
===================================================================
RCS file: /cvsroot/mockpp/mockpp/mockpp/examples/tutorial/consumer.cpp,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -d -r1.3 -r1.4
--- consumer.cpp	4 Mar 2005 21:10:02 -0000	1.3
+++ consumer.cpp	24 Apr 2005 11:35:17 -0000	1.4
@@ -13,10 +13,12 @@
 #include "interface.h"
 #include "consumer.h"
 
+#include <mockpp/mockpp_dbc.h>
 
-Consumer::Consumer(Interface *config)
-  : configfile(config)
+Consumer::Consumer(Interface *intf)
+  : configfile(intf)
 {
+  MOCKPP_PRE(intf != 0);
 }
 
 void Consumer::load()