| 9866 | } |
| 9867 | |
| 9868 | void writeSourceInfo( SourceLineInfo const& sourceInfo ) { |
| 9869 | m_xml |
| 9870 | .writeAttribute( "filename", sourceInfo.file ) |
| 9871 | .writeAttribute( "line", sourceInfo.line ); |
| 9872 | } |
| 9873 | |
| 9874 | public: // StreamingReporterBase |
| 9875 |
nothing calls this directly
no outgoing calls
no test coverage detected