Searched refs:parser (Results 1 - 25 of 37) sorted by path

12

/seL4-refos-master/
H A Dcidl_compile192 parser = argparse.ArgumentParser(description = DESCRIPTION) variable
193 parser.add_argument('-r', '--header', action='store_true',\
195 parser.add_argument('-c', '--client', action='store_true',\
197 parser.add_argument('-s', '--server', action='store_true',\
199 parser.add_argument('-d', '--dispatcher', action='store_true',\
201 parser.add_argument('-n', '--no_preprocess', action='store_false',\
203 parser.add_argument('-g', '--debug', action='store_true',\
205 parser.add_argument('-v', '--version', action='version',\
207 parser.add_argument('filename', metavar='IDL_FILE', action='store', \
209 args = parser
[all...]
/seL4-refos-master/projects/refos/impl/
H A Dcidl_compile192 parser = argparse.ArgumentParser(description = DESCRIPTION) variable
193 parser.add_argument('-r', '--header', action='store_true',\
195 parser.add_argument('-c', '--client', action='store_true',\
197 parser.add_argument('-s', '--server', action='store_true',\
199 parser.add_argument('-d', '--dispatcher', action='store_true',\
201 parser.add_argument('-n', '--no_preprocess', action='store_false',\
203 parser.add_argument('-g', '--debug', action='store_true',\
205 parser.add_argument('-v', '--version', action='version',\
207 parser.add_argument('filename', metavar='IDL_FILE', action='store', \
209 args = parser
[all...]
/seL4-refos-master/kernel/libsel4/tools/
H A Dbitfield_gen.py35 # The C parser emits variables with a suffix to indicate their types; this lets
36 # the C parser distinguish `char x` from `int x`.
38 # The suffix map should match the C parser types for `uint{8,16,32,64}_t` in
2661 parser = optparse.OptionParser() variable
2662 parser.add_option('--c_defs', action='store_true', default=False)
2663 parser.add_option('--environment', action='store', default='sel4',
2665 parser.add_option('--hol_defs', action='store_true', default=False)
2666 parser.add_option('--hol_proofs', action='store_true', default=False)
2667 parser.add_option('--sorry_lemmas', action='store_true',
2669 parser
[all...]
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()
H A Dsyscall_header_gen.py128 parser = argparse.ArgumentParser(description="""Generate seL4 syscall API constants
130 parser.add_argument('--xml', type=argparse.FileType('r'),
132 parser.add_argument('--kernel_header', type=argparse.FileType('w'),
134 parser.add_argument('--libsel4_header', type=argparse.FileType('w'),
136 parser.add_argument('--mcs', action='store_true',
139 result = parser.parse_args()
144 parser.print_help()
H A Dsyscall_stub_gen.py1043 parser = ArgumentParser(description='seL4 System Call Stub Generator.',
1046 parser.add_argument("-o", "--output", dest="output", default="/dev/stdout",
1048 parser.add_argument("-b", "--buffer", dest="buffer", action="store_true", default=False,
1050 parser.add_argument("-a", "--arch", dest="arch", required=True, choices=WORD_SIZE_BITS_ARCH,
1052 parser.add_argument("--mcs", dest="mcs", action="store_true",
1055 wsizegroup = parser.add_mutually_exclusive_group()
1061 parser.add_argument("files", metavar="FILES", nargs="+",
1064 return parser
1069 parser = process_args()
1070 args = parser
[all...]
/seL4-refos-master/kernel/manual/tools/
H A Dgen_invocations.py105 parser = argparse.ArgumentParser(description='Generates doxygen-annotated header '
109 parser.add_argument("-o", "--output", dest="output", default="/dev/stdout",
112 parser.add_argument("files", metavar="FILES", nargs="+", type=str,
115 parser.add_argument("-d", "--dtd", nargs="?", type=str,
118 return parser
122 parser = process_args()
123 args = parser.parse_args()
H A Dparse_doxygen_xml.py540 parser = argparse.ArgumentParser()
542 parser.add_argument("-f", "--format", choices=["latex", "markdown"],
545 parser.add_argument("-i", "--input", dest="input", type=str,
547 parser.add_argument("-o", "--output", dest="output", type=str,
550 parser.add_argument("-l", "--level", type=int,
553 return parser
/seL4-refos-master/kernel/manual/tools/libsel4_tools/
H A Dbitfield_gen.py35 # The C parser emits variables with a suffix to indicate their types; this lets
36 # the C parser distinguish `char x` from `int x`.
38 # The suffix map should match the C parser types for `uint{8,16,32,64}_t` in
2661 parser = optparse.OptionParser() variable
2662 parser.add_option('--c_defs', action='store_true', default=False)
2663 parser.add_option('--environment', action='store', default='sel4',
2665 parser.add_option('--hol_defs', action='store_true', default=False)
2666 parser.add_option('--hol_proofs', action='store_true', default=False)
2667 parser.add_option('--sorry_lemmas', action='store_true',
2669 parser
[all...]
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()
H A Dsyscall_header_gen.py128 parser = argparse.ArgumentParser(description="""Generate seL4 syscall API constants
130 parser.add_argument('--xml', type=argparse.FileType('r'),
132 parser.add_argument('--kernel_header', type=argparse.FileType('w'),
134 parser.add_argument('--libsel4_header', type=argparse.FileType('w'),
136 parser.add_argument('--mcs', action='store_true',
139 result = parser.parse_args()
144 parser.print_help()
H A Dsyscall_stub_gen.py1043 parser = ArgumentParser(description='seL4 System Call Stub Generator.',
1046 parser.add_argument("-o", "--output", dest="output", default="/dev/stdout",
1048 parser.add_argument("-b", "--buffer", dest="buffer", action="store_true", default=False,
1050 parser.add_argument("-a", "--arch", dest="arch", required=True, choices=WORD_SIZE_BITS_ARCH,
1052 parser.add_argument("--mcs", dest="mcs", action="store_true",
1055 wsizegroup = parser.add_mutually_exclusive_group()
1061 parser.add_argument("files", metavar="FILES", nargs="+",
1064 return parser
1069 parser = process_args()
1070 args = parser
[all...]
/seL4-refos-master/kernel/tools/
H A Dbitfield_gen.py35 # The C parser emits variables with a suffix to indicate their types; this lets
36 # the C parser distinguish `char x` from `int x`.
38 # The suffix map should match the C parser types for `uint{8,16,32,64}_t` in
2661 parser = optparse.OptionParser() variable
2662 parser.add_option('--c_defs', action='store_true', default=False)
2663 parser.add_option('--environment', action='store', default='sel4',
2665 parser.add_option('--hol_defs', action='store_true', default=False)
2666 parser.add_option('--hol_proofs', action='store_true', default=False)
2667 parser.add_option('--sorry_lemmas', action='store_true',
2669 parser
[all...]
H A Dcircular_includes.py69 parser = argparse.ArgumentParser() variable
70 parser.add_argument('--ignore', nargs='+',
72 args = parser.parse_args()
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 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()
H A Dreciprocal.py40 parser = argparse.ArgumentParser(
42 parser.add_argument("--divisor", type=int, required=True,
44 args = parser.parse_args()
H A Dsyscall_header_gen.py128 parser = argparse.ArgumentParser(description="""Generate seL4 syscall API constants
130 parser.add_argument('--xml', type=argparse.FileType('r'),
132 parser.add_argument('--kernel_header', type=argparse.FileType('w'),
134 parser.add_argument('--libsel4_header', type=argparse.FileType('w'),
136 parser.add_argument('--mcs', action='store_true',
139 result = parser.parse_args()
144 parser.print_help()
/seL4-refos-master/kernel/tools/hardware/outputs/
H A Dc_header.py185 def add_args(parser):
186 parser.add_argument('--header-out', help='output file for c header',
H A Dcompat_strings.py28 def add_args(parser):
29 parser.add_argument('--compat-strings-out',
H A Delfloader.py176 def add_args(parser):
177 parser.add_argument('--elfloader-out', help='output file for elfloader header',
H A Dyaml.py46 def add_args(parser):
47 parser.add_argument('--yaml-out', help='output file for memory yaml',
/seL4-refos-master/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-refos-master/libs/libsel4/tools/
H A Dbitfield_gen.py35 # The C parser emits variables with a suffix to indicate their types; this lets
36 # the C parser distinguish `char x` from `int x`.
38 # The suffix map should match the C parser types for `uint{8,16,32,64}_t` in
2661 parser = optparse.OptionParser() variable
2662 parser.add_option('--c_defs', action='store_true', default=False)
2663 parser.add_option('--environment', action='store', default='sel4',
2665 parser.add_option('--hol_defs', action='store_true', default=False)
2666 parser.add_option('--hol_proofs', action='store_true', default=False)
2667 parser.add_option('--sorry_lemmas', action='store_true',
2669 parser
[all...]
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()

Completed in 157 milliseconds

12