forked from OSchip/llvm-project
30 lines
616 B
Plaintext
30 lines
616 B
Plaintext
|
from ctypes import *
|
||
|
|
|
||
|
|
isl = cdll.LoadLibrary("libisl.so")
|
||
|
|
libc = cdll.LoadLibrary("libc.so.6")
|
||
|
|
|
||
|
|
class Error(Exception):
|
||
|
|
pass
|
||
|
|
|
||
|
|
class Context:
|
||
|
|
defaultInstance = None
|
||
|
|
|
||
|
|
def __init__(self):
|
||
|
|
ptr = isl.isl_ctx_alloc()
|
||
|
|
self.ptr = ptr
|
||
|
|
|
||
|
|
def __del__(self):
|
||
|
|
isl.isl_ctx_free(self)
|
||
|
|
|
||
|
|
def from_param(self):
|
||
|
|
return self.ptr
|
||
|
|
|
||
|
|
@staticmethod
|
||
|
|
def getDefaultInstance():
|
||
|
|
if Context.defaultInstance == None:
|
||
|
|
Context.defaultInstance = Context()
|
||
|
|
return Context.defaultInstance
|
||
|
|
|
||
|
|
isl.isl_ctx_alloc.restype = c_void_p
|
||
|
|
isl.isl_ctx_free.argtypes = [Context]
|