Skip to content

Rename Xml_node, Xml_attribute, and Xml_generator to Node, Attribute, and Generator #5517

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
nfeske opened this issue Apr 8, 2025 · 0 comments
Labels

Comments

@nfeske
Copy link
Member

nfeske commented Apr 8, 2025

In anticipation of the potential change of Genode's universal use of XML to another Syntax and to improve the conciseness of our code, I'd like to drop the ceremonial Xml_ prefix. We are inside the Genode:: namespace after all. In the past 15 years, no other incarnations of Node, Attribute, and Generator tried to settle in this namespace. So we shouldn`t hesitate to make those terms first-level citizens of our API terminology.

@nfeske nfeske added the cleanup label Apr 8, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant