mlcg 0.0.1

Mindustry Logic Code Generator
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
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131

use std::marker::PhantomData;

use crate::{
    command,
    eval::{Eval, WithCore},
    processor::{Processor, VariableIdx},
    types::Type,
    String,
};

pub struct Ref<'a, T>
where
    T: Type,
{
    pub(crate) core: &'a Processor,
    pub(crate) idx: VariableIdx,
    pub(crate) _type: PhantomData<T>,
}

macro_rules! assert_same_core {
    ($($refs:tt),*) => {
        assert_same_core!(@rec $($refs),*)
    };
    (@rec $a:tt) => {};
    (@rec $a:tt, $b:tt $(,$rest:tt)*) => {
        match ($crate::eval::WithCore::core(&$a), $crate::eval::WithCore::core(&$b)) {
            (Some(a_core), Some(b_core)) => assert!(a_core.is_same_core(b_core), "refernces must be in same processor!"),
            _ => {}
        }
        assert_same_core!(@rec $b $(,$rest)*)
    }
}

impl<'a, T> Ref<'a, T>
where
    T: Type,
{
    #[doc(alias = "set")]
    pub fn save_as(&self, name: impl Eval<String>) -> Self {
        let result = {
            let name = name.eval();
            if name.is_empty() {
                self.core.borrow_mut().alloc_name()
            } else {
                name
            }
        };
        let set = command::set::Set {
            result: result.clone(),
            value: self.core.borrow()[self.idx].clone(),
        };
        let result = {
            let mut core = self.core.borrow_mut();
            core.push_command(set);
            core.new_variable(result)
        };
        self.core.make_ref(result)
    }

    pub fn set_to(&self, value: impl Eval<T>) -> Self {
        let command = command::set::Set {
            result: self.core.borrow()[self.idx].clone(),
            value: value.eval().eval(),
        };
        self.core.borrow_mut().push_command(command);
        *self
    }

    pub(crate) fn cast<T2: Type>(self) -> Ref<'a, T2> {
        Ref {
            core: self.core,
            idx: self.idx,
            _type: PhantomData,
        }
    }
}

impl<'a, T> Clone for Ref<'a, T>
where
    T: Type,
{
    fn clone(&self) -> Self {
        *self
    }
}

impl<'a, T> Copy for Ref<'a, T> where T: Type {}

impl<'a, T: Type> WithCore for Ref<'a, T> {
    fn core(&self) -> Option<&Processor> {
        Some(self.core)
    }
}

impl<'a, T, U> Eval<U> for Ref<'a, T>
where
    T: Eval<U> + Type,
{
    default fn eval(self) -> U {
        T::from_name(self.core.borrow()[self.idx].clone()).eval()
    }
}

#[cfg(test)]
mod tests {
    use crate::types::unit::{Dagger, Unit};

    use super::*;

    #[test]
    fn shoot() {
        let core = Processor::default();
        let at_unit = core.unit();
        at_unit.target(core.thisx(), core.thisy(), true);

        let _awa = at_unit.save_as("awa");
        let awa = core.from_mdt::<Unit>("awa");
        awa.bind().target(core.thisx(), core.thisy(), true);

        core.write_to_stdout();
    }

    #[test]
    fn rebind() {
        let core = Processor::default();
        // so many bind :D
        let unit = core.unit_bind::<Dagger>().cast_unit(Dagger);
        core.bind(unit).bind().bind().bind().bind().bind().bind();
        unit.bind().bind().bind().bind().bind().bind().bind().bind();
    }
}