| Polaris: AssertConcurrentRoutine.h Source File | ||
|
Main Page | Namespace List | Class Hierarchy | Alphabetical List | Class List | Directories | File List | Class Members | File Members
AssertConcurrentRoutine.hGo to the documentation of this file.00001 #ifndef _ASSERT_CONCURRENT_ROUTINE_H 00002 #define _ASSERT_CONCURRENT_ROUTINE_H 00003 /// 00004 /// 00005 /// 00006 /// \class AssertConcurrentRoutine 00007 /// \brief a class to record concurrent routine assertions 00008 /// \defgroup C 00009 /// \ingroup C++ CVDL 00010 /// Polaris 00011 /// \see Directive/AssertConcurrentRoutine.h 00012 /// \see Directive/AssertConcurrentRoutine.h 00013 /// 00014 /// \endcode 00015 /// \section Description Description 00016 /// The AssertConcurrentRoutine class is meant to provide a specific class for asserting 00017 /// that certain routines may be called in parallel 00018 /// 00019 /// \endcode 00020 /// \section Bugs Bugs 00021 /// No known bugs. 00022 /// 00023 #ifdef POLARIS_GNU_PRAGMAS 00024 #pragma interface 00025 #endif 00026 /// 00027 #include "ExpressionAssertion.h" 00028 /// 00029 class AssertConcurrentRoutine : public ExpressionAssertion { 00030 public: 00031 AssertConcurrentRoutine(); 00032 ///< Construct a AssertConcurrentRoutine. 00033 00034 AssertConcurrentRoutine(const AssertConcurrentRoutine & a); 00035 ///< Construct a AssertConcurrentRoutine with a copy of another AssertConcurrentRoutine's 00036 ///< current value. 00037 00038 virtual ~AssertConcurrentRoutine(); 00039 ///< destructor 00040 00041 virtual void print(ostream &o) const; 00042 ///< print the object. 00043 00044 virtual Assertion * clone() const; 00045 ///< clone the assertion 00046 00047 virtual AssertConcurrentRoutine & operator = (const AssertConcurrentRoutine &a); 00048 ///< assignment operator. 00049 00050 virtual Listable *listable_clone() const; 00051 ///< needed for Listable 00052 }; 00053 00054 #endif |
||
|