pddlp 0.1.7

A PDDL Parser
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

use super::{token::Token, Step};
use crate::Result;
use logos::Lexer;

pub(super) fn parse<'a>(lexer: &mut Lexer<'a, Token<'a>>) -> Result<Step<'a>> {
    let action = match lexer.next() {
        Some(token) => match token {
            Ok(Token::Name(name)) => name,
            Ok(_) => return Err(("Unexpected Token", lexer.span())),
            Err(_) => return Err(("Invalid Token", lexer.span())),
        },
        None => return Err(("Erroneous LParen", lexer.span())),
    };
    let objects = {
        let mut objects = Vec::new();
        let mut r_paren = false;

        while let Some(token) = lexer.next() {
            match token {
                Ok(Token::Name(name)) => objects.push(name),
                Ok(Token::RParen) => {
                    r_paren = true;
                    break;
                }
                Ok(_) => return Err(("Unexpected Token", lexer.span())),
                Err(_) => return Err(("Invalid Token", lexer.span())),
            }
        }

        if !r_paren {
            return Err(("Missing RParen", lexer.span()));
        }

        objects
    };
    Ok(Step { action, objects })
}

#[cfg(test)]
mod test {
    use super::{Result, Step, Token};
    use logos::Logos;
    use rstest::rstest;

    #[rstest]
    #[case(Ok(crate::plan::Step { action: "a", objects: vec![] }), "a)")]
    #[case(Ok(crate::plan::Step { action: "a", objects: vec!["b"] }), "a b)")]
    #[case(Ok(crate::plan::Step { action: "a", objects: vec!["b", "c"] }), "a b c)")]
    #[case(Err(("Missing RParen", 1..1)), "a")]
    #[case(Err(("Unexpected Token", 0..1)), ")")]
    fn parse(#[case] expected: Result<Step>, #[case] input: &str) {
        let mut lexer = Token::lexer(input);
        assert_eq!(expected, super::parse(&mut lexer));
    }
}