1b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//===----------------------------------------------------------------------===//
2b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//
3b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//                     The LLVM Compiler Infrastructure
4b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//
5b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// This file is dual licensed under the MIT and the University of Illinois Open
6b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// Source Licenses. See LICENSE.TXT for details.
7b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//
8b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//===----------------------------------------------------------------------===//
9b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
10b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// <string>
11b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
12b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// void resize(size_type n);
13b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
14b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include <string>
15b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include <stdexcept>
16b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include <cassert>
17b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
185de42e6621b3d0131472c3f8838b7f0ccf3e8963Andrew Hsieh#include "min_allocator.h"
19ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner
20b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnertemplate <class S>
21b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnervoid
22b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnertest(S s, typename S::size_type n, S expected)
23b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{
24b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    try
25b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    {
26b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        s.resize(n);
27b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        assert(s.__invariants());
28b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        assert(n <= s.max_size());
29b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        assert(s == expected);
30b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    }
31b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    catch (std::length_error&)
32b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    {
33b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner        assert(n > s.max_size());
34b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    }
35b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}
36b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner
37b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerint main()
38b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{
39ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner    {
40b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    typedef std::string S;
41b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    test(S(), 0, S());
42b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    test(S(), 1, S(1, '\0'));
43b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    test(S(), 10, S(10, '\0'));
44b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    test(S(), 100, S(100, '\0'));
45b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    test(S("12345"), 0, S());
46b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    test(S("12345"), 2, S("12"));
47b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    test(S("12345"), 5, S("12345"));
48b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    test(S("12345"), 15, S("12345\0\0\0\0\0\0\0\0\0\0", 15));
49b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    test(S("12345678901234567890123456789012345678901234567890"), 0, S());
50b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    test(S("12345678901234567890123456789012345678901234567890"), 10,
51b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner         S("1234567890"));
52b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    test(S("12345678901234567890123456789012345678901234567890"), 50,
53b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner         S("12345678901234567890123456789012345678901234567890"));
54b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    test(S("12345678901234567890123456789012345678901234567890"), 60,
55b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner         S("12345678901234567890123456789012345678901234567890\0\0\0\0\0\0\0\0\0\0", 60));
56b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner    test(S(), S::npos, S("not going to happen"));
57ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner    }
58ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner#if __cplusplus >= 201103L
59ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner    {
60ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner    typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S;
61ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner    test(S(), 0, S());
62ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner    test(S(), 1, S(1, '\0'));
63ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner    test(S(), 10, S(10, '\0'));
64ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner    test(S(), 100, S(100, '\0'));
65ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner    test(S("12345"), 0, S());
66ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner    test(S("12345"), 2, S("12"));
67ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner    test(S("12345"), 5, S("12345"));
68ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner    test(S("12345"), 15, S("12345\0\0\0\0\0\0\0\0\0\0", 15));
69ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner    test(S("12345678901234567890123456789012345678901234567890"), 0, S());
70ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner    test(S("12345678901234567890123456789012345678901234567890"), 10,
71ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner         S("1234567890"));
72ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner    test(S("12345678901234567890123456789012345678901234567890"), 50,
73ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner         S("12345678901234567890123456789012345678901234567890"));
74ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner    test(S("12345678901234567890123456789012345678901234567890"), 60,
75ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner         S("12345678901234567890123456789012345678901234567890\0\0\0\0\0\0\0\0\0\0", 60));
76ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner    test(S(), S::npos, S("not going to happen"));
77ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner    }
78ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner#endif
79b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}
80