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()21 void 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