proofs.Guard Class Reference

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

Member Function Documentation

__enter__()

proofs.Guard.__enter__

(

self

)

__exit__()

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