src/work/peter/graph-displayer.cc
changeset 1290 082fc511c2b9
parent 1289 142633fc5014
child 1301 1f3baf3bd1f2
     1.1 --- a/src/work/peter/graph-displayer.cc	Fri Apr 01 09:44:29 2005 +0000
     1.2 +++ b/src/work/peter/graph-displayer.cc	Fri Apr 01 13:42:31 2005 +0000
     1.3 @@ -279,6 +279,11 @@
     1.4  
     1.5  int main(int argc, char *argv[])
     1.6  {
     1.7 +  if(argc<2)
     1.8 +  {
     1.9 +      std::cerr << "USAGE: gd <input filename.lgf>" << endl;
    1.10 +      return 0;
    1.11 +  }
    1.12  
    1.13    Coordinates coosvector;
    1.14  
    1.15 @@ -291,7 +296,7 @@
    1.16    CoordReaderMap xreader('x',cm);
    1.17    CoordReaderMap yreader('y',cm);
    1.18  
    1.19 -  std::ifstream is("graphocska.lemon");
    1.20 +  std::ifstream is(argv[1]);
    1.21  
    1.22    GraphReader<Graph> reader(is, g);
    1.23    reader.addNodeMap("coordinates_x", xreader);