equal
deleted
inserted
replaced
56 stage4out_c::stage4out_c(const char *radix, const char *extension, std::string indent_level) { |
56 stage4out_c::stage4out_c(const char *radix, const char *extension, std::string indent_level) { |
57 std::string filename(radix); |
57 std::string filename(radix); |
58 filename += "."; |
58 filename += "."; |
59 filename += extension; |
59 filename += extension; |
60 std::fstream *file = new std::fstream(filename.c_str(), std::fstream::out); |
60 std::fstream *file = new std::fstream(filename.c_str(), std::fstream::out); |
|
61 if(file->fail()){ |
|
62 std::cerr << "Cannot open " << filename << " for write access \n"; |
|
63 exit(EXIT_FAILURE); |
|
64 }else{ |
|
65 std::cout << filename << "\n"; |
|
66 } |
61 out = file; |
67 out = file; |
62 m_file = file; |
68 m_file = file; |
63 this->indent_level = indent_level; |
69 this->indent_level = indent_level; |
64 this->indent_spaces = ""; |
70 this->indent_spaces = ""; |
65 } |
71 } |