PropClosures Class Reference

Public Member Functions
def	__init__ (self)
def	set_threaded ()
def	get (self, ctx)
def	set (self, ctx, r)
def	insert (self, r)

Data Fields
	bases
	lock

Detailed Description

Definition at line 11072 of file z3py.py.

Constructor & Destructor Documentation

__init__()

def __init__

(

self

)

Definition at line 11073 of file z3py.py.

    def __init__(self):
        self.bases = {}
        self.lock = None
 

Member Function Documentation

get()

def get	(		self,
			ctx
	)

Definition at line 11082 of file z3py.py.

    def get(self, ctx):
        if self.lock:
            self.lock.acquire()
        r = self.bases[ctx]
        if self.lock:
            self.lock.release()
        return r
 

insert()

def insert	(		self,
			r
	)

Definition at line 11097 of file z3py.py.

    def insert(self, r):
        if self.lock:
            self.lock.acquire()
        id = len(self.bases) + 3
        self.bases[id] = r
        if self.lock:
            self.lock.release()
        return id
 
 

set()

def set	(		self,
			ctx,
			r
	)

Definition at line 11090 of file z3py.py.

    def set(self, ctx, r):
        if self.lock:
            self.lock.acquire()
        self.bases[ctx] = r
        if self.lock:
            self.lock.release()
 

set_threaded()

def set_threaded

(

)

Definition at line 11077 of file z3py.py.

    def set_threaded():
        if self.lock is None:
            import threading
            self.lock = threading.thread.Lock()
 

Field Documentation

bases

bases

Definition at line 11074 of file z3py.py.

Referenced by PropClosures.get(), PropClosures.insert(), and PropClosures.set().

lock

lock

Definition at line 11075 of file z3py.py.

Referenced by PropClosures.get(), PropClosures.insert(), PropClosures.set(), and PropClosures.set_threaded().