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