perl-corpus 0.13.3

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

use proptest::prelude::*;

fn phaser_name() -> impl Strategy<Value = &'static str> {
    prop_oneof![Just("BEGIN"), Just("CHECK"), Just("UNITCHECK"), Just("INIT"), Just("END"),]
}

fn phaser_statement() -> impl Strategy<Value = String> {
    prop_oneof![
        Just("my $x = 1;".to_string()),
        Just("our $VERSION = 1.23;".to_string()),
        Just("$| = 1;".to_string()),
        Just("local $SIG{__WARN__} = sub { };".to_string()),
        Just("my $time = time;".to_string()),
        Just("state $count = 0;".to_string()),
    ]
}

fn phaser_body() -> impl Strategy<Value = String> {
    prop::collection::vec(phaser_statement(), 1..3).prop_map(|lines| lines.join("\n    "))
}

/// Generate compile-time phaser blocks (BEGIN/CHECK/UNITCHECK/INIT/END).
pub fn phaser_block() -> impl Strategy<Value = String> {
    (phaser_name(), phaser_body())
        .prop_map(|(name, body)| format!("{} {{\n    {}\n}}\n", name, body))
}

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

    proptest! {
        #[test]
        fn phaser_contains_keyword(code in phaser_block()) {
            assert!(
                code.contains("BEGIN")
                    || code.contains("CHECK")
                    || code.contains("UNITCHECK")
                    || code.contains("INIT")
                    || code.contains("END"),
                "Expected phaser keyword in: {}",
                code
            );
        }
    }
}