2020-01-29 21:02:32 -05:00
|
|
|
use crate::common::{Keyword, Pos, Symbol};
|
2020-01-26 18:43:07 -05:00
|
|
|
use crate::lexer::Lexer;
|
2020-01-26 09:28:44 -05:00
|
|
|
use crate::value::Value;
|
2020-01-12 20:56:07 -05:00
|
|
|
use crate::{Scope, Token, TokenKind};
|
2020-01-14 17:39:19 -05:00
|
|
|
use std::iter::{Iterator, Peekable};
|
2020-01-12 20:15:27 -05:00
|
|
|
|
2020-01-20 13:15:47 -05:00
|
|
|
pub(crate) trait IsWhitespace {
|
2020-01-12 20:15:27 -05:00
|
|
|
fn is_whitespace(&self) -> bool;
|
|
|
|
}
|
|
|
|
|
2020-01-20 16:00:37 -05:00
|
|
|
pub(crate) fn devour_whitespace<I: Iterator<Item = W>, W: IsWhitespace>(
|
|
|
|
s: &mut Peekable<I>,
|
|
|
|
) -> bool {
|
2020-01-12 20:15:27 -05:00
|
|
|
let mut found_whitespace = false;
|
|
|
|
while let Some(w) = s.peek() {
|
|
|
|
if !w.is_whitespace() {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
found_whitespace = true;
|
|
|
|
s.next();
|
|
|
|
}
|
|
|
|
found_whitespace
|
|
|
|
}
|
2020-01-12 20:56:07 -05:00
|
|
|
|
2020-01-25 09:54:38 -05:00
|
|
|
pub(crate) trait IsComment {
|
|
|
|
fn is_comment(&self) -> bool;
|
|
|
|
}
|
|
|
|
|
|
|
|
pub(crate) fn devour_whitespace_or_comment<I: Iterator<Item = W>, W: IsWhitespace + IsComment>(
|
|
|
|
s: &mut Peekable<I>,
|
|
|
|
) -> bool {
|
|
|
|
let mut found_whitespace = false;
|
|
|
|
while let Some(w) = s.peek() {
|
|
|
|
if !w.is_whitespace() && !w.is_comment() {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
found_whitespace = true;
|
|
|
|
s.next();
|
|
|
|
}
|
|
|
|
found_whitespace
|
|
|
|
}
|
|
|
|
|
2020-02-01 19:24:37 -05:00
|
|
|
pub(crate) fn parse_interpolation<I: Iterator<Item = Token>>(
|
2020-01-20 17:01:25 -05:00
|
|
|
tokens: &mut I,
|
2020-01-14 17:39:19 -05:00
|
|
|
scope: &Scope,
|
|
|
|
) -> Vec<Token> {
|
|
|
|
let mut val = Vec::new();
|
2020-01-20 17:01:25 -05:00
|
|
|
while let Some(tok) = tokens.next() {
|
2020-01-18 20:24:28 -05:00
|
|
|
match tok.kind {
|
2020-01-14 17:39:19 -05:00
|
|
|
TokenKind::Symbol(Symbol::CloseCurlyBrace) => break,
|
|
|
|
TokenKind::Symbol(Symbol::OpenCurlyBrace) => {
|
|
|
|
todo!("invalid character in interpolation")
|
|
|
|
}
|
2020-02-08 18:43:18 -05:00
|
|
|
TokenKind::Variable(ref v) => val
|
|
|
|
.extend(Lexer::new(&scope.get_var(v).unwrap().to_string()).collect::<Vec<Token>>()),
|
2020-02-01 19:24:37 -05:00
|
|
|
TokenKind::Interpolation => val.extend(parse_interpolation(tokens, scope)),
|
2020-01-18 20:24:28 -05:00
|
|
|
_ => val.push(tok),
|
2020-01-14 17:39:19 -05:00
|
|
|
}
|
|
|
|
}
|
2020-02-02 21:11:22 -05:00
|
|
|
Lexer::new(
|
|
|
|
&Value::from_tokens(&mut val.into_iter().peekable(), scope)
|
|
|
|
.unwrap()
|
|
|
|
.to_string()
|
2020-02-14 10:18:48 -05:00
|
|
|
.replace("\"", "")
|
|
|
|
.replace("'", ""),
|
2020-02-02 21:11:22 -05:00
|
|
|
)
|
|
|
|
.collect::<Vec<Token>>()
|
2020-01-14 17:39:19 -05:00
|
|
|
}
|
2020-01-14 19:34:13 -05:00
|
|
|
|
2020-01-29 21:02:32 -05:00
|
|
|
pub(crate) struct VariableDecl {
|
|
|
|
pub val: Value,
|
|
|
|
pub default: bool,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl VariableDecl {
|
2020-02-08 17:03:43 -05:00
|
|
|
pub const fn new(val: Value, default: bool) -> VariableDecl {
|
2020-01-29 21:02:32 -05:00
|
|
|
VariableDecl { val, default }
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-01-20 13:15:47 -05:00
|
|
|
pub(crate) fn eat_variable_value<I: Iterator<Item = Token>>(
|
2020-01-14 19:34:13 -05:00
|
|
|
toks: &mut Peekable<I>,
|
|
|
|
scope: &Scope,
|
2020-01-29 21:02:32 -05:00
|
|
|
) -> Result<VariableDecl, (Pos, String)> {
|
2020-01-14 19:34:13 -05:00
|
|
|
devour_whitespace(toks);
|
2020-01-29 21:02:32 -05:00
|
|
|
let mut default = false;
|
|
|
|
let mut raw: Vec<Token> = Vec::new();
|
|
|
|
let mut nesting = 0;
|
|
|
|
while let Some(tok) = toks.peek() {
|
|
|
|
match tok.kind {
|
|
|
|
TokenKind::Symbol(Symbol::SemiColon) => {
|
|
|
|
toks.next();
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
TokenKind::Keyword(Keyword::Default) => {
|
|
|
|
toks.next();
|
|
|
|
default = true
|
|
|
|
}
|
|
|
|
TokenKind::Interpolation | TokenKind::Symbol(Symbol::OpenCurlyBrace) => {
|
|
|
|
nesting += 1;
|
|
|
|
raw.push(toks.next().unwrap());
|
|
|
|
}
|
|
|
|
TokenKind::Symbol(Symbol::CloseCurlyBrace) => {
|
|
|
|
if nesting == 0 {
|
|
|
|
break;
|
|
|
|
} else {
|
|
|
|
nesting -= 1;
|
|
|
|
raw.push(toks.next().unwrap());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
_ => raw.push(toks.next().unwrap()),
|
|
|
|
}
|
|
|
|
}
|
2020-01-14 19:34:13 -05:00
|
|
|
devour_whitespace(toks);
|
2020-01-29 21:02:32 -05:00
|
|
|
let val = Value::from_tokens(&mut raw.into_iter().peekable(), scope).unwrap();
|
|
|
|
Ok(VariableDecl::new(val, default))
|
2020-01-14 19:34:13 -05:00
|
|
|
}
|