equal
deleted
inserted
replaced
61 intx thread_id() { return _thread_id; } |
61 intx thread_id() { return _thread_id; } |
62 const char* file() { return _file; } |
62 const char* file() { return _file; } |
63 stringStream* context() { return &_context; } |
63 stringStream* context() { return &_context; } |
64 |
64 |
65 void name(ciSymbol* s); // name='s' |
65 void name(ciSymbol* s); // name='s' |
66 void name(symbolHandle s) { xmlStream::name(s); } |
66 void name(Symbol* s) { xmlStream::name(s); } |
67 |
67 |
68 // Output an object description, return obj->ident(). |
68 // Output an object description, return obj->ident(). |
69 int identify(ciObject* obj); |
69 int identify(ciObject* obj); |
70 void clear_identities(); |
70 void clear_identities(); |
71 |
71 |