Lines Matching refs:printer
13 # printer for the pointer which would lead to an infinite loop.
16 printer = gdb.parse_and_eval("isl_printer_to_str(isl_"
19 printer = gdb.parse_and_eval("isl_printer_print_"
21 + str(printer) + ", "
24 + str(printer) + ")")
25 gdb.parse_and_eval("isl_printer_free(" + str(printer) + ")")
38 # printer for the pointer which would lead to an infinite loop.
43 printer = gdb.parse_and_eval("isl_printer_to_str("
45 printer = gdb.parse_and_eval("isl_printer_print_isl_int("
46 + str(printer) + ", "
49 + str(printer) + ")")
50 gdb.parse_and_eval("isl_printer_free(" + str(printer) + ")")
64 printer = str_lookup_function(arg)
66 if printer == None:
67 print("No isl printer for this type")
70 print(printer.to_string())
99 # Do not register the pretty printer.
Indexes created Tue Mar 31 00:22:50 UTC 2026