public interface ICharacterInput
int
Read(int[] chars, int index, int length)
ReadChar()
int ReadChar()
int Read(int[] chars, int index, int length)
Encoding for Java documentation, generated in 2017.