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 11417 of file z3py.py.

Constructor & Destructor Documentation

def __init__ (   self)

Definition at line 11418 of file z3py.py.

11418  def __init__(self):
11419  self.bases = {}
11420  self.lock = None
11421 
def __init__(self)
Definition: z3py.py:11418

Member Function Documentation

def get (   self,
  ctx 
)

Definition at line 11427 of file z3py.py.

11427  def get(self, ctx):
11428  if self.lock:
11429  with self.lock:
11430  r = self.bases[ctx]
11431  else:
11432  r = self.bases[ctx]
11433  return r
11434 
def get(self, ctx)
Definition: z3py.py:11427
def insert (   self,
  r 
)

Definition at line 11442 of file z3py.py.

11442  def insert(self, r):
11443  if self.lock:
11444  with self.lock:
11445  id = len(self.bases) + 3
11446  self.bases[id] = r
11447  else:
11448  id = len(self.bases) + 3
11449  self.bases[id] = r
11450  return id
11451 
11452 
def insert(self, r)
Definition: z3py.py:11442
def set (   self,
  ctx,
  r 
)

Definition at line 11435 of file z3py.py.

11435  def set(self, ctx, r):
11436  if self.lock:
11437  with self.lock:
11438  self.bases[ctx] = r
11439  else:
11440  self.bases[ctx] = r
11441 
def set(self, ctx, r)
Definition: z3py.py:11435
def set_threaded (   self)

Definition at line 11422 of file z3py.py.

11422  def set_threaded(self):
11423  if self.lock is None:
11424  import threading
11425  self.lock = threading.Lock()
11426 
def set_threaded(self)
Definition: z3py.py:11422

Field Documentation

bases

Definition at line 11419 of file z3py.py.

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

lock