InternalIdRegistrar

---

Object Hierarchy:

Description:

Content:

Creation methods:

• public InternalIdRegistrar ()

Methods:

• public Node? map_symbol_id (string id)
• public string? map_url_id (string id)
• public void read_index_sgml_file (string filename, string? index_sgml_online, ErrorReporter reporter)
• public void register_symbol (string id, Node symbol)