dlvhex
2.5.0
|
00001 /* dlvhex -- Answer-Set Programming with external interfaces. 00002 * Copyright (C) 2005-2007 Roman Schindlauer 00003 * Copyright (C) 2006-2015 Thomas Krennwallner 00004 * Copyright (C) 2009-2016 Peter Schüller 00005 * Copyright (C) 2011-2016 Christoph Redl 00006 * Copyright (C) 2015-2016 Tobias Kaminski 00007 * Copyright (C) 2015-2016 Antonius Weinzierl 00008 * 00009 * This file is part of dlvhex. 00010 * 00011 * dlvhex is free software; you can redistribute it and/or modify it 00012 * under the terms of the GNU Lesser General Public License as 00013 * published by the Free Software Foundation; either version 2.1 of 00014 * the License, or (at your option) any later version. 00015 * 00016 * dlvhex is distributed in the hope that it will be useful, but 00017 * WITHOUT ANY WARRANTY; without even the implied warranty of 00018 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 00019 * Lesser General Public License for more details. 00020 * 00021 * You should have received a copy of the GNU Lesser General Public 00022 * License along with dlvhex; if not, write to the Free Software 00023 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 00024 * 02110-1301 USA. 00025 */ 00026 00032 #ifdef HAVE_CONFIG_H 00033 #include "config.h" 00034 #endif // HAVE_CONFIG_H 00035 00036 #include "dlvhex2/GraphvizHelpers.h" 00037 00038 #include <ostream> 00039 #include <string> 00040 00041 DLVHEX_NAMESPACE_BEGIN 00042 00043 namespace graphviz 00044 { 00045 00046 void escape(std::ostream& o, const std::string& s) { 00047 for(std::string::const_iterator c = s.begin(); 00048 c != s.end(); ++c) { 00049 // escape " into \" 00050 // escape < into < 00051 // escape > into > 00052 // escape # into \# 00053 // escape { into \{ 00054 // escape } into \} 00055 // escape \n into \\n 00056 switch( *c ) { 00057 case '"': o << "\\\""; break; 00058 case '<': o << "\\<"; break; 00059 case '>': o << "\\>"; break; 00060 case '#': o << "\\#"; break; 00061 case '{': o << "\\{"; break; 00062 case '}': o << "\\}"; break; 00063 case '\n': o << "\\n"; break; 00064 default: o << *c; break; 00065 } 00066 } 00067 } 00068 00069 } 00070 00071 00072 DLVHEX_NAMESPACE_END 00073 00074 // vim: set noet sw=4 ts=8 tw=80: 00075 00076 00077 // vim:expandtab:ts=4:sw=4: 00078 // mode: C++ 00079 // End: