2 Tests useful in assertion checking, prints out nicely formated messages too.
5 from humanreadable import hr
7 def _assert(___cond=False, *___args, **___kwargs):
12 msgbuf.append("%s %s" % tuple(map(hr, (___args[0], type(___args[0]),))))
13 msgbuf.extend([", %s %s" % tuple(map(hr, (arg, type(arg),))) for arg in ___args[1:]])
15 msgbuf.append(", %s: %s %s" % ((___kwargs.items()[0][0],) + tuple(map(hr, (___kwargs.items()[0][1], type(___kwargs.items()[0][1]),)))))
18 msgbuf.append("%s: %s %s" % ((___kwargs.items()[0][0],) + tuple(map(hr, (___kwargs.items()[0][1], type(___kwargs.items()[0][1]),)))))
19 msgbuf.extend([", %s: %s %s" % tuple(map(hr, (k, v, type(v),))) for k, v in ___kwargs.items()[1:]])
21 raise AssertionError, "".join(msgbuf)
23 def precondition(___cond=False, *___args, **___kwargs):
26 msgbuf=["precondition", ]
27 if ___args or ___kwargs:
30 msgbuf.append("%s %s" % tuple(map(hr, (___args[0], type(___args[0]),))))
31 msgbuf.extend([", %s %s" % tuple(map(hr, (arg, type(arg),))) for arg in ___args[1:]])
33 msgbuf.append(", %s: %s %s" % ((___kwargs.items()[0][0],) + tuple(map(hr, (___kwargs.items()[0][1], type(___kwargs.items()[0][1]),)))))
36 msgbuf.append("%s: %s %s" % ((___kwargs.items()[0][0],) + tuple(map(hr, (___kwargs.items()[0][1], type(___kwargs.items()[0][1]),)))))
37 msgbuf.extend([", %s: %s %s" % tuple(map(hr, (k, v, type(v),))) for k, v in ___kwargs.items()[1:]])
39 raise AssertionError, "".join(msgbuf)
41 def postcondition(___cond=False, *___args, **___kwargs):
44 msgbuf=["postcondition", ]
45 if ___args or ___kwargs:
48 msgbuf.append("%s %s" % tuple(map(hr, (___args[0], type(___args[0]),))))
49 msgbuf.extend([", %s %s" % tuple(map(hr, (arg, type(arg),))) for arg in ___args[1:]])
51 msgbuf.append(", %s: %s %s" % ((___kwargs.items()[0][0],) + tuple(map(hr, (___kwargs.items()[0][1], type(___kwargs.items()[0][1]),)))))
54 msgbuf.append("%s: %s %s" % ((___kwargs.items()[0][0],) + tuple(map(hr, (___kwargs.items()[0][1], type(___kwargs.items()[0][1]),)))))
55 msgbuf.extend([", %s: %s %s" % tuple(map(hr, (k, v, type(v),))) for k, v in ___kwargs.items()[1:]])
57 raise AssertionError, "".join(msgbuf)