| /seL4-l4v-master/graph-refine/ |
| H A D | run_tests | 27 python ../l4v/misc/regression/run_tests.py --junit-report=.junit-reports/regression.xml --d $TESTDIR
30 sed -i -e 's/<testcase classname=""/<testcase classname="wcet_regression"/g' .junit-reports/regression.xml
|
| /seL4-l4v-master/seL4/libsel4/tools/ |
| H A D | invocation_header_gen.py | 15 import xml.dom.minidom namespace
35 * To add an invocation call number, edit libsel4/include/interfaces/sel4.xml.
146 parser.add_argument('--xml', type=argparse.FileType('r'),
147 help='Name of xml file with invocation definitions', required=True)
163 doc = xml.dom.minidom.parse(xml_file)
165 print("Error: invalid xml file", file=sys.stderr)
200 invocations = parse_xml(args.xml)
201 args.xml.close()
|
| H A D | syscall_header_gen.py | 16 import xml.dom.minidom namespace
26 * To add a system call number, edit kernel/include/api/syscall.xml
130 parser.add_argument('--xml', type=argparse.FileType('r'),
131 help='Name of xml file with syscall name definitions', required=True)
167 # first check if the file is valid xml
169 doc = xml.dom.minidom.parse(xml_file)
171 print("Error: invalid xml file.", file=sys.stderr)
177 print("Error: malformed xml. Only one api element allowed",
228 (api, debug) = parse_xml(args.xml, args.mcs)
229 args.xml
[all...] |
| H A D | syscall_stub_gen.py | 42 import xml.dom.minidom namespace
772 Converts the contents of an xml element into a string, with all
773 child xml nodes unchanged.
780 Converts the contents of an xml element into a string, wrapping
781 all child xml nodes in doxygen @xmlonly/@endxmlonly keywords.
787 if node.nodeType == xml.dom.Node.TEXT_NODE:
829 doc = xml.dom.minidom.parse(input_file)
|
| /seL4-l4v-master/seL4/manual/tools/libsel4_tools/ |
| H A D | invocation_header_gen.py | 15 import xml.dom.minidom namespace
35 * To add an invocation call number, edit libsel4/include/interfaces/sel4.xml.
146 parser.add_argument('--xml', type=argparse.FileType('r'),
147 help='Name of xml file with invocation definitions', required=True)
163 doc = xml.dom.minidom.parse(xml_file)
165 print("Error: invalid xml file", file=sys.stderr)
200 invocations = parse_xml(args.xml)
201 args.xml.close()
|
| H A D | syscall_header_gen.py | 16 import xml.dom.minidom namespace
26 * To add a system call number, edit kernel/include/api/syscall.xml
130 parser.add_argument('--xml', type=argparse.FileType('r'),
131 help='Name of xml file with syscall name definitions', required=True)
167 # first check if the file is valid xml
169 doc = xml.dom.minidom.parse(xml_file)
171 print("Error: invalid xml file.", file=sys.stderr)
177 print("Error: malformed xml. Only one api element allowed",
228 (api, debug) = parse_xml(args.xml, args.mcs)
229 args.xml
[all...] |
| H A D | syscall_stub_gen.py | 42 import xml.dom.minidom namespace
772 Converts the contents of an xml element into a string, with all
773 child xml nodes unchanged.
780 Converts the contents of an xml element into a string, wrapping
781 all child xml nodes in doxygen @xmlonly/@endxmlonly keywords.
787 if node.nodeType == xml.dom.Node.TEXT_NODE:
829 doc = xml.dom.minidom.parse(input_file)
|
| /seL4-l4v-master/seL4/tools/ |
| H A D | invocation_header_gen.py | 15 import xml.dom.minidom namespace
35 * To add an invocation call number, edit libsel4/include/interfaces/sel4.xml.
146 parser.add_argument('--xml', type=argparse.FileType('r'),
147 help='Name of xml file with invocation definitions', required=True)
163 doc = xml.dom.minidom.parse(xml_file)
165 print("Error: invalid xml file", file=sys.stderr)
200 invocations = parse_xml(args.xml)
201 args.xml.close()
|
| H A D | syscall_header_gen.py | 16 import xml.dom.minidom namespace
26 * To add a system call number, edit kernel/include/api/syscall.xml
130 parser.add_argument('--xml', type=argparse.FileType('r'),
131 help='Name of xml file with syscall name definitions', required=True)
167 # first check if the file is valid xml
169 doc = xml.dom.minidom.parse(xml_file)
171 print("Error: invalid xml file.", file=sys.stderr)
177 print("Error: malformed xml. Only one api element allowed",
228 (api, debug) = parse_xml(args.xml, args.mcs)
229 args.xml
[all...] |
| /seL4-l4v-master/seL4/manual/ |
| H A D | Makefile | 75 DoxygenXml = $(DoxygenOutput)/xml
119 ${DoxygenXml}/%.xml: doxygen
122 # Latex files translated from doxygen-generated xml
123 ${GeneratedLatexDir}/%SystemCalls.tex: ${DoxygenXml}/group__%SystemCalls.xml
127 ${GeneratedLatexDir}/%.tex: ${DoxygenXml}/group__%.xml
146 # Markdown files translated from doxygen-generated xml
147 ${GeneratedMarkdownDir}/%.md: ${DoxygenXml}/group__%.xml Makefile
167 ${Stage}/object_invocations.h: ${Libsel4Dir}/include/interfaces/sel4.xml \
168 ${Libsel4Dir}/arch_include/x86/interfaces/sel4arch.xml \
169 ${Libsel4Dir}/arch_include/arm/interfaces/sel4arch.xml \
[all...] |
| /seL4-l4v-master/isabelle/src/Pure/Tools/ |
| H A D | update.scala | 27 def update_xml(xml: XML.Body): XML.Body =
28 xml flatMap {
47 val xml =
51 val source1 = Symbol.encode(XML.content(update_xml(xml)))
|
| /seL4-l4v-master/l4v/isabelle/src/Pure/Tools/ |
| H A D | update.scala | 27 def update_xml(xml: XML.Body): XML.Body =
28 xml flatMap {
47 val xml =
51 val source1 = Symbol.encode(XML.content(update_xml(xml)))
|
| /seL4-l4v-master/seL4/manual/tools/ |
| H A D | gen_invocations.py | 10 doxygen comments from a given interface defined in an xml file.
58 Given a collection of input xml files describing sel4 interfaces,
116 help="DTD xml schema to validate input files against")
128 xml = etree.parse(f)
129 if not dtd.validate(xml):
|
| /seL4-l4v-master/isabelle/src/Tools/jEdit/src/ |
| H A D | simplifier_trace_window.scala | 164 val xml = tree.format
165 pretty_text_area.update(snapshot, Command.Results.empty, xml)
|
| /seL4-l4v-master/l4v/isabelle/src/Tools/jEdit/src/ |
| H A D | simplifier_trace_window.scala | 164 val xml = tree.format
165 pretty_text_area.update(snapshot, Command.Results.empty, xml)
|
| /seL4-l4v-master/isabelle/src/Pure/Thy/ |
| H A D | present.scala | 166 private def make_html(xml: XML.Body): XML.Body =
167 xml map {
|
| H A D | html.scala | 141 def xml: XML.Attribute = name -> value
142 def apply(elem: XML.Elem): XML.Elem = elem + xml
|
| /seL4-l4v-master/l4v/isabelle/src/Pure/Thy/ |
| H A D | present.scala | 166 private def make_html(xml: XML.Body): XML.Body =
167 xml map {
|
| H A D | html.scala | 141 def xml: XML.Attribute = name -> value
142 def apply(elem: XML.Elem): XML.Elem = elem + xml
|
| /seL4-l4v-master/isabelle/src/Tools/VSCode/src/ |
| H A D | vscode_resources.scala | 344 def output_xml(xml: XML.Tree): String =
345 output_text(XML.content(xml))
|
| /seL4-l4v-master/l4v/isabelle/src/Tools/VSCode/src/ |
| H A D | vscode_resources.scala | 344 def output_xml(xml: XML.Tree): String =
345 output_text(XML.content(xml))
|
| /seL4-l4v-master/l4v/misc/regression/ |
| H A D | run_tests.py | 35 import xml.etree.ElementTree as ET namespace
470 test_xml = sorted(rglob(args.directory, "tests.xml"))
665 # reference: https://github.com/notnoop/hudson-tools/blob/master/toJunitXML/sample-junit.xml
|
| /seL4-l4v-master/isabelle/src/Pure/ |
| H A D | build-jars | 114 src/Pure/PIDE/xml.scala
|
| /seL4-l4v-master/l4v/isabelle/src/Pure/ |
| H A D | build-jars | 114 src/Pure/PIDE/xml.scala
|