#NEWLINE# def readlines( self , size = DEFAULT ) : #NEWLINE# #INDENT# '\n        readlines([size]) -> list of strings, each a line from the file.\n\n        Call readline() repeatedly and return a list of the lines so read. The\n        optional size argument, if given, is an approximate bound on the total\n        number of bytes in the lines returned.\n        ' #NEWLINE# if ( self . mode in WRITE_MODES ) : #NEWLINE# #INDENT# raise IOError ( 'Bad file descriptor' ) #NEWLINE# #UNINDENT# if ( size is not DEFAULT ) : #NEWLINE# #INDENT# self . _check_int_argument ( size ) #NEWLINE# #UNINDENT# result = list ( self ) #NEWLINE# self . _in_iter = False #NEWLINE# return self