Changeset 66d043 in git
- Timestamp:
- Mar 27, 1997, 11:04:57 AM (27 years ago)
- Branches:
- (u'spielwiese', 'd1b01e9d51ade4b46b745d3bada5c5f3696be3a8')
- Children:
- 32e9cd7e1db25624413ec07ffbed129f761df364
- Parents:
- 20040f7073460712e95d84beff001cd530024534
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
factory/int_cf.h
r20040f r66d043 1 1 // emacs edit mode for this file is -*- C++ -*- 2 // $Id: int_cf.h,v 1. 0 1996-05-17 10:59:41 stobbeExp $2 // $Id: int_cf.h,v 1.1 1997-03-27 10:04:57 schmidt Exp $ 3 3 4 4 #ifndef INCL_INTERNALCF_H … … 7 7 /* 8 8 $Log: not supported by cvs2svn $ 9 Revision 1.0 1996/05/17 10:59:41 stobbe 10 Initial revision 11 9 12 */ 10 13 14 #ifndef NOSTREAMIO 11 15 #include <iostream.h> 16 #endif /* NOSTREAMIO */ 17 18 #include "assert.h" 19 12 20 #include "cf_defs.h" 21 13 22 #include "variable.h" 14 23 15 24 class CanonicalForm; 16 17 #ifdef NDEBUG18 #define PVIRT_VOID(msg) = 019 #define PVIRT_INTCF(msg) = 020 #define PVIRT_BOOL(msg) = 021 #define PVIRT_INT(msg) = 022 #define PVIRT_CHARCC(msg) = 023 #else24 #define PVIRT_VOID(msg) { cerr << "pure method(" << msg << ") called" << endl; }25 #define PVIRT_INTCF(msg) { cerr << "pure method(" << msg << ") called" << endl; return 0; }26 #define PVIRT_BOOL(msg) { cerr << "pure method(" << msg << ") called" << endl; return false; }27 #define PVIRT_INT(msg) { cerr << "pure method(" << msg << ") called" << endl; return 0; }28 #define PVIRT_CHARCC(msg) { cerr << "pure method(" << msg << ") called" << endl; return 0; }29 #endif30 25 31 26 class InternalCF { … … 40 35 InternalCF( const InternalCF& ) 41 36 { 42 cerr << "ups there is something wrong in your code" << endl;43 }; 37 ASSERT( 0, "ups there is something wrong in your code"); 38 }; 44 39 virtual ~InternalCF() {}; 45 40 int deleteObject() { return decRefCount() == 0; } … … 53 48 virtual int type() const { return UndefinedDomain; } 54 49 virtual Variable variable() const { return Variable(); } 50 #ifndef NOSTREAMIO 55 51 virtual void print( ostream&, char* ) PVIRT_VOID("print"); 52 #endif /* NOSTREAMIO */ 56 53 virtual bool inBaseDomain() const { return true; } 57 54 virtual bool inExtension() const { return false; }
Note: See TracChangeset
for help on using the changeset viewer.