50 lines · plain
1import os2from ctypes import *3from ctypes.util import find_library4 5isl_dyld_library_path = os.environ.get('ISL_DYLD_LIBRARY_PATH')6if isl_dyld_library_path != None:7 os.environ['DYLD_LIBRARY_PATH'] = isl_dyld_library_path8try:9 isl = cdll.LoadLibrary(isl_dlname)10except:11 isl = cdll.LoadLibrary(find_library("isl"))12libc = cdll.LoadLibrary(find_library("c"))13 14class Error(Exception):15 pass16 17class Context:18 defaultInstance = None19 20 def __init__(self):21 ptr = isl.isl_ctx_alloc()22 self.ptr = ptr23 24 def __del__(self):25 isl.isl_ctx_free(self)26 27 def from_param(self):28 return c_void_p(self.ptr)29 30 @staticmethod31 def getDefaultInstance():32 if Context.defaultInstance == None:33 Context.defaultInstance = Context()34 return Context.defaultInstance35 36 @CFUNCTYPE(None, py_object)37 def free_user(user):38 pythonapi.Py_DecRef(py_object(user))39 40isl.isl_ctx_alloc.restype = c_void_p41isl.isl_ctx_free.argtypes = [Context]42isl.isl_id_alloc.restype = c_void_p43isl.isl_id_alloc.argtypes = [Context, c_char_p, py_object]44isl.isl_id_set_free_user.restype = c_void_p45isl.isl_id_set_free_user.argtypes = [c_void_p, c_void_p]46isl.isl_id_get_free_user.restype = c_void_p47isl.isl_id_get_free_user.argtypes = [c_void_p]48isl.isl_id_get_user.restype = py_object49isl.isl_id_get_user.argtypes = [c_void_p]50