diff -r 65cba1032f90 -r 5893bacaa720 lemon/lgf_writer.h --- a/lemon/lgf_writer.h Sun Jul 06 07:49:03 2008 +0100 +++ b/lemon/lgf_writer.h Tue Jul 08 14:57:44 2008 +0200 @@ -225,17 +225,17 @@ } }; - bool isWhiteSpace(char c) { + inline bool isWhiteSpace(char c) { return c == ' ' || c == '\t' || c == '\v' || c == '\n' || c == '\r' || c == '\f'; } - bool isEscaped(char c) { + inline bool isEscaped(char c) { return c == '\\' || c == '\"' || c == '\'' || c == '\a' || c == '\b'; } - static void writeEscape(std::ostream& os, char c) { + inline static void writeEscape(std::ostream& os, char c) { switch (c) { case '\\': os << "\\\\"; @@ -276,7 +276,7 @@ } } - bool requireEscape(const std::string& str) { + inline bool requireEscape(const std::string& str) { if (str.empty() || str[0] == '@') return true; std::istringstream is(str); char c; @@ -288,7 +288,7 @@ return false; } - std::ostream& writeToken(std::ostream& os, const std::string& str) { + inline std::ostream& writeToken(std::ostream& os, const std::string& str) { if (requireEscape(str)) { os << '\"';