ParserContext Class Reference

Public Member Functions
def	__init__
def	__del__ (self)
def	add_sort (self, sort)
def	add_decl (self, decl)
def	from_string (self, s)

Data Fields
	ctx
	pctx

Detailed Description

Definition at line 9455 of file z3py.py.

Constructor & Destructor Documentation

def __init__	(		self,
			ctx = None
	)

Definition at line 9456 of file z3py.py.

    def __init__(self, ctx= None):
        self.ctx = _get_ctx(ctx)
        self.pctx = Z3_mk_parser_context(self.ctx.ref())
        Z3_parser_context_inc_ref(self.ctx.ref(), self.pctx)

def __del__

(

self

)

Definition at line 9461 of file z3py.py.

    def __del__(self):
        if self.ctx.ref() is not None and self.pctx is not None and Z3_parser_context_dec_ref is not None:
            Z3_parser_context_dec_ref(self.ctx.ref(), self.pctx)
            self.pctx = None

Member Function Documentation

def add_decl	(		self,
			decl
	)

Definition at line 9469 of file z3py.py.

    def add_decl(self, decl):
        Z3_parser_context_add_decl(self.ctx.ref(), self.pctx, decl.as_ast())

def add_sort	(		self,
			sort
	)

Definition at line 9466 of file z3py.py.

    def add_sort(self, sort):
        Z3_parser_context_add_sort(self.ctx.ref(), self.pctx, sort.as_ast())

def from_string	(		self,
			s
	)

Definition at line 9472 of file z3py.py.

    def from_string(self, s):
        return AstVector(Z3_parser_context_from_string(self.ctx.ref(), self.pctx, s), self.ctx)

Field Documentation

ctx

Definition at line 9457 of file z3py.py.

Referenced by ParserContext.from_string().

pctx

Definition at line 9458 of file z3py.py.

Referenced by ParserContext.__del__(), ParserContext.add_decl(), ParserContext.add_sort(), and ParserContext.from_string().