* Update a bit.
[ginac.git] / tools / viewgar.cpp
index 5568c51e5bc01d9dd7df7ced05b2bb725b138d19..dd169bddc6c5203ef464cf88d38047e732de625e 100644 (file)
@@ -1,8 +1,9 @@
 /** @file viewgar.cpp
  *
- *  GiNaC archive file viewer
- *
- *  GiNaC Copyright (C) 1999-2000 Johannes Gutenberg University Mainz, Germany
+ *  GiNaC archive file viewer. */
+
+/*
+ *  GiNaC Copyright (C) 1999-2005 Johannes Gutenberg University Mainz, Germany
  *
  *  This program is free software; you can redistribute it and/or modify
  *  it under the terms of the GNU General Public License as published by
  *
  *  You should have received a copy of the GNU General Public License
  *  along with this program; if not, write to the Free Software
- *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
+ *  Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
  */
 
-#include <stdio.h>
-#include <stdlib.h>
+#include <cstdlib>
+#include <iostream>
 #include <fstream>
 #include <stdexcept>
 
 #include "ginac.h"
 
-#ifndef NO_NAMESPACE_GINAC
+using namespace std;
 using namespace GiNaC;
-#endif // ndef NO_NAMESPACE_GINAC
 
 int main(int argc, char **argv)
 {
        if (argc < 2) {
-               fprintf(stderr, "Usage: %s [-d] file...\n", argv[0]);
+               cerr << "Usage: " << argv[0] << " [-d] file..." << endl;
                exit(1);
        }
-       argc--; argv++;
+       --argc; ++argv;
 
        bool dump_mode = false;
        try {
@@ -44,24 +44,24 @@ int main(int argc, char **argv)
                while (argc) {
                        if (strcmp(*argv, "-d") == 0) {
                                dump_mode = true;
-                               argc--; argv++;
+                               --argc; ++argv;
                        }
-                       ifstream f(*argv);
+                       std::ifstream f(*argv, std::ios_base::binary);
                        archive ar;
                        f >> ar;
                        if (dump_mode) {
-                               ar.printraw(cout);
-                               cout << endl;
+                               ar.printraw(std::cout);
+                               std::cout << std::endl;
                        } else {
-                               for (unsigned int i=0; i<ar.num_expressions(); i++) {
-                                       string name;
+                               for (unsigned int i=0; i<ar.num_expressions(); ++i) {
+                                       std::string name;
                                        ex e = ar.unarchive_ex(l, name, i);
-                                       cout << name << " = " << e << endl;
+                                       std::cout << name << " = " << e << std::endl;
                                }
                        }
-                       argc--; argv++;
+                       --argc; ++argv;
                }
-       } catch (exception &e) {
-               cerr << *argv << ": " << e.what() << endl;
+       } catch (std::exception &e) {
+               std::cerr << *argv << ": " << e.what() << std::endl;
        }
 }