@pexdoc.pcontracts.contract(divisor="<STR_LIT>")<EOL><INDENT>def divide(self, divisor):<DEDENT>
self._value1 = self._value1 / float(divisor)<EOL>
Sample method with defined exceptions in argument contract to auto-doc.