Method Stdio.Readline()->eof()

class Stdio.Readline

Method eof

void eof()

FIXME

Document this function