aboutsummaryrefslogtreecommitdiffstats
path: root/src/transpile_scheme.rs
blob: ce66d10c69d541c47a3df0b270590408f5694f07 (plain)
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 modelica_ast::*;

pub trait TranspileScheme {
    fn repr_scheme(&self) -> Result<String, String>;
}


impl TranspileScheme for ModelicaModel {
    fn repr_scheme(&self) -> Result<String, String> {
        let mut constants = vec![];
        for (c, e) in self.get_constant_vars() {
            constants.push(format!("({} {})",
                c, try!(e.repr_scheme())));
        }
        let mut binds = vec![];
        let mut outputs = vec![];
        for eq in self.equations.iter() {
            if let Expr::Ident(ref symb) = eq.lhs {
                binds.push(format!("({} {})",
                    symb,
                    try!(eq.rhs.repr_scheme())));
                outputs.push(symb.to_string());
            } else {
                return Err("Expected an identifier on LHS (in this partial implementation)".to_string())
            }
        }
        Ok(format!(r#"(lambda ({args})
            (let ({constants})
              (letrec ({binds})
                (list {outputs}))))"#,
            args = self.get_free_vars().join(" "),
            constants = constants.join("\n    "),
            binds = binds.join("\n      "),
            outputs = outputs.join(" ")))
    }
}

impl TranspileScheme for Expr {
    fn repr_scheme(&self) -> Result<String, String> {
        use modelica_ast::Expr::*;
        match *self {
            Integer(e) => Ok(format!("{}", e)),
            Float(e) => Ok(format!("{}", e)),
            Ident(ref e) => Ok(format!("{}", e)),
            Der(ref e) => Ok(format!("(der {})", try!(e.repr_scheme()))),
            Abs(ref e) => Ok(format!("(abs {})", try!(e.repr_scheme()))),
            BinExpr(op, ref l, ref r) =>
                Ok(format!("({:?} {} {})",
                    op,
                    try!(l.repr_scheme()),
                    try!(r.repr_scheme()))),
        }
    }
}