356 void dump() const { |
356 void dump() const { |
357 dump_on(tty); |
357 dump_on(tty); |
358 } |
358 } |
359 virtual void dump2( Dict &d, uint depth, outputStream *st ) const; |
359 virtual void dump2( Dict &d, uint depth, outputStream *st ) const; |
360 static void dump_stats(); |
360 static void dump_stats(); |
|
361 |
|
362 static const char* str(const Type* t); |
361 #endif |
363 #endif |
362 void typerr(const Type *t) const; // Mixing types error |
364 void typerr(const Type *t) const; // Mixing types error |
363 |
365 |
364 // Create basic type |
366 // Create basic type |
365 static const Type* get_const_basic_type(BasicType type) { |
367 static const Type* get_const_basic_type(BasicType type) { |