diff options
author | bnewbold <bnewbold@robocracy.org> | 2016-12-17 18:34:47 -0800 |
---|---|---|
committer | bnewbold <bnewbold@robocracy.org> | 2016-12-17 18:34:47 -0800 |
commit | 9f82aceb9fbdb42f332d68f4a423123bd0788b2c (patch) | |
tree | c082b9795be8e9e9d286c8f8f1345d22f3ec1b59 /src/modelica_parser.lalrpop | |
parent | f6364ebcac0d0a88a3cc6812fd2120c97b42cc26 (diff) | |
download | modelthing-9f82aceb9fbdb42f332d68f4a423123bd0788b2c.tar.gz modelthing-9f82aceb9fbdb42f332d68f4a423123bd0788b2c.zip |
refactor modelica parser into separate crate
Diffstat (limited to 'src/modelica_parser.lalrpop')
-rw-r--r-- | src/modelica_parser.lalrpop | 97 |
1 files changed, 0 insertions, 97 deletions
diff --git a/src/modelica_parser.lalrpop b/src/modelica_parser.lalrpop deleted file mode 100644 index f5d7958..0000000 --- a/src/modelica_parser.lalrpop +++ /dev/null @@ -1,97 +0,0 @@ -use std::str::FromStr; -use modelica_ast::{ModelicaModel,Component, ComponentPrefix, Connection, - SimpleEquation, Expr, BinOperator}; - -// This is an incomplete, non-standards-compliant, minimum-viable parser - -grammar; - -// Lexical Tokens - -pub identifier: String = { - r"[a-zA-Z_][a-zA-Z_0-9]*" => <>.to_string(), -}; - -string_literal: String = { - r#""[^"\\]*""# => <>.to_string(), - //<s:r#""[^"\\]*""#> => &s[1..s.len()-1], -}; - -pub integer: i64 = { - r"[+-]?\d+" => i64::from_str(<>).unwrap(), -}; - -pub float: f64 = { - r"[+-]?\d+\.\d*([eE][-+]?\d+)?" => f64::from_str(<>).unwrap(), -}; - - -// Grammar - -pub model: ModelicaModel = { - "model" <n:identifier> <cd:component_declaration*> "equation" <cc:connect_clause*> <se:simple_equation*> "end" identifier ";" => - ModelicaModel { name:n, components: cd, connections: cc, equations: se, extends: vec![] }, -}; - -value_declaration: Expr = { - "=" <value:expr> => value -}; - -units_declaration: String = { - "(" "unit" "=" <units:string_literal> ")" => units -}; - -component_declaration: Component = { - <prefix:component_prefix?> <specifier:identifier> <name:identifier> <units:units_declaration?> <value:value_declaration?> <desc:string_literal?> ";" => - Component { prefix:prefix, specifier:specifier, name:name, description:desc, value:value, units:units }, -}; - -component_prefix: ComponentPrefix = { - "flow" => ComponentPrefix::Flow, - "stream" => ComponentPrefix::Stream, - "input" => ComponentPrefix::Input, - "output" => ComponentPrefix::Output, - "discrete" => ComponentPrefix::Discrete, - "parameter" => ComponentPrefix::Parameter, - "constant" => ComponentPrefix::Constant, -}; - -simple_equation: SimpleEquation = { - <lhs:expr> "=" <rhs:expr> ";" => SimpleEquation {lhs:lhs, rhs:rhs}, -}; - -connect_clause: Connection = { - "connect" "(" <a:identifier> "," <b:identifier> ")" ";" => - Connection { a: a.to_string(), b: b.to_string()}, -}; - -// This weird expr/factor/term hierarchy is for binary operator precedence -expr: Expr = { - <lhs:expr> "+" <rhs:factor> => - Expr::BinExpr(BinOperator::Add, Box::new(lhs), Box::new(rhs)), - <lhs:expr> "-" <rhs:factor> => - Expr::BinExpr(BinOperator::Subtract, Box::new(lhs), Box::new(rhs)), - factor, -}; - -factor: Expr = { - <lhs:factor> "*" <rhs:term> => - Expr::BinExpr(BinOperator::Multiply, Box::new(lhs), Box::new(rhs)), - <lhs:factor> "/" <rhs:term> => - Expr::BinExpr(BinOperator::Divide, Box::new(lhs), Box::new(rhs)), - <lhs:factor> "^" <rhs:term> => - Expr::BinExpr(BinOperator::Divide, Box::new(lhs), Box::new(rhs)), - "-" <t:term> => - Expr::BinExpr(BinOperator::Multiply, Box::new(Expr::Integer(-1)), Box::new(t)), - term, -}; - -term: Expr = { - integer => Expr::Integer(<>), - float => Expr::Float(<>), - identifier => Expr::Ident(<>), - "der" "(" <e:expr> ")" => Expr::Der(Box::new(e)), - "abs" "(" <e:expr> ")" => Expr::Abs(Box::new(e)), - "(" <e:expr> ")" => e, -}; - |