pump.Env Class Reference

Public Member Functions
def	__init__ (self)
def	Clone (self)
def	PushVariable (self, var, value)
def	PopVariable (self)
def	PushRange (self, var, lower, upper)
def	PopRange (self)
def	GetValue (self, identifier)
def	EvalExp (self, exp)
def	GetRange (self, identifier)

Public Attributes
	variables
	ranges

Constructor & Destructor Documentation

__init__()

def pump.Env.__init__

(

self

)

Member Function Documentation

Clone()

def pump.Env.Clone

(

self

)

EvalExp()

def pump.Env.EvalExp	(		self,
			exp
	)

GetRange()

def pump.Env.GetRange	(		self,
			identifier
	)

GetValue()

def pump.Env.GetValue	(		self,
			identifier
	)

PopRange()

def pump.Env.PopRange

(

self

)

PopVariable()

def pump.Env.PopVariable

(

self

)

PushRange()

def pump.Env.PushRange	(		self,
			var,
			lower,
			upper
	)

PushVariable()

def pump.Env.PushVariable	(		self,
			var,
			value
	)

Member Data Documentation

ranges

pump.Env.ranges

variables

pump.Env.variables

---

The documentation for this class was generated from the following file:

• external/rapidjson/thirdparty/gtest/googletest/scripts/pump.py