private void ExtractAtlasSource(XPathNavigator measureStatement, XmlElement xmlElement)
{
XPathNavigator source = measureStatement.SelectSingleNode( "atlas_source" );
if (source != null)
{
string file = source.GetAttribute( "file", "" );
string statement = source.GetAttribute( "statement_number", "" );
string line = source.GetAttribute( "line_number", "" );
string type = source.GetAttribute("file_type", "");
xmlElement.SetAttribute("file", file);
xmlElement.SetAttribute("statement_number", statement);
xmlElement.SetAttribute("line_number", line);
xmlElement.SetAttribute("file_type", type);
}
}