| Polaris: AssertComment.h Source File | ||
|
Main Page | Namespace List | Class Hierarchy | Alphabetical List | Class List | Directories | File List | Class Members | File Members
AssertComment.hGo to the documentation of this file.00001 #ifndef _ASSERT_COMMENT_H 00002 #define _ASSERT_COMMENT_H 00003 /// 00004 /// 00005 /// 00006 /// \class AssertComment 00007 /// \brief a class to record comments. 00008 /// \defgroup C 00009 /// \ingroup C++ CVDL 00010 /// Polaris 00011 /// \see Directive/AssertComment.h 00012 /// \see Directive/AssertComment.h 00013 /// 00014 /// \endcode 00015 /// \section Description Description 00016 /// The AssertComment class is meant to provide a specific class for to store 00017 /// comments about the program. 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 "StringAssertion.h" 00028 #include "../Expression/Expression.h" 00029 /// 00030 class AssertComment : public StringAssertion { 00031 public: 00032 AssertComment(); 00033 ///< Construct a AssertComment. 00034 00035 AssertComment(const AssertComment & a); 00036 ///< Construct a AssertComment with a copy of another AssertComment's 00037 ///< current value. 00038 00039 virtual ~AssertComment(); 00040 ///< destructor 00041 00042 virtual void print(ostream &o) const; 00043 ///< print the object. 00044 00045 virtual Assertion * clone() const; 00046 ///< clone the assertion 00047 00048 virtual AssertComment & operator = (const AssertComment &a); 00049 ///< assignment operator. 00050 00051 virtual Listable *listable_clone() const; 00052 ///< needed for Listable 00053 }; 00054 00055 #endif |
||
|