diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-06-27T13·55+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-06-27T13·55+0000 |
| commit | 3da9687854e029e9df3b612fd592d2d5a622bb20 (patch) | |
| tree | 4b51f62373c134bb80ff5aac51ffe613eef755e6 /src/util.hh | |
| parent | bb03c45ca03e038c8b74fc1410f48d02ade4c59b (diff) | |
* Realisation of File(...) expressions.
Diffstat (limited to 'src/util.hh')
| -rw-r--r-- | src/util.hh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/util.hh b/src/util.hh index 7d5f00a2e8..3efac928b5 100644 --- a/src/util.hh +++ b/src/util.hh @@ -7,7 +7,10 @@ #include <unistd.h> +#include <boost/format.hpp> + using namespace std; +using namespace boost; class Error : public exception @@ -16,7 +19,7 @@ protected: string err; public: Error() { } - Error(string _err) { err = _err; } + Error(format f) { err = f.str(); } ~Error() throw () { } const char * what() const throw () { return err.c_str(); } }; @@ -59,7 +62,7 @@ string baseNameOf(string path); void deletePath(string path); -void debug(string s); +void debug(const format & f); #endif /* !__UTIL_H */ |