pddl 0.2.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

use std::ops::Deref;

use crate::pretty_print::{sealed, PrettyRenderer};
use crate::types::{ActionSymbol, DurativeActionSymbol, Predicate, PreferenceName};
use crate::visitor::{Accept, Visitor};
use pretty::RcDoc;

impl sealed::Sealed for Predicate {}
impl sealed::Sealed for ActionSymbol {}
impl sealed::Sealed for DurativeActionSymbol {}
impl sealed::Sealed for PreferenceName {}

impl Visitor<Predicate, RcDoc<'static>> for PrettyRenderer {
    fn visit(&self, value: &Predicate) -> RcDoc<'static> {
        value.deref().accept(self)
    }
}

impl Visitor<ActionSymbol, RcDoc<'static>> for PrettyRenderer {
    fn visit(&self, value: &ActionSymbol) -> RcDoc<'static> {
        value.deref().accept(self)
    }
}

impl Visitor<DurativeActionSymbol, RcDoc<'static>> for PrettyRenderer {
    fn visit(&self, value: &DurativeActionSymbol) -> RcDoc<'static> {
        value.deref().accept(self)
    }
}

impl Visitor<PreferenceName, RcDoc<'static>> for PrettyRenderer {
    fn visit(&self, value: &PreferenceName) -> RcDoc<'static> {
        value.deref().accept(self)
    }
}

#[cfg(test)]
mod tests {
    use super::*;
    use crate::pretty_print::prettify;
    use crate::visitor::Accept;

    #[test]
    fn predicate_works() {
        let x = Predicate::new_string("at");
        assert_eq!(prettify!(x, 10), "at");
    }

    #[test]
    fn action_symbol_works() {
        let x = ActionSymbol::new_string("mov-B");
        assert_eq!(prettify!(x, 10), "mov-B");
    }
}