TypeCheck/abrivan			TypeCheck/Stephan
f	1	import types	f	1	import types
	2			2
	3			3
n	4	def TypeCheck(arg, r):	n	4	def TypeCheck(argtypes, res):
	5	if isinstance(arg, types.GeneratorType):		5	if isinstance(argtypes, types.GeneratorType):
	6	arg = list(arg)		6	argtypes = list(argtypes)
	7			7
n	8	def de(f):	n	8	def decorator(fun):
	9	def n_f(*args, **kwargs):		9	def newfun(*args, **kwargs):
	10	if len(kwargs)+len(args) != len(arg):		10	if len(args) + len(kwargs) != len(argtypes):
	11	if not f.__defaults__ or len(		11	if not fun.__defaults__ or len(
	12	f.__defaults__) + len(kwargs) + len(args) != len(arg):		12	fun.__defaults__) + len(args) + len(kwargs) != len(argtypes):
	13	raise TypeError('Function ' +		13	raise TypeError('Function ' +
n	14	f.__code__.co_name +	n	14	fun.__code__.co_name +
	15	' must have ' +		15	' must have ' +
n	16	str(len(arg)) +	n	16	str(len(argtypes)) +
	17	' arguments')		17	' arguments')
n	18	for index, argss in enumerate(args):	n	18	for index, arg in enumerate(args):
	19	if not isinstance(argss, arg[index]):		19	if not isinstance(arg, argtypes[index]):
	20	raise TypeError('Type of argument ' +		20	raise TypeError(
	21	str(index + 1) + ' is not ' + str(arg[index]))		21	'Type of argument ' + str(index + 1) + ' is not ' + str(argtypes[index]))
	22	n = 0		22	named = 0
	23	for k, v in kwargs.items():		23	for kw, val in kwargs.items():
	24	if k in f.__code__.co_varnames and not isinstance(		24	if kw in fun.__code__.co_varnames and not isinstance(
	25	v, arg[f.__code__.co_varnames.index(k)]):		25	val, argtypes[fun.__code__.co_varnames.index(kw)]):
	26	n += 1		26	named += 1
	27	raise TypeError('Type of argument \'' +		27	raise TypeError('Type of argument \'' +
n	28	k +	n	28	kw +
	29	'\' is not ' +		29	'\' is not ' +
t	30	str(arg[f.__code__.co_varnames.index(k)]))	t	30	str(argtypes[fun.__code__.co_varnames.index(kw)]))
	31	otv = f(*args, **kwargs)		31	result = fun(*args, **kwargs)
	32	if not isinstance(otv, r):		32	if not isinstance(result, res):
	33	raise TypeError('Type of result is not ' + str(r))		33	raise TypeError('Type of result is not ' + str(res))
	34	return otv		34	return result
	35	return n_f		35	return newfun
	36	return de		36	return decorator
	37			37

Legends
Colors  Added  Changed Deleted	Links (f)irst change (n)ext change (t)op