1 /*++ 2 Copyright (c) 2011 Microsoft Corporation 3 4 Module Name: 5 6 escaped_str.cpp 7 8 Abstract: 9 10 Escaped strings 11 12 Author: 13 14 Leonardo de Moura (leonardo) 2011-03-01. 15 16 Revision History: 17 18 --*/ 19 #include "util/util.h" 20 tst_escaped()21void tst_escaped() { 22 std::cout << "[" << escaped("\"hello\"\"world\"\n\n") << "]\n"; 23 std::cout << "[" << escaped("\"hello\"\nworld\"\n\n\n", true) << "]\n"; 24 std::cout << "[" << escaped("\"hello\"\nworld\"\n", true) << "]\n"; 25 std::cout << "[" << escaped("\"hello\"\nworld\"", true) << "]\n"; 26 std::cout << "[" << escaped("\"hello\"\n\"world\"\n\n") << "]\n"; 27 std::cout << "[" << escaped("\n\n\n", true) << "]\n"; 28 std::cout << "[" << escaped("\n\n\n") << "]\n"; 29 std::cout << "[" << escaped("\n", true) << "]\n"; 30 std::cout << "[" << escaped("\n") << "]\n"; 31 std::cout << "[" << escaped("", true) << "]\n"; 32 std::cout << "[" << escaped("") << "]\n"; 33 std::cout << "[" << escaped(nullptr, true) << "]\n"; 34 std::cout << "[" << escaped(nullptr) << "]\n"; 35 } 36