void VisitUsingDirective(UsingDirectiveSyntax n) { WriteLine(n.Kind() + " " + n.GetType() + " #" + GetUid(n)); NameBuilder sub = TraverseChildren(n, new NameBuilder(this)); csharpBuilder.usingDirective(GetUid(n), sub.numNameComponents()); }