Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-04-05 06:49:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

tools: add conditional invocation label defines

Browse Source
This commit is contained in:
Anna Lyons
2016-06-15 17:09:50 +10:00
parent fb98d91ec9
commit 73837c8ace
1 changed files with 36 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

42
tools/invocation_header_gen.py
View File

@@ -38,8 +38,14 @@ INVOCATION_TEMPLATE = COMMON_HEADER + """
enum invocation_label {
InvalidInvocation,
{{for label in invocations}}
{{for label, condition in invocations}}
{{if condition}}
#if {{condition}}
{{endif}}
{{label}},
{{if condition}}
#endif
{{endif}}
{{endfor}}
nInvocationLabels
};
@@ -60,9 +66,21 @@ SEL4_ARCH_INVOCATION_TEMPLATE = COMMON_HEADER + """
#include <api/invocation.h>
{{endif}}
{{py:first = 1}}
enum sel4_arch_invocation_label {
{{for loop, label in looper(invocations)}}
{{label}} = nInvocationLabels + {{loop.index}},
{{for label, condition in invocations}}
{{if condition}}
#if {{condition}}
{{endif}}
{{if first}}
{{py:first = 0}}
{{label}} = nInvocationLabels,
{{else}}
{{label}},
{{endif}}
{{if condition}}
#endif
{{endif}}
{{endfor}}
nSeL4ArchInvocationLabels = nInvocationLabels + {{num_invocations}}
};
@@ -78,9 +96,21 @@ ARCH_INVOCATION_TEMPLATE = COMMON_HEADER + """
#include <arch/api/sel4_invocation.h>
{{endif}}
{{py:first = 1}}
enum arch_invocation_label {
{{for loop, label in looper(invocations)}}
{{label}} = nSeL4ArchInvocationLabels + {{loop.index}},
{{for label, condition in invocations}}
{{if condition}}
#if {{condition}}
{{endif}}
{{if first}}
{{label}} = nSeL4ArchInvocationLabels,
{{py:first = 0}}
{{else}}
{{label}},
{{endif}}
{{if condition}}
#endif
{{endif}}
{{endfor}}
nArchInvocationLabels = nSeL4ArchInvocationLabels + {{num_invocations}}
};
@@ -114,7 +144,7 @@ def parse_xml(xml_file):
invocation_labels = []
for method in doc.getElementsByTagName("method"):
invocation_labels.append(str(method.getAttribute("id")))
invocation_labels.append((str(method.getAttribute("id")), str(method.getAttribute("config"))))
return invocation_labels