pddl 0.1.0

A PDDL 3.1 parser, strongly typed
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

//! Provides parsers for length specification.

use nom::character::complete::multispace0;
use nom::combinator::{map, opt};
use nom::sequence::{preceded, tuple};

use crate::parsers::{prefix_expr, ParseResult, Span};
use crate::types::LengthSpec;

/// Parses a length specification. Deprecated since PDDL 2.1.
///
/// ## Example
/// ```
/// # use pddl::parsers::{parse_problem_length_spec, preamble::*};
/// # use pddl::LengthSpec;
/// assert!(parse_problem_length_spec("(:length)").is_value(LengthSpec::default()));
/// assert!(parse_problem_length_spec("(:length (:serial 123))").is_value(LengthSpec::new_serial(123)));
/// assert!(parse_problem_length_spec("(:length (:parallel 42))").is_value(LengthSpec::new_parallel(42)));
/// assert!(parse_problem_length_spec("(:length (:serial 123) (:parallel 42))").is_value(LengthSpec::new(Some(123), Some(42))));
///```
pub fn parse_problem_length_spec<'a, T: Into<Span<'a>>>(input: T) -> ParseResult<'a, LengthSpec> {
    let serial = prefix_expr(":serial", nom::character::complete::u64);
    let parallel = prefix_expr(":parallel", nom::character::complete::u64);
    let length = prefix_expr(
        ":length",
        tuple((opt(serial), opt(preceded(multispace0, parallel)))),
    );

    map(length, |(serial, parallel)| {
        LengthSpec::new(serial, parallel)
    })(input.into())
}

impl crate::parsers::Parser for LengthSpec {
    type Item = LengthSpec;

    /// See [`parse_problem_length_spec`].
    fn parse<'a, S: Into<Span<'a>>>(input: S) -> ParseResult<'a, Self::Item> {
        parse_problem_length_spec(input)
    }
}

#[cfg(test)]
mod tests {
    use crate::parsers::UnwrapValue;
    use crate::{LengthSpec, Parser};

    #[test]
    fn test_parse() {
        assert!(LengthSpec::parse("(:length)").is_value(LengthSpec::default()));
        assert!(LengthSpec::parse("(:length (:serial 123))").is_value(LengthSpec::new_serial(123)));
        assert!(
            LengthSpec::parse("(:length (:parallel 42))").is_value(LengthSpec::new_parallel(42))
        );
        assert!(LengthSpec::parse("(:length (:serial 123) (:parallel 42))")
            .is_value(LengthSpec::new(Some(123), Some(42))));
    }
}