/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
|