* Hahaha! The second of the two tests was actually BS(tm) but this was only

[ginac.git] / tools / viewgar.cpp

diff --git a/tools/viewgar.cpp b/tools/viewgar.cpp
index 79f992913470a53311af93dca350742f45174a7f..2a3e20ac3c08dcd4999816b4c08d29151d9de174 100644 (file)
--- a/tools/viewgar.cpp
+++ b/tools/viewgar.cpp
@@ -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-2001 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
@@ -19,21 +20,23 @@
  *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
  */
 
-#include <stdio.h>
-#include <stdlib.h>
+#include <cstdlib>
+#include <iostream>
 #include <fstream>
 #include <stdexcept>
 
-#include <ginac/ginac.h>
+#include "ginac.h"
+
+using namespace std;
 using namespace GiNaC;
 
 int main(int argc, char **argv)
 {
        if (argc < 2) {
-               fprintf(stderr, "Usage: %s [-d] file...", argv[0]);
+               cerr << "Usage: " << argv[0] << " [-d] file..." << endl;
                exit(1);
        }
-       argc--; argv++;
+       --argc; ++argv;
 
        bool dump_mode = false;
        try {
@@ -41,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);
                        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;
        }
 }