Exemplos de set_extra_info em Python

Exemplo n.º 1

Arquivo: lambda_calculus_test.py Projeto: 0/lambda-calculus

def collect_extra_info():
	"""
	Gather the data output through extra_info.
	"""

	values = []

	def writer(v):
		values.append(str(v))

	try:
		set_extra_info(writer)

		yield values
	finally:
		set_extra_info()

Exemplo n.º 2

Arquivo: generate_example_session.py Projeto: 0/lambda-calculus

		buf_out.write(value)
		buf_out.write('\n')

		return value

	def o(value):
		buf_out.write(str(value))
		buf_out.write('\n')

	def result():
		return buf_out.getvalue()

	return i, o, result


if __name__ == '__main__':
	prepared_input = []

	for ls, c in INPUT:
		prepared_input.extend(prepare_input(ls, c))

	i, o, result = make_io_pair(prepared_input)

	set_extra_info(o)

	r = REPL()
	r.run(i=i, o=o)

	for line in result().splitlines():
		print('    ' + line)