Z3
Public Member Functions | Data Fields
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 11500 of file z3py.py.

Constructor & Destructor Documentation

def __init__ (   self)

Definition at line 11501 of file z3py.py.

11501  def __init__(self):
11502  self.bases = {}
11503  self.lock = None
11504 
def __init__(self)
Definition: z3py.py:11501

Member Function Documentation

def get (   self,
  ctx 
)

Definition at line 11510 of file z3py.py.

11510  def get(self, ctx):
11511  if self.lock:
11512  with self.lock:
11513  r = self.bases[ctx]
11514  else:
11515  r = self.bases[ctx]
11516  return r
11517 
def get(self, ctx)
Definition: z3py.py:11510
def insert (   self,
  r 
)

Definition at line 11525 of file z3py.py.

11525  def insert(self, r):
11526  if self.lock:
11527  with self.lock:
11528  id = len(self.bases) + 3
11529  self.bases[id] = r
11530  else:
11531  id = len(self.bases) + 3
11532  self.bases[id] = r
11533  return id
11534 
11535 
def insert(self, r)
Definition: z3py.py:11525
def set (   self,
  ctx,
  r 
)

Definition at line 11518 of file z3py.py.

11518  def set(self, ctx, r):
11519  if self.lock:
11520  with self.lock:
11521  self.bases[ctx] = r
11522  else:
11523  self.bases[ctx] = r
11524 
def set(self, ctx, r)
Definition: z3py.py:11518
def set_threaded (   self)

Definition at line 11505 of file z3py.py.

11505  def set_threaded(self):
11506  if self.lock is None:
11507  import threading
11508  self.lock = threading.Lock()
11509 
def set_threaded(self)
Definition: z3py.py:11505

Field Documentation

bases

Definition at line 11502 of file z3py.py.

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

lock