PropClosures Class Reference

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

Data Fields
	bases
	lock

Detailed Description

Definition at line 11653 of file z3py.py.

Constructor & Destructor Documentation

def __init__

(

self

)

Definition at line 11654 of file z3py.py.

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

Member Function Documentation

def get	(		self,
			ctx
	)

Definition at line 11663 of file z3py.py.

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

def insert	(		self,
			r
	)

Definition at line 11678 of file z3py.py.

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

def set	(		self,
			ctx,
			r
	)

Definition at line 11671 of file z3py.py.

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

def set_threaded

(

self

)

Definition at line 11658 of file z3py.py.

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

Field Documentation

bases

Definition at line 11655 of file z3py.py.

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

lock

Definition at line 11656 of file z3py.py.

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