proofs.Guard Class Reference

Public Member Functions
def	__enter__ (self)
def	__exit__ (self, exc_type, exc_value, traceback)

Member Function Documentation

__enter__()

def proofs.Guard.__enter__

(

self

)

__exit__()

def proofs.Guard.__exit__	(		self,
			exc_type,
			exc_value,
			traceback
	)

---

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

• tests/functional_tests/proofs.py