private void SendSourceRef(XmlWriter xw, SourceRef sourceref)
{
using (xw.Element("source-loc"))
{
xw.Attribute("srcid", sourceref.SourceIdx)
.Attribute("cf", sourceref.FromChar)
.Attribute("ct", sourceref.ToChar)
.Attribute("lf", sourceref.FromLine)
.Attribute("lt", sourceref.ToLine);
}
}