Searched refs:parse_list (Results 1 - 5 of 5) sorted by last modified time

/seL4-l4v-10.1.1/seL4/manual/tools/
H A Dparse_doxygen_xml.py101 def parse_list(self, para, ref_dict, tag): member in class:Generator
106 return self.parse_list(para, ref_dict, 'enumerate')
110 return self.parse_list(para, ref_dict, 'itemize')
291 def parse_list(self, para, ref_dict, tag): member in class:LatexGenerator
423 def parse_list(self, para, ref_dict, tag): member in class:MarkdownGenerator
/seL4-l4v-10.1.1/graph-refine/
H A Dsyntax.py951 def parse_list (parser, bits, n, extra=None): function
1030 (n, xs) = parse_list (parse_expr, bits, n)
1051 (n, xs) = parse_list (parse_struct_elem, bits, n)
1062 (n, xs) = parse_list (parse_expr, bits, n)
1084 (n, upds) = parse_list (parse_lval_and_val, bits, n + 2)
1095 (n, args) = parse_list (parse_expr, bits, n + 3)
1096 (n, saves) = parse_list (parse_lval, bits, n)
1143 (n, inputs) = parse_list (parse_arg, bits, 2)
1144 (_, outputs) = parse_list (parse_arg, bits, n)
H A Dproblem.py496 (n, inputs) = syntax.parse_list (syntax.parse_lval, bits, 4)
497 (n, outputs) = syntax.parse_list (syntax.parse_lval, bits, n)
H A Dloop_bounds.py377 return syntax.parse_list (parse_ctxt_id, bits, n)
386 from syntax import parse_int, parse_list namespace
396 (n, prev_bounds) = parse_list (parse_bound, bits, n)
H A Dcheck.py257 (i, eqs) = syntax.parse_list (deserialise_lambda, ss, i + 3)
288 (i, eqs) = syntax.parse_list (deserialise_double_lambda, ss, i + 4)
299 (i, eqs) = syntax.parse_list (deserialise_double_lambda, ss, i)

Completed in 60 milliseconds