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

use std::string::ToString;

use nom::branch::alt;
use nom::combinator::{map, opt};
use nom::multi::{many0, many1};
use nom::sequence::{delimited, pair, preceded};
use nom::IResult;
use serde::{Deserialize, Serialize};

use super::typedef::TypeDef;
use crate::error::ParserError;
use crate::lexer::{Token, TokenStream};
use crate::tokens::id;

/// A type is either a simple type or one of the list of specified types.
#[derive(Debug, Deserialize, Serialize, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)]
pub enum Type {
    /// The type is a simple type.
    Simple(String),
    /// The type must be one of the specified types.
    Either(Vec<String>),
}

impl From<&str> for Type {
    fn from(s: &str) -> Self {
        Type::Simple(s.to_string())
    }
}

impl Default for Type {
    fn default() -> Self {
        "object".into()
    }
}

impl Type {
    /// Parse a type from a token stream.
    pub fn parse_type(input: TokenStream) -> IResult<TokenStream, Type, ParserError> {
        log::debug!("BEGIN > parse_type {:?}", input.span());
        let (output, type_) = alt((
            map(id, Type::Simple),
            map(
                delimited(Token::OpenParen, preceded(Token::Either, many1(id)), Token::CloseParen),
                Type::Either,
            ),
        ))(input)?;
        log::debug!("END < parse_type {:?}", output.span());
        Ok((output, type_))
    }

    /// Parse a list of types from a token stream.
    pub fn parse_types(input: TokenStream) -> IResult<TokenStream, Vec<TypeDef>, ParserError> {
        log::debug!("BEGIN > parse_types {:?}", input.span());
        let (output, types) = delimited(
            Token::OpenParen,
            preceded(Token::Types, many0(pair(many1(id), opt(preceded(Token::Dash, id))))),
            Token::CloseParen,
        )(input)?;
        let types = types
            .into_iter()
            .flat_map(|(names, parent)| {
                names.into_iter().map(move |name| TypeDef {
                    name,
                    parent: parent.clone(),
                })
            })
            .collect();
        log::debug!("END < parse_types {:?}", output.span());
        Ok((output, types))
    }

    /// Convert the type to PDDL.
    pub fn to_pddl(&self) -> String {
        match self {
            Type::Simple(s) => s.to_string(),
            Type::Either(v) => format!("(either {})", v.join(" ")),
        }
    }
}