portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

manual: Add label_prefix to method names

Browse source
This commit is contained in:
Stephen Sherratt 2017-05-24 15:50:42 +10:00
parent 7af79c555a
commit ec3b640248
1 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
libsel4/tools/syscall_stub_gen.py
View file

@ -207,8 +207,9 @@ class Parameter(object):
self.type = type
class Api(object):
def __init__(self, name):
self.name = name
def __init__(self, node):
self.name = node.getAttribute("name")
self.label_prefix = node.getAttribute("label_prefix") or ""
#
# Types
@ -758,7 +759,7 @@ def parse_xml_file(input_file, valid_types):
structs = []
doc = xml.dom.minidom.parse(input_file)
api = Api(doc.getElementsByTagName("api")[0].getAttribute("name"))
api = Api(doc.getElementsByTagName("api")[0])
for struct in doc.getElementsByTagName("struct"):
_struct_members = []
@ -781,6 +782,7 @@ def parse_xml_file(input_file, valid_types):
method_manual_name = method.getAttribute("manual_name") or method_name
method_manual_label = method.getAttribute("manual_label") or \
"%s_%s" % (interface_manual_name.lower(), method_name.lower())
method_manual_label = "%s%s" % (api.label_prefix, method_manual_label)
comment_lines = ["@xmlonly <manual name=\"%s - %s\" label=\"%s\"/> @endxmlonly" %
(interface_manual_name, method_manual_name, method_manual_label)]