perl-corpus 0.12.1

Test corpus management and generators for Perl parsers
Documentation 
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

use proptest::prelude::*;

fn file_target() -> impl Strategy<Value = String> {
    prop::sample::select(vec![
        "$path".to_string(),
        "$file".to_string(),
        "$target".to_string(),
        "$log".to_string(),
        "$fh".to_string(),
    ])
}

fn filetest_single() -> impl Strategy<Value = String> {
    (
        prop::sample::select(vec![
            "-e", "-f", "-d", "-r", "-w", "-x", "-s", "-z", "-l", "-T", "-B", "-o", "-O", "-u",
            "-g", "-R", "-W", "-X", "-S", "-p", "-c", "-b", "-k",
        ]),
        file_target(),
    )
        .prop_map(|(op, target)| format!("if ({} {}) {{\n    print \"ok\";\n}}\n", op, target))
}

fn filetest_time() -> impl Strategy<Value = String> {
    (prop::sample::select(vec!["-M", "-A", "-C"]), file_target())
        .prop_map(|(op, target)| format!("my $age = {} {};\n", op, target))
}

fn filetest_stacked() -> impl Strategy<Value = String> {
    file_target().prop_map(|target| format!("if (-r -w -x {}) {{\n    print \"rw\";\n}}\n", target))
}

fn filetest_handle() -> impl Strategy<Value = String> {
    Just("open my $fh, '<', \"file.txt\";\nif (-t $fh) {\n    print \"tty\";\n}\n".to_string())
}

/// Generate filetest operator statements.
pub fn filetest_in_context() -> impl Strategy<Value = String> {
    prop_oneof![filetest_single(), filetest_time(), filetest_stacked(), filetest_handle(),]
}

#[cfg(test)]
mod tests {
    use super::*;

    proptest! {
        #[test]
        fn filetests_include_operator(code in filetest_in_context()) {
            assert!(
                code.contains("-e")
                    || code.contains("-f")
                    || code.contains("-d")
                    || code.contains("-r")
                    || code.contains("-w")
                    || code.contains("-x")
                    || code.contains("-s")
                    || code.contains("-z")
                    || code.contains("-l")
                    || code.contains("-T")
                    || code.contains("-B")
                    || code.contains("-o")
                    || code.contains("-O")
                    || code.contains("-u")
                    || code.contains("-g")
                    || code.contains("-R")
                    || code.contains("-W")
                    || code.contains("-X")
                    || code.contains("-S")
                    || code.contains("-p")
                    || code.contains("-c")
                    || code.contains("-b")
                    || code.contains("-k")
                    || code.contains("-M")
                    || code.contains("-A")
                    || code.contains("-C")
                    || code.contains("-t"),
                "Expected filetest operator in: {}",
                code
            );
        }
    }
}