| 2272 | void Print( const char* format, ... ); |
| 2273 | void Write( const char* data, size_t size ); |
| 2274 | inline void Write( const char* data ) { Write( data, strlen( data ) ); } |
| 2275 | void Putc( char ch ); |
| 2276 | |
| 2277 | void SealElementIfJustOpened(); |
no outgoing calls
no test coverage detected