public static void WriteDescriptionKindAttribute(System.Xml.XmlTextWriter xmloutput, DescriptionKind descKind)
{
string descKindText;
switch (descKind) {
case DescriptionKind.Symbols: descKindText = "symbols"; break;
case DescriptionKind.Text: descKindText = "text"; break;
case DescriptionKind.SymbolsAndText: descKindText = "symbols-and-text"; break;
default: Debug.Fail("bad desc kind"); descKindText = "none"; break;
}
xmloutput.WriteAttributeString("description-kind", descKindText);
}