public static string OneAttributeToString(Attributes a, string nameSubstitution = null) {
Contract.Requires(a != null);
using (var wr = new System.IO.StringWriter()) {
var pr = new Printer(wr);
pr.PrintOneAttribute(a, nameSubstitution);
return ToStringWithoutNewline(wr);
}
}
