pump.Env Class Reference

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

Public Attributes
	variables
	ranges

Constructor & Destructor Documentation

__init__()

pump.Env.__init__

(

self

)

Member Function Documentation

Clone()

pump.Env.Clone

(

self

)

EvalExp()

pump.Env.EvalExp	(		self,
			exp )

GetRange()

pump.Env.GetRange	(		self,
			identifier )

GetValue()

pump.Env.GetValue	(		self,
			identifier )

PopRange()

pump.Env.PopRange

(

self

)

PopVariable()

pump.Env.PopVariable

(

self

)

PushRange()

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

PushVariable()

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