137 |
137 |
138 // commonly used XML attributes |
138 // commonly used XML attributes |
139 void stamp(); // stamp='1.234' |
139 void stamp(); // stamp='1.234' |
140 void method(methodHandle m); // method='k n s' ... |
140 void method(methodHandle m); // method='k n s' ... |
141 void klass(KlassHandle k); // klass='name' |
141 void klass(KlassHandle k); // klass='name' |
142 void name(symbolHandle s); // name='name' |
142 void name(const Symbol* s); // name='name' |
143 void object(const char* attr, Handle val); |
143 void object(const char* attr, Handle val); |
144 |
144 |
145 // print the text alone (sans ''): |
145 // print the text alone (sans ''): |
146 void method_text(methodHandle m); |
146 void method_text(methodHandle m); |
147 void klass_text(KlassHandle k); // klass='name' |
147 void klass_text(KlassHandle k); // klass='name' |
148 void name_text(symbolHandle s); // name='name' |
148 void name_text(const Symbol* s); // name='name' |
149 void object_text(Handle x); |
149 void object_text(Handle x); |
150 |
150 |
151 /* Example uses: |
151 /* Example uses: |
152 |
152 |
153 // Empty element, simple case. |
153 // Empty element, simple case. |