void VisitNamedNode(NamedNode namedNode) { if (!string.IsNullOrEmpty(namedNode.GroupName)) { WriteIdentifier(namedNode.GroupName); WriteToken(Roles.Colon); } VisitNodeInPattern(namedNode.ChildNode); }
void VisitNamedNode(NamedNode namedNode) { if (!string.IsNullOrEmpty(namedNode.GroupName)) { WriteIdentifier(namedNode.GroupName, BoxedTextColor.Text); WriteToken(Roles.Colon, BoxedTextColor.Punctuation); } VisitNodeInPattern(namedNode.ChildNode); }