git » pymisc » master » tree

[master] / samples / contract / sample1.py 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
from contract import *


@contract
def f(a):
	"My beautiful function."

	@precond(f)
	def pre(a):
		"Precondition."
		print 'pre', a

	@postcond(f)
	def post(ret, a):
		"Postcondition."
		print 'post', ret, a

	print 'f', a
	return 2 * a


print '* run f'
r = f(26)
print '* f returned', r
print '* exit f'