晋太元中，武陵人捕鱼为业。缘溪行，忘路之远近。忽逢桃花林，夹岸数百步，中无杂树，芳草鲜美，落英缤纷。渔人甚异之，复前行，欲穷其林。 　　林尽水源，便得一山，山有小口，仿佛若有光。便舍船，从口入。初极狭，才通人。复行数十步，豁然开朗。土地平旷，屋舍俨然，有良田、美池、桑竹之属。阡陌交通，鸡犬相闻。其中往来种作，男女衣着，悉如外人。黄发垂髫，并怡然自乐。 　　见渔人，乃大惊，问所从来。具答之。便要还家，设酒杀鸡作食。村中闻有此人，咸来问讯。自云先世避秦时乱，率妻子邑人来此绝境，不复出焉，遂与外人间隔。问今是何世，乃不知有汉，无论魏晋。此人一一为具言所闻，皆叹惋。余人各复延至其家，皆出酒食。停数日，辞去。此中人语云：“不足为外人道也。”(间隔 一作：隔绝) 　　既出，得其船，便扶向路，处处志之。及郡下，诣太守，说如此。太守即遣人随其往，寻向所志，遂迷，不复得路。 　　南阳刘子骥，高尚士也，闻之，欣然规往。未果，寻病终。后遂无问津者。 .
Prv8 Shell
Server : Apache
System : Linux srv.rainic.com 4.18.0-553.47.1.el8_10.x86_64 #1 SMP Wed Apr 2 05:45:37 EDT 2025 x86_64
User : rainic ( 1014)
PHP Version : 7.4.33
Disable Function : exec,passthru,shell_exec,system
Directory :  /usr/share/gdb/auto-load/usr/lib64/

Upload File :
current_dir [ Writeable ] document_root [ Writeable ]

 

Current File : //usr/share/gdb/auto-load/usr/lib64/libisl.so.15.1.1-gdb.py
import gdb
import re

# GDB Pretty Printers for most isl objects
class IslObjectPrinter:
	"""Print an isl object"""
	def __init__ (self, val, type):
                self.val = val
                self.type = type

	def to_string (self):
                # Cast val to a void pointer to stop gdb using this pretty
                # printer for the pointer which would lead to an infinite loop.
                void_ptr = gdb.lookup_type('void').pointer()
                value = str(self.val.cast(void_ptr))
                printer = gdb.parse_and_eval("isl_printer_to_str(isl_"
                                             + str(self.type)
					     + "_get_ctx(" + value + "))")
                printer = gdb.parse_and_eval("isl_printer_print_"
                                             + str(self.type) + "("
                                             + str(printer) + ", "
                                             + value + ")")
                string = gdb.parse_and_eval("(char*)isl_printer_get_str("
                                            + str(printer) + ")")
                gdb.parse_and_eval("isl_printer_free(" + str(printer) + ")")
                return string

	def display_hint (self):
                return 'string'

class IslIntPrinter:
	"""Print an isl_int """
	def __init__ (self, val):
                self.val = val

	def to_string (self):
                # Cast val to a void pointer to stop gdb using this pretty
                # printer for the pointer which would lead to an infinite loop.
                void_ptr = gdb.lookup_type('void').pointer()
                value = str(self.val.cast(void_ptr))

                context = gdb.parse_and_eval("isl_ctx_alloc()")
                printer = gdb.parse_and_eval("isl_printer_to_str("
                                             + str(context) + ")")
                printer = gdb.parse_and_eval("isl_printer_print_isl_int("
                                             + str(printer) + ", "
                                             + value + ")")
                string = gdb.parse_and_eval("(char*)isl_printer_get_str("
                                            + str(printer) + ")")
                gdb.parse_and_eval("isl_printer_free(" + str(printer) + ")")
                gdb.parse_and_eval("isl_ctx_free(" + str(context) + ")")
                return string

	def display_hint (self):
                return 'string'

class IslPrintCommand (gdb.Command):
        """Print an isl value."""
        def __init__ (self):
                super (IslPrintCommand, self).__init__ ("islprint",
                                                        gdb.COMMAND_OBSCURE)
        def invoke (self, arg, from_tty):
                arg = gdb.parse_and_eval(arg);
                printer = str_lookup_function(arg)

                if printer == None:
                        print "No isl printer for this type"
                        return

                print printer.to_string()

IslPrintCommand()

def str_lookup_function (val):
	if val.type.code != gdb.TYPE_CODE_PTR:
		if str(val.type) == "isl_int":
			return IslIntPrinter(val)
                else:
                        return None

	lookup_tag = val.type.target()
	regex = re.compile ("^isl_(.*)$")

	if lookup_tag == None:
		return None

	m = regex.match (str(lookup_tag))

	if m:
                # Those types of printers defined in isl.
                if m.group(1) in ["basic_set", "set", "union_set", "basic_map",
                                  "map", "union_map", "qpolynomial",
                                  "pw_qpolynomial", "pw_qpolynomial_fold",
                                  "union_pw_qpolynomial",
                                  "union_pw_qpolynomial_fold"]:
                        return IslObjectPrinter(val, m.group(1))
        return None

# Do not register the pretty printer.
# gdb.current_objfile().pretty_printers.append(str_lookup_function)

haha - 2025