parameters: (self, arg)
return_statement: return 1
docstring: EOF
          Handles the receipt of EOF as a command.
docstring_summary: EOF
          Handles the receipt of EOF as a command.
docstring_tokens: EOF Handles the receipt of EOF as a command .
function: def do_EOF(self, arg):
          """EOF
          Handles the receipt of EOF as a command.
          """
          self.message('')
          self._user_requested_quit = True
          self.set_quit()
          return 1
function_tokens: def do_EOF ( self , arg ) : self . message ( '' ) self . _user_requested_quit = True self . set_quit ( ) return 1