﻿class System.IO.TextReader : IDisposable
	java java.io.BufferedReader
	python io.TextIOBase import io

method void Dispose()
	java =close
	python =close

method void Close()
	java =close
	python =close

method int Read() throws IOException
	java =read

method int Read(char[], int, int) throws IOException
	java =read

method string ReadLine() throws IOException
	java =readLine
	python Utils.readLineIO({!})


	