Rename Xml_node
, Xml_attribute
, and Xml_generator
to Node
, Attribute
, and Generator
#5517
Labels
Xml_node
, Xml_attribute
, and Xml_generator
to Node
, Attribute
, and Generator
#5517
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 theGenode::
namespace after all. In the past 15 years, no other incarnations ofNode
,Attribute
, andGenerator
tried to settle in this namespace. So we shouldn`t hesitate to make those terms first-level citizens of our API terminology.The text was updated successfully, but these errors were encountered: