0
2
0
... | ... |
@@ -174,86 +174,86 @@ |
174 | 174 |
|
175 | 175 |
template <typename Graph> |
176 | 176 |
struct GraphArcLookUpConverter { |
177 | 177 |
const Graph& _graph; |
178 | 178 |
const std::map<std::string, typename Graph::Edge>& _map; |
179 | 179 |
|
180 | 180 |
GraphArcLookUpConverter(const Graph& graph, |
181 | 181 |
const std::map<std::string, |
182 | 182 |
typename Graph::Edge>& map) |
183 | 183 |
: _graph(graph), _map(map) {} |
184 | 184 |
|
185 | 185 |
typename Graph::Arc operator()(const std::string& str) { |
186 | 186 |
if (str.empty() || (str[0] != '+' && str[0] != '-')) { |
187 | 187 |
throw DataFormatError("Item must start with '+' or '-'"); |
188 | 188 |
} |
189 | 189 |
typename std::map<std::string, typename Graph::Edge> |
190 | 190 |
::const_iterator it = _map.find(str.substr(1)); |
191 | 191 |
if (it == _map.end()) { |
192 | 192 |
throw DataFormatError("Item not found"); |
193 | 193 |
} |
194 | 194 |
return _graph.direct(it->second, str[0] == '+'); |
195 | 195 |
} |
196 | 196 |
}; |
197 | 197 |
|
198 |
bool isWhiteSpace(char c) { |
|
198 |
inline bool isWhiteSpace(char c) { |
|
199 | 199 |
return c == ' ' || c == '\t' || c == '\v' || |
200 | 200 |
c == '\n' || c == '\r' || c == '\f'; |
201 | 201 |
} |
202 | 202 |
|
203 |
bool isOct(char c) { |
|
203 |
inline bool isOct(char c) { |
|
204 | 204 |
return '0' <= c && c <='7'; |
205 | 205 |
} |
206 | 206 |
|
207 |
int valueOct(char c) { |
|
207 |
inline int valueOct(char c) { |
|
208 | 208 |
LEMON_ASSERT(isOct(c), "The character is not octal."); |
209 | 209 |
return c - '0'; |
210 | 210 |
} |
211 | 211 |
|
212 |
bool isHex(char c) { |
|
212 |
inline bool isHex(char c) { |
|
213 | 213 |
return ('0' <= c && c <= '9') || |
214 | 214 |
('a' <= c && c <= 'z') || |
215 | 215 |
('A' <= c && c <= 'Z'); |
216 | 216 |
} |
217 | 217 |
|
218 |
int valueHex(char c) { |
|
218 |
inline int valueHex(char c) { |
|
219 | 219 |
LEMON_ASSERT(isHex(c), "The character is not hexadecimal."); |
220 | 220 |
if ('0' <= c && c <= '9') return c - '0'; |
221 | 221 |
if ('a' <= c && c <= 'z') return c - 'a' + 10; |
222 | 222 |
return c - 'A' + 10; |
223 | 223 |
} |
224 | 224 |
|
225 |
bool isIdentifierFirstChar(char c) { |
|
225 |
inline bool isIdentifierFirstChar(char c) { |
|
226 | 226 |
return ('a' <= c && c <= 'z') || |
227 | 227 |
('A' <= c && c <= 'Z') || c == '_'; |
228 | 228 |
} |
229 | 229 |
|
230 |
bool isIdentifierChar(char c) { |
|
230 |
inline bool isIdentifierChar(char c) { |
|
231 | 231 |
return isIdentifierFirstChar(c) || |
232 | 232 |
('0' <= c && c <= '9'); |
233 | 233 |
} |
234 | 234 |
|
235 |
char readEscape(std::istream& is) { |
|
235 |
inline char readEscape(std::istream& is) { |
|
236 | 236 |
char c; |
237 | 237 |
if (!is.get(c)) |
238 | 238 |
throw DataFormatError("Escape format error"); |
239 | 239 |
|
240 | 240 |
switch (c) { |
241 | 241 |
case '\\': |
242 | 242 |
return '\\'; |
243 | 243 |
case '\"': |
244 | 244 |
return '\"'; |
245 | 245 |
case '\'': |
246 | 246 |
return '\''; |
247 | 247 |
case '\?': |
248 | 248 |
return '\?'; |
249 | 249 |
case 'a': |
250 | 250 |
return '\a'; |
251 | 251 |
case 'b': |
252 | 252 |
return '\b'; |
253 | 253 |
case 'f': |
254 | 254 |
return '\f'; |
255 | 255 |
case 'n': |
256 | 256 |
return '\n'; |
257 | 257 |
case 'r': |
258 | 258 |
return '\r'; |
259 | 259 |
case 't': |
... | ... |
@@ -263,49 +263,49 @@ |
263 | 263 |
case 'x': |
264 | 264 |
{ |
265 | 265 |
int code; |
266 | 266 |
if (!is.get(c) || !isHex(c)) |
267 | 267 |
throw DataFormatError("Escape format error"); |
268 | 268 |
else if (code = valueHex(c), !is.get(c) || !isHex(c)) is.putback(c); |
269 | 269 |
else code = code * 16 + valueHex(c); |
270 | 270 |
return code; |
271 | 271 |
} |
272 | 272 |
default: |
273 | 273 |
{ |
274 | 274 |
int code; |
275 | 275 |
if (!isOct(c)) |
276 | 276 |
throw DataFormatError("Escape format error"); |
277 | 277 |
else if (code = valueOct(c), !is.get(c) || !isOct(c)) |
278 | 278 |
is.putback(c); |
279 | 279 |
else if (code = code * 8 + valueOct(c), !is.get(c) || !isOct(c)) |
280 | 280 |
is.putback(c); |
281 | 281 |
else code = code * 8 + valueOct(c); |
282 | 282 |
return code; |
283 | 283 |
} |
284 | 284 |
} |
285 | 285 |
} |
286 | 286 |
|
287 |
std::istream& readToken(std::istream& is, std::string& str) { |
|
287 |
inline std::istream& readToken(std::istream& is, std::string& str) { |
|
288 | 288 |
std::ostringstream os; |
289 | 289 |
|
290 | 290 |
char c; |
291 | 291 |
is >> std::ws; |
292 | 292 |
|
293 | 293 |
if (!is.get(c)) |
294 | 294 |
return is; |
295 | 295 |
|
296 | 296 |
if (c == '\"') { |
297 | 297 |
while (is.get(c) && c != '\"') { |
298 | 298 |
if (c == '\\') |
299 | 299 |
c = readEscape(is); |
300 | 300 |
os << c; |
301 | 301 |
} |
302 | 302 |
if (!is) |
303 | 303 |
throw DataFormatError("Quoted format error"); |
304 | 304 |
} else { |
305 | 305 |
is.putback(c); |
306 | 306 |
while (is.get(c) && !isWhiteSpace(c)) { |
307 | 307 |
if (c == '\\') |
308 | 308 |
c = readEscape(is); |
309 | 309 |
os << c; |
310 | 310 |
} |
311 | 311 |
if (!is) { |
... | ... |
@@ -204,112 +204,112 @@ |
204 | 204 |
return it->second; |
205 | 205 |
} |
206 | 206 |
}; |
207 | 207 |
|
208 | 208 |
template <typename Graph> |
209 | 209 |
struct GraphArcLookUpConverter { |
210 | 210 |
const Graph& _graph; |
211 | 211 |
const std::map<typename Graph::Edge, std::string>& _map; |
212 | 212 |
|
213 | 213 |
GraphArcLookUpConverter(const Graph& graph, |
214 | 214 |
const std::map<typename Graph::Edge, |
215 | 215 |
std::string>& map) |
216 | 216 |
: _graph(graph), _map(map) {} |
217 | 217 |
|
218 | 218 |
std::string operator()(const typename Graph::Arc& val) { |
219 | 219 |
typename std::map<typename Graph::Edge, std::string> |
220 | 220 |
::const_iterator it = _map.find(val); |
221 | 221 |
if (it == _map.end()) { |
222 | 222 |
throw DataFormatError("Item not found"); |
223 | 223 |
} |
224 | 224 |
return (_graph.direction(val) ? '+' : '-') + it->second; |
225 | 225 |
} |
226 | 226 |
}; |
227 | 227 |
|
228 |
bool isWhiteSpace(char c) { |
|
228 |
inline bool isWhiteSpace(char c) { |
|
229 | 229 |
return c == ' ' || c == '\t' || c == '\v' || |
230 | 230 |
c == '\n' || c == '\r' || c == '\f'; |
231 | 231 |
} |
232 | 232 |
|
233 |
bool isEscaped(char c) { |
|
233 |
inline bool isEscaped(char c) { |
|
234 | 234 |
return c == '\\' || c == '\"' || c == '\'' || |
235 | 235 |
c == '\a' || c == '\b'; |
236 | 236 |
} |
237 | 237 |
|
238 |
static void writeEscape(std::ostream& os, char c) { |
|
238 |
inline static void writeEscape(std::ostream& os, char c) { |
|
239 | 239 |
switch (c) { |
240 | 240 |
case '\\': |
241 | 241 |
os << "\\\\"; |
242 | 242 |
return; |
243 | 243 |
case '\"': |
244 | 244 |
os << "\\\""; |
245 | 245 |
return; |
246 | 246 |
case '\a': |
247 | 247 |
os << "\\a"; |
248 | 248 |
return; |
249 | 249 |
case '\b': |
250 | 250 |
os << "\\b"; |
251 | 251 |
return; |
252 | 252 |
case '\f': |
253 | 253 |
os << "\\f"; |
254 | 254 |
return; |
255 | 255 |
case '\r': |
256 | 256 |
os << "\\r"; |
257 | 257 |
return; |
258 | 258 |
case '\n': |
259 | 259 |
os << "\\n"; |
260 | 260 |
return; |
261 | 261 |
case '\t': |
262 | 262 |
os << "\\t"; |
263 | 263 |
return; |
264 | 264 |
case '\v': |
265 | 265 |
os << "\\v"; |
266 | 266 |
return; |
267 | 267 |
default: |
268 | 268 |
if (c < 0x20) { |
269 | 269 |
std::ios::fmtflags flags = os.flags(); |
270 | 270 |
os << '\\' << std::oct << static_cast<int>(c); |
271 | 271 |
os.flags(flags); |
272 | 272 |
} else { |
273 | 273 |
os << c; |
274 | 274 |
} |
275 | 275 |
return; |
276 | 276 |
} |
277 | 277 |
} |
278 | 278 |
|
279 |
bool requireEscape(const std::string& str) { |
|
279 |
inline bool requireEscape(const std::string& str) { |
|
280 | 280 |
if (str.empty() || str[0] == '@') return true; |
281 | 281 |
std::istringstream is(str); |
282 | 282 |
char c; |
283 | 283 |
while (is.get(c)) { |
284 | 284 |
if (isWhiteSpace(c) || isEscaped(c)) { |
285 | 285 |
return true; |
286 | 286 |
} |
287 | 287 |
} |
288 | 288 |
return false; |
289 | 289 |
} |
290 | 290 |
|
291 |
std::ostream& writeToken(std::ostream& os, const std::string& str) { |
|
291 |
inline std::ostream& writeToken(std::ostream& os, const std::string& str) { |
|
292 | 292 |
|
293 | 293 |
if (requireEscape(str)) { |
294 | 294 |
os << '\"'; |
295 | 295 |
for (std::string::const_iterator it = str.begin(); |
296 | 296 |
it != str.end(); ++it) { |
297 | 297 |
writeEscape(os, *it); |
298 | 298 |
} |
299 | 299 |
os << '\"'; |
300 | 300 |
} else { |
301 | 301 |
os << str; |
302 | 302 |
} |
303 | 303 |
return os; |
304 | 304 |
} |
305 | 305 |
|
306 | 306 |
} |
307 | 307 |
|
308 | 308 |
template <typename Digraph> |
309 | 309 |
class DigraphWriter; |
310 | 310 |
|
311 | 311 |
template <typename Digraph> |
312 | 312 |
DigraphWriter<Digraph> digraphWriter(std::ostream& os, |
313 | 313 |
const Digraph& digraph); |
314 | 314 |
|
315 | 315 |
template <typename Digraph> |
0 comments (0 inline)