2015-07-22 03:12:01 -07:00
|
|
|
use std::slice::Iter;
|
|
|
|
|
|
|
|
use tokenizer::{Token};
|
|
|
|
use tokenizer::Token::*;
|
|
|
|
|
|
|
|
#[derive(Debug)]
|
|
|
|
pub enum AST {
|
|
|
|
Name(String),
|
|
|
|
LangString(String),
|
|
|
|
Number(f64),
|
|
|
|
BinOp(Box<AST>, Box<AST>, Box<AST>),
|
|
|
|
Binding(String, Box<AST>)
|
|
|
|
}
|
|
|
|
|
|
|
|
pub enum ParseResult {
|
|
|
|
Ok(AST),
|
|
|
|
Err(String)
|
|
|
|
}
|
|
|
|
|
2015-07-22 03:36:32 -07:00
|
|
|
type Tokens<'a> = Iter<'a,Token>;
|
|
|
|
|
2015-07-22 03:28:26 -07:00
|
|
|
macro_rules! expect {
|
|
|
|
($tok:expr, $tokens:expr) => ( if !expect_token($tok, $tokens) {
|
|
|
|
return ParseResult::Err(format!("Expected {:?}", $tok));
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
2015-07-22 03:12:01 -07:00
|
|
|
pub fn parse(input: Vec<Token>) -> ParseResult {
|
|
|
|
|
|
|
|
let mut tokens = input.iter();
|
|
|
|
|
|
|
|
if let ParseResult::Ok(ast) = let_expression(&mut tokens) {
|
2015-07-22 03:28:26 -07:00
|
|
|
expect!(EOF, &mut tokens);
|
|
|
|
return ParseResult::Ok(ast);
|
2015-07-22 03:12:01 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
return ParseResult::Err("Bad parse".to_string());
|
|
|
|
}
|
|
|
|
|
2015-07-22 03:36:32 -07:00
|
|
|
fn expect_token(tok: Token, tokens: &mut Tokens) -> bool {
|
2015-07-22 03:12:01 -07:00
|
|
|
if let Some(n) = tokens.next() {
|
|
|
|
let next = (*n).clone();
|
|
|
|
return match (tok, next) {
|
|
|
|
(EOF, EOF) => true,
|
|
|
|
(Separator, Separator) => true,
|
|
|
|
(LParen, LParen) => true,
|
|
|
|
(RParen, RParen) => true,
|
|
|
|
(Comma, Comma) => true,
|
|
|
|
(NumLiteral(_), NumLiteral(_)) => true,
|
|
|
|
(StrLiteral(_), StrLiteral(_)) => true,
|
|
|
|
(Identifier(ref i1), Identifier(ref i2)) => i1 == i2,
|
|
|
|
_ => false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2015-07-22 03:36:32 -07:00
|
|
|
fn let_expression(input: &mut Tokens) -> ParseResult {
|
2015-07-22 03:28:26 -07:00
|
|
|
expect!(Identifier("let".to_string()), input);
|
|
|
|
if let Some(&Identifier(ref name)) = input.next() {
|
|
|
|
if let Some(&Identifier(ref s)) = input.next() {
|
|
|
|
if s == "=" {
|
|
|
|
let next = input.next();
|
|
|
|
if let Some(&Identifier(ref value)) = next {
|
|
|
|
let ast = AST::Binding(name.clone(), Box::new(AST::Name(value.clone())));
|
|
|
|
return ParseResult::Ok(ast);
|
|
|
|
}
|
2015-07-22 03:12:01 -07:00
|
|
|
|
2015-07-22 03:28:26 -07:00
|
|
|
if let Some(&StrLiteral(ref value)) = next {
|
|
|
|
let ast = AST::Binding(name.clone(), Box::new(AST::LangString(value.clone())));
|
|
|
|
return ParseResult::Ok(ast);
|
|
|
|
}
|
2015-07-22 03:12:01 -07:00
|
|
|
|
2015-07-22 03:28:26 -07:00
|
|
|
if let Some(&NumLiteral(n)) = next {
|
|
|
|
let ast = AST::Binding(name.clone(), Box::new(AST::Number(n)));
|
|
|
|
return ParseResult::Ok(ast);
|
2015-07-22 03:12:01 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return ParseResult::Err("Bad parse".to_string());
|
|
|
|
}
|