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()))),
}
}
}
|
