summaryrefslogtreecommitdiffstats
path: root/compiler/rustc_builtin_macros/src/format_foreign/printf/tests.rs
blob: fc7442470ac82a85ada490cd9555bc3be920017d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
use super::{iter_subs, parse_next_substitution as pns, Format as F, Num as N, Substitution as S};

macro_rules! assert_eq_pnsat {
    ($lhs:expr, $rhs:expr) => {
        assert_eq!(
            pns($lhs).and_then(|(s, _)| s.translate().ok()),
            $rhs.map(<String as From<&str>>::from)
        )
    };
}

#[test]
fn test_escape() {
    assert_eq!(pns("has no escapes"), None);
    assert_eq!(pns("has no escapes, either %"), None);
    assert_eq!(pns("*so* has a %% escape"), Some((S::Escape((11, 13)), " escape")));
    assert_eq!(pns("%% leading escape"), Some((S::Escape((0, 2)), " leading escape")));
    assert_eq!(pns("trailing escape %%"), Some((S::Escape((16, 18)), "")));
}

#[test]
fn test_parse() {
    macro_rules! assert_pns_eq_sub {
        ($in_:expr, {
            $param:expr, $flags:expr,
            $width:expr, $prec:expr, $len:expr, $type_:expr,
            $pos:expr,
        }) => {
            assert_eq!(
                pns(concat!($in_, "!")),
                Some((
                    S::Format(F {
                        span: $in_,
                        parameter: $param,
                        flags: $flags,
                        width: $width,
                        precision: $prec,
                        length: $len,
                        type_: $type_,
                        position: rustc_span::InnerSpan::new($pos.0, $pos.1),
                    }),
                    "!"
                ))
            )
        };
    }

    assert_pns_eq_sub!("%!",
        { None, "", None, None, None, "!", (0, 2), });
    assert_pns_eq_sub!("%c",
        { None, "", None, None, None, "c", (0, 2), });
    assert_pns_eq_sub!("%s",
        { None, "", None, None, None, "s", (0, 2), });
    assert_pns_eq_sub!("%06d",
        { None, "0", Some(N::Num(6)), None, None, "d", (0, 4), });
    assert_pns_eq_sub!("%4.2f",
        { None, "", Some(N::Num(4)), Some(N::Num(2)), None, "f", (0, 5), });
    assert_pns_eq_sub!("%#x",
        { None, "#", None, None, None, "x", (0, 3), });
    assert_pns_eq_sub!("%-10s",
        { None, "-", Some(N::Num(10)), None, None, "s", (0, 5), });
    assert_pns_eq_sub!("%*s",
        { None, "", Some(N::Next), None, None, "s", (0, 3), });
    assert_pns_eq_sub!("%-10.*s",
        { None, "-", Some(N::Num(10)), Some(N::Next), None, "s", (0, 7), });
    assert_pns_eq_sub!("%-*.*s",
        { None, "-", Some(N::Next), Some(N::Next), None, "s", (0, 6), });
    assert_pns_eq_sub!("%.6i",
        { None, "", None, Some(N::Num(6)), None, "i", (0, 4), });
    assert_pns_eq_sub!("%+i",
        { None, "+", None, None, None, "i", (0, 3), });
    assert_pns_eq_sub!("%08X",
        { None, "0", Some(N::Num(8)), None, None, "X", (0, 4), });
    assert_pns_eq_sub!("%lu",
        { None, "", None, None, Some("l"), "u", (0, 3), });
    assert_pns_eq_sub!("%Iu",
        { None, "", None, None, Some("I"), "u", (0, 3), });
    assert_pns_eq_sub!("%I32u",
        { None, "", None, None, Some("I32"), "u", (0, 5), });
    assert_pns_eq_sub!("%I64u",
        { None, "", None, None, Some("I64"), "u", (0, 5), });
    assert_pns_eq_sub!("%'d",
        { None, "'", None, None, None, "d", (0, 3), });
    assert_pns_eq_sub!("%10s",
        { None, "", Some(N::Num(10)), None, None, "s", (0, 4), });
    assert_pns_eq_sub!("%-10.10s",
        { None, "-", Some(N::Num(10)), Some(N::Num(10)), None, "s", (0, 8), });
    assert_pns_eq_sub!("%1$d",
        { Some(1), "", None, None, None, "d", (0, 4), });
    assert_pns_eq_sub!("%2$.*3$d",
        { Some(2), "", None, Some(N::Arg(3)), None, "d", (0, 8), });
    assert_pns_eq_sub!("%1$*2$.*3$d",
        { Some(1), "", Some(N::Arg(2)), Some(N::Arg(3)), None, "d", (0, 11), });
    assert_pns_eq_sub!("%-8ld",
        { None, "-", Some(N::Num(8)), None, Some("l"), "d", (0, 5), });
}

#[test]
fn test_iter() {
    let s = "The %d'th word %% is: `%.*s` %!\n";
    let subs: Vec<_> = iter_subs(s, 0).map(|sub| sub.translate().ok()).collect();
    assert_eq!(
        subs.iter().map(|ms| ms.as_ref().map(|s| &s[..])).collect::<Vec<_>>(),
        vec![Some("{}"), None, Some("{:.*}"), None]
    );
}

/// Checks that the translations are what we expect.
#[test]
fn test_translation() {
    assert_eq_pnsat!("%c", Some("{}"));
    assert_eq_pnsat!("%d", Some("{}"));
    assert_eq_pnsat!("%u", Some("{}"));
    assert_eq_pnsat!("%x", Some("{:x}"));
    assert_eq_pnsat!("%X", Some("{:X}"));
    assert_eq_pnsat!("%e", Some("{:e}"));
    assert_eq_pnsat!("%E", Some("{:E}"));
    assert_eq_pnsat!("%f", Some("{}"));
    assert_eq_pnsat!("%g", Some("{:e}"));
    assert_eq_pnsat!("%G", Some("{:E}"));
    assert_eq_pnsat!("%s", Some("{}"));
    assert_eq_pnsat!("%p", Some("{:p}"));

    assert_eq_pnsat!("%06d", Some("{:06}"));
    assert_eq_pnsat!("%4.2f", Some("{:4.2}"));
    assert_eq_pnsat!("%#x", Some("{:#x}"));
    assert_eq_pnsat!("%-10s", Some("{:<10}"));
    assert_eq_pnsat!("%*s", None);
    assert_eq_pnsat!("%-10.*s", Some("{:<10.*}"));
    assert_eq_pnsat!("%-*.*s", None);
    assert_eq_pnsat!("%.6i", Some("{:06}"));
    assert_eq_pnsat!("%+i", Some("{:+}"));
    assert_eq_pnsat!("%08X", Some("{:08X}"));
    assert_eq_pnsat!("%lu", Some("{}"));
    assert_eq_pnsat!("%Iu", Some("{}"));
    assert_eq_pnsat!("%I32u", Some("{}"));
    assert_eq_pnsat!("%I64u", Some("{}"));
    assert_eq_pnsat!("%'d", None);
    assert_eq_pnsat!("%10s", Some("{:>10}"));
    assert_eq_pnsat!("%-10.10s", Some("{:<10.10}"));
    assert_eq_pnsat!("%1$d", Some("{0}"));
    assert_eq_pnsat!("%2$.*3$d", Some("{1:02$}"));
    assert_eq_pnsat!("%1$*2$.*3$s", Some("{0:>1$.2$}"));
    assert_eq_pnsat!("%-8ld", Some("{:<8}"));
}