Searched refs:parser (Results 1 - 25 of 73) sorted by relevance

123

/seL4-camkes-master/tools/rumprun/lib/libbmk_core/
H A Djsmn.c29 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 Dteststage9.py28 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 Dteststage10.py28 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 Dteststage8.py27 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 Dtestexamples.py33 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 Dteststage6.py28 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__.py16 '''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__.py17 from .parser import parse_file, parse_string, Parser
H A DgpioQueryEngine.py21 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 Dsimulate.py15 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 Dlaunch_gdb.py14 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 Dalltests.py25 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 Dhardware_gen.py36 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 Dcircular_includes.py69 parser = argparse.ArgumentParser() variable
70 parser.add_argument('--ignore', nargs='+',
72 args = parser.parse_args()
H A Dinvocation_header_gen.py144 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 Djsmn.h70 * 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__.py75 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 Delf_sift.py60 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 Ddevice_header_gen.py68 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 Drunall.py27 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 Dinvocation_header_gen.py144 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 Dinvocation_header_gen.py144 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 Dcompat_strings.py28 def add_args(parser):
29 parser.add_argument('--compat-strings-out',
/seL4-camkes-master/projects/camkes-tool/tools/
H A Dmake_isabelle_symbols.py52 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 Dfilter.py41 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()

Completed in 376 milliseconds

123