rl_model-rs 0.2.2

'Robot Language' parser and rust model
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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116

use super::*;
use crate::parser::{Position, RlError};
use std::collections::HashMap;

#[derive(Clone, Copy, PartialEq, Eq, Debug, Hash, Default)]
pub struct InvariantId(pub SkillId, pub usize);
impl Id for InvariantId {
    fn index(&self) -> usize {
        self.1
    }
}
impl InvariantId {
    pub fn skill(&self) -> SkillId {
        self.0
    }
}

#[derive(Debug, Clone)]
pub struct Invariant {
    id: InvariantId,
    name: String,
    guard: Expr,
    effects: Vec<Effect>,
    position: Option<Position>,
}

impl Invariant {
    pub fn new<S: Into<String>>(
        name: S,
        guard: Expr,
        effects: Vec<Effect>,
        position: Option<Position>,
    ) -> Self {
        let id = InvariantId::default();
        let name = name.into();
        Self {
            id,
            name,
            guard,
            effects,
            position,
        }
    }

    pub fn guard(&self) -> &Expr {
        &self.guard
    }

    pub fn effects(&self) -> &Vec<Effect> {
        &self.effects
    }

    //---------- Resolve ----------

    pub fn resolve_resource(&mut self, map: &HashMap<String, ResourceId>) -> Result<(), RlError> {
        self.guard.resolve_resource(map)?;
        for x in self.effects.iter_mut() {
            x.resolve_resource(map)?;
        }
        Ok(())
    }

    pub fn resolve_state(&mut self, map: &HashMap<String, StateId>) -> Result<(), RlError> {
        self.guard.resolve_state(map)?;
        for x in self.effects.iter_mut() {
            x.resolve_state(map)?;
        }
        Ok(())
    }
}

impl Named<InvariantId> for Invariant {
    fn id(&self) -> InvariantId {
        self.id
    }

    fn set_id(&mut self, id: InvariantId) {
        self.id = id;
    }

    fn name(&self) -> &str {
        &self.name
    }

    fn position(&self) -> Option<Position> {
        self.position.clone()
    }
}

impl ToLang for Invariant {
    fn to_lang(&self, skillset: &Skillset) -> String {
        let mut s = format!("{} {{\n", self.name);
        // guard
        s.push_str(&format!(
            "\t\t\t\t\tguard {}\n",
            self.guard.to_lang(skillset)
        ));
        // Effects
        if !self.effects.is_empty() {
            s.push_str("\t\t\t\t\teffect {\n");
            for x in self.effects.iter() {
                s.push_str(&format!("\t\t\t\t\t\t{}\n", x.to_lang(skillset)))
            }
            s.push_str("\t\t\t\t\t}\n");
        }
        //
        s.push_str("\t\t\t\t}\n");
        s
    }
}

impl std::fmt::Display for Invariant {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        write!(f, "{}", self.name)
    }
}