69 process_stream(std::istream& is, constchar* filename);
70
71virtualint
72 process_file(constchar* filename);
73
74virtualint
75 run();
76
77char* real_filename;
78longint col_to_read;
79char* prefix;
80char* suffix;
81 };
82
83
84
85#endif // SPOT_BIN_COMMON_FINPUT_HH
Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Thu May 15 2014 11:04:10 for spot by 1.8.4