def readline(self, use_raw=None, prompt='<STR_LIT>'):
if self.closed: raise ValueError<EOL>if <NUM_LIT:0> == len(self.input):<EOL><INDENT>self.closed = True<EOL>raise EOFError<EOL><DEDENT>line = self.input[<NUM_LIT:0>]<EOL>del self.input[<NUM_LIT:0>]<EOL>return line<EOL>
Read a line of input. EOFError will be raised on EOF.

        Note that we don't support prompting