Class NameNumberer


class NameNumberer extends DTD.Visitor