class OrderedMapPrinter(BaseMapPrinter):
"""Pretty-print Ada.Containers.Ordered_Maps.Map values."""
name = "Ordered_Map"
type_pattern = Match.TypeName(
suffix=".map",
pattern=Match.Struct(
Match.Field("_parent"),
Match.Field(
"tree",
get_rbtree_pattern(
Match.Struct(
Match.Field("parent", Match.Pointer()),
Match.Field("left", Match.Pointer()),
Match.Field("right", Match.Pointer()),
Match.Field("color", Match.Enum()),
Match.Field("key"),
Match.Field("element"),
)),
),
),
)
@property
def length(self):
return self.value["tree"]["length"]
def get_node_iterator(self):
return dfs(self.value["tree"])
class OrderedMapPrinter(BaseMapPrinter):
"""Pretty-print Ada.Containers.Ordered_Maps.Map values."""
name = 'Ordered_Map'
type_pattern = Match.TypeName(
suffix='.map',
pattern=Match.Struct(
Match.Field('_parent'),
Match.Field(
'tree',
get_rbtree_pattern(
Match.Struct(
Match.Field('parent', Match.Pointer()),
Match.Field('left', Match.Pointer()),
Match.Field('right', Match.Pointer()),
Match.Field('color', Match.Enum()),
Match.Field('key'),
Match.Field('element'),
))),
))
@property
def length(self):
return self.value['tree']['length']
def get_node_iterator(self):
return dfs(self.value['tree'])
