/seL4-camkes-master/tools/rumprun/lib/libbmk_core/ |
H A D | jsmn.c | 29 static jsmntok_t *jsmn_alloc_token(jsmn_parser *parser, argument 32 if (parser->toknext >= num_tokens) { 35 tok = &tokens[parser->toknext++]; 58 static jsmnerr_t jsmn_parse_primitive(jsmn_parser *parser, const char *js, argument 63 start = parser->pos; 65 for (; parser->pos < len && js[parser->pos] != '\0'; parser->pos++) { 66 switch (js[parser->pos]) { 75 if (js[parser 107 jsmn_parse_string(jsmn_parser *parser, const char *js, unsigned long len, jsmntok_t *tokens, unsigned long num_tokens) argument 174 jsmn_parse(jsmn_parser *parser, const char *js, unsigned long len, jsmntok_t *tokens, unsigned int num_tokens) argument 327 jsmn_init(jsmn_parser *parser) argument [all...] |
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/ |
H A D | teststage9.py | 28 from camkes.parser import ParseError 29 from camkes.parser.stage0 import Reader 30 from camkes.parser.stage1 import Parse1 31 from camkes.parser.stage2 import Parse2 32 from camkes.parser.stage3 import Parse3 33 from camkes.parser.stage4 import Parse4 34 from camkes.parser.stage5 import Parse5 35 from camkes.parser.stage6 import Parse6 36 from camkes.parser.stage7 import Parse7 37 from camkes.parser [all...] |
H A D | teststage10.py | 28 from camkes.parser import ParseError 29 from camkes.parser.stage0 import Reader 30 from camkes.parser.stage1 import Parse1 31 from camkes.parser.stage2 import Parse2 32 from camkes.parser.stage3 import Parse3 33 from camkes.parser.stage4 import Parse4 34 from camkes.parser.stage5 import Parse5 35 from camkes.parser.stage6 import Parse6 36 from camkes.parser.stage7 import Parse7 37 from camkes.parser [all...] |
H A D | teststage8.py | 27 from camkes.parser.stage0 import Reader 28 from camkes.parser.stage1 import Parse1 29 from camkes.parser.stage2 import Parse2 30 from camkes.parser.stage3 import Parse3 31 from camkes.parser.stage4 import Parse4 32 from camkes.parser.stage5 import Parse5 33 from camkes.parser.stage6 import Parse6 34 from camkes.parser.stage7 import Parse7 35 from camkes.parser.stage8 import Parse8 48 self.parser [all...] |
H A D | testexamples.py | 33 from camkes.parser import ParseError 34 from camkes.parser.stage0 import CPP, Reader 35 from camkes.parser.stage1 import Parse1 36 from camkes.parser.stage2 import Parse2 37 from camkes.parser.stage3 import Parse3 38 from camkes.parser.stage4 import Parse4 39 from camkes.parser.stage5 import Parse5 40 from camkes.parser.stage6 import Parse6 41 from camkes.parser.stage7 import Parse7 42 from camkes.parser [all...] |
H A D | teststage6.py | 28 from camkes.parser.stage0 import CPP, Reader 29 from camkes.parser.stage1 import Parse1 30 from camkes.parser.stage2 import Parse2 31 from camkes.parser.stage3 import Parse3 32 from camkes.parser.stage4 import Parse4 33 from camkes.parser.stage5 import Parse5 34 from camkes.parser.stage6 import Parse6 45 self.parser = Parse6(s5) 48 ast, _ = self.parser.parse_string(''' 65 ast, _ = self.parser [all...] |
/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | __main__.py | 16 '''Entry point for the parser.''' 27 from camkes.parser import parse_file, ParseError, parse_query_parser_args, print_query_parser_help 43 parser = argparse.ArgumentParser(prog='python -m camkes.parser', 45 parser.add_argument('--cpp', action='store_true', 47 parser.add_argument('--nocpp', action='store_false', dest='cpp', 49 parser.add_argument('--cpp-bin', default='cpp', 51 parser.add_argument('--cpp-flag', action='append', default=[], 53 parser.add_argument('--import-path', '-I', help='Add this path to the list ' 58 parser [all...] |
H A D | __init__.py | 17 from .parser import parse_file, parse_string, Parser
|
H A D | gpioQueryEngine.py | 21 from camkes.parser import Query 45 parser = argparse.ArgumentParser('gpio') 46 parser.add_argument('--gpio-list', 49 return parser
|
/seL4-camkes-master/tools/seL4/cmake-tool/simulate_scripts/ |
H A D | simulate.py | 15 parser = argparse.ArgumentParser() 16 parser.add_argument('-b', '--binary', dest="qemu_sim_binary", type=str, 18 parser.add_argument('-d', '--gdbserver', dest="qemu_gdbserver", action='store_true', 20 parser.add_argument('-M', '--machine', dest="qemu_sim_machine", type=str, 22 parser.add_argument('-c', '--cpu', dest='qemu_sim_cpu', type=str, 24 parser.add_argument('-o', '--cpu-opt', dest='qemu_sim_cpu_opt', type=str, 26 parser.add_argument('-g', '--graphic', dest='qemu_sim_graphic_opt', type=str, 28 parser.add_argument('-s', '--serial', dest='qemu_sim_serial_opt', type=str, 30 parser.add_argument('-m', '--mem-size', dest='qemu_sim_mem_size', type=str, 32 parser [all...] |
H A D | launch_gdb.py | 14 parser = argparse.ArgumentParser() 15 parser.add_argument('-b', '--binary', dest='gdb_binary', type=str, 17 parser.add_argument('-f', '--file', dest='target_executable', type=str, 19 parser.add_argument('--extra-gdb-args', dest='extra_gdb_args', type=str, 21 args = parser.parse_args()
|
/seL4-camkes-master/projects/camkes-tool/ |
H A D | alltests.py | 25 import camkes.parser namespace 36 TESTS = ['ast', 'internal', 'parser','runner','templates'] 39 parser = argparse.ArgumentParser(prog=argv[0], 41 parser.add_argument('--jobs', '-j', nargs='?', type=int, 43 parser.add_argument('--verbosity', '-v', default=1, type=int, help="Verbosity to run tests. 0 = quiet. 1 = default. 2 = verbose") 44 parser.add_argument('test', nargs='*', choices=TESTS+['all'], default='all', help='run a specific category of tests') 45 parser.add_argument('--capdl-python', help='Deprecated. Using this argument has no effect.') 46 options = parser.parse_args(argv[1:])
|
/seL4-camkes-master/kernel/tools/ |
H A D | hardware_gen.py | 36 def add_task_args(outputs: dict, parser: argparse.ArgumentParser): 41 group = parser.add_argument_group('{} pass'.format(name)) 63 parser = argparse.ArgumentParser( variable 67 parser.add_argument('--dtb', help='device tree blob to parse for generation', 69 parser.add_argument('--hardware-config', help='YAML file containing configuration for kernel devices', 71 parser.add_argument('--hardware-schema', help='YAML file containing schema for hardware config', 73 parser.add_argument('--arch', help='architecture to generate for', default='arm') 74 parser.add_argument('--addrspace-max', 77 parser.add_argument('--enable-profiling', help='enable profiling', 80 add_task_args(OUTPUTS, parser) [all...] |
H A D | circular_includes.py | 69 parser = argparse.ArgumentParser() variable 70 parser.add_argument('--ignore', nargs='+', 72 args = parser.parse_args()
|
H A D | invocation_header_gen.py | 144 parser = argparse.ArgumentParser(description='Generate seL4 invocation API \ 146 parser.add_argument('--xml', type=argparse.FileType('r'), 148 parser.add_argument('--dest', type=argparse.FileType('w'), 150 parser.add_argument('--libsel4', action='store_true', 152 group = parser.add_mutually_exclusive_group() 158 return parser.parse_args()
|
/seL4-camkes-master/tools/rumprun/include/bmk-core/ |
H A D | jsmn.h | 70 * JSON parser. Contains an array of token blocks available. Also stores 80 * Create JSON parser over an array of tokens 82 void jsmn_init(jsmn_parser *parser); 85 * Run JSON parser. It parses a JSON data string into and array of tokens, each describing 88 jsmnerr_t jsmn_parse(jsmn_parser *parser, const char *js, unsigned long len,
|
/seL4-camkes-master/projects/camkes-tool/camkes/runner/ |
H A D | __main__.py | 75 parser = argparse.ArgumentParser(prog='python -m camkes.runner', 77 parser.add_argument('--quiet', '-q', help='No diagnostics.', dest='verbosity', 79 parser.add_argument('--verbose', '-v', help='Verbose diagnostics.', 81 parser.add_argument('--debug', '-D', help='Extra verbose diagnostics.', 83 parser.add_argument('--outfile', '-O', help='Output to the given file.', 85 parser.add_argument('--verification-base-name', type=str, 87 parser.add_argument('--item', '-T', help='AST entity to produce code for.', 89 parser.add_argument('--template', help='template to use to produce code.', 91 parser.add_argument('--templates', '-t', help='Extra directories to ' 94 parser [all...] |
/seL4-camkes-master/tools/seL4/cmake-tool/helpers/ |
H A D | elf_sift.py | 60 parser = argparse.ArgumentParser( 71 parser.add_argument('elf_file', nargs='+', type=str, 73 parser.add_argument('--align', action='store_true', 75 parser.add_argument('--reserve', metavar='BYTES', type=int, action='store', 77 args = parser.parse_args()
|
/seL4-camkes-master/projects/util_libs/libplatsupport/tools/ |
H A D | device_header_gen.py | 68 parser = argparse.ArgumentParser( variable 73 parser.add_argument('--device-list', help='sub-device list to parse for generation', 75 parser.add_argument('--device-type', help='device type of the input type', required=True) 78 parser.add_argument('--header-out', help='output location of the resultant C header', 81 args = parser.parse_args()
|
/seL4-camkes-master/projects/capdl/python-capdl-tool/tests/ |
H A D | runall.py | 27 parser = argparse.ArgumentParser(prog=argv[0], 29 parser.add_argument('--verbosity', '-v', default=1, type=int, 31 options = parser.parse_args(argv[1:])
|
/seL4-camkes-master/kernel/libsel4/tools/ |
H A D | invocation_header_gen.py | 144 parser = argparse.ArgumentParser(description='Generate seL4 invocation API \ 146 parser.add_argument('--xml', type=argparse.FileType('r'), 148 parser.add_argument('--dest', type=argparse.FileType('w'), 150 parser.add_argument('--libsel4', action='store_true', 152 group = parser.add_mutually_exclusive_group() 158 return parser.parse_args()
|
/seL4-camkes-master/kernel/manual/tools/libsel4_tools/ |
H A D | invocation_header_gen.py | 144 parser = argparse.ArgumentParser(description='Generate seL4 invocation API \ 146 parser.add_argument('--xml', type=argparse.FileType('r'), 148 parser.add_argument('--dest', type=argparse.FileType('w'), 150 parser.add_argument('--libsel4', action='store_true', 152 group = parser.add_mutually_exclusive_group() 158 return parser.parse_args()
|
/seL4-camkes-master/kernel/tools/hardware/outputs/ |
H A D | compat_strings.py | 28 def add_args(parser): 29 parser.add_argument('--compat-strings-out',
|
/seL4-camkes-master/projects/camkes-tool/tools/ |
H A D | make_isabelle_symbols.py | 52 parser = argparse.ArgumentParser( 54 parser.add_argument('--input', '-i', type=argparse.FileType('r'), 56 parser.add_argument('--output', '-o', type=argparse.FileType('w'), 58 options = parser.parse_args(argv[1:])
|
/seL4-camkes-master/tools/seL4/misc/ |
H A D | filter.py | 41 parser = argparse.ArgumentParser("Filter files.") 42 parser.add_argument('-f', '--filters', type=str, 44 parser.add_argument('files', nargs='*', type=str, 46 args = parser.parse_args()
|