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

def pump.Env.__init__

(

self

)

Member Function Documentation

def pump.Env.Clone

(

self

)

References pump.Env.ranges, and pump.Env.variables.

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

References pump.Env.variables.

def pump.Env.PopVariable

(

self

)

References pump.Env.variables.

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

References pump.Env.ranges.

def pump.Env.PopRange

(

self

)

References pump.Env.ranges.

def pump.Env.GetValue	(		self,
			identifier
	)

References pump.Env.variables.

def pump.Env.EvalExp	(		self,
			exp
	)

def pump.Env.GetRange	(		self,
			identifier
	)

References pump.Env.ranges.

Member Data Documentation

pump.Env.variables

Referenced by pump.Env.Clone(), pump.Env.GetValue(), pump.Env.PopVariable(), and pump.Env.PushVariable().

pump.Env.ranges

Referenced by pump.Env.Clone(), pump.Env.GetRange(), pump.Env.PopRange(), and pump.Env.PushRange().

---

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

• /home/adrl/code/src/control-toolbox/ct_core/build/test/googletest-src/googletest/scripts/pump.py