pump.IfNode Class Reference

Public Member Functions
def	__init__ (self, exp=None, then_branch=None, else_branch=None)

Public Attributes
	else_branch
	exp
	then_branch

Detailed Description

Definition at line 420 of file pump.py.

Constructor & Destructor Documentation

__init__()

def pump.IfNode.__init__	(		self,
			exp = None,
			then_branch = None,
			else_branch = None
	)

Definition at line 421 of file pump.py.

Member Data Documentation

else_branch

pump.IfNode.else_branch

Definition at line 424 of file pump.py.

exp

pump.IfNode.exp

Definition at line 422 of file pump.py.

then_branch

pump.IfNode.then_branch

Definition at line 423 of file pump.py.

---

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

• pump.py