Add indexing expression parsing and tests
Signed-off-by: Alek Ratzloff <alekratz@gmail.com>
This commit is contained in:
@@ -25,6 +25,7 @@ pub enum Expr {
|
|||||||
Bin(Box<BinExpr>),
|
Bin(Box<BinExpr>),
|
||||||
Un(Box<UnExpr>),
|
Un(Box<UnExpr>),
|
||||||
FunCall(Box<FunCallExpr>),
|
FunCall(Box<FunCallExpr>),
|
||||||
|
Index(Box<IndexExpr>),
|
||||||
Base(BaseExpr),
|
Base(BaseExpr),
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -35,6 +36,7 @@ impl Spanned for Expr {
|
|||||||
Expr::Bin(b) => b.span(),
|
Expr::Bin(b) => b.span(),
|
||||||
Expr::Un(u) => u.span(),
|
Expr::Un(u) => u.span(),
|
||||||
Expr::FunCall(f) => f.span(),
|
Expr::FunCall(f) => f.span(),
|
||||||
|
Expr::Index(i) => i.span(),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@@ -103,6 +105,21 @@ impl Spanned for FunCallExpr {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#[derive(Derivative, Clone, PartialEq, Eq)]
|
||||||
|
#[derivative(Debug)]
|
||||||
|
pub struct IndexExpr {
|
||||||
|
pub expr: Expr,
|
||||||
|
pub index: Expr,
|
||||||
|
#[derivative(Debug = "ignore")]
|
||||||
|
pub span: Span,
|
||||||
|
}
|
||||||
|
|
||||||
|
impl Spanned for IndexExpr {
|
||||||
|
fn span(&self) -> Span {
|
||||||
|
self.span
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
#[derive(Debug, Clone, PartialEq, Eq)]
|
#[derive(Debug, Clone, PartialEq, Eq)]
|
||||||
pub enum BaseExprKind {
|
pub enum BaseExprKind {
|
||||||
Ident,
|
Ident,
|
||||||
|
|||||||
@@ -283,11 +283,12 @@ impl<'t> Parser<'t> {
|
|||||||
/// index access.
|
/// index access.
|
||||||
fn next_suffix_expr(&mut self, expr: Expr) -> Result<Expr> {
|
fn next_suffix_expr(&mut self, expr: Expr) -> Result<Expr> {
|
||||||
if self.match_token_kind(TokenKind::LParen)?.is_some() {
|
if self.match_token_kind(TokenKind::LParen)?.is_some() {
|
||||||
|
// function call
|
||||||
let prev_skip = self.set_skip_newlines(true)?;
|
let prev_skip = self.set_skip_newlines(true)?;
|
||||||
let args = self.next_expr_list(TokenKind::RParen)?;
|
let args = self.next_expr_list(TokenKind::RParen)?;
|
||||||
self.set_skip_newlines(prev_skip)?;
|
self.set_skip_newlines(prev_skip)?;
|
||||||
let end_token =
|
let end_token =
|
||||||
self.expect_token_kind(TokenKind::RParen, "end of function call (left paren)")?;
|
self.expect_token_kind(TokenKind::RParen, "end of function call (right paren)")?;
|
||||||
let span = expr.span().union(end_token.span());
|
let span = expr.span().union(end_token.span());
|
||||||
let fun_call = Expr::FunCall(
|
let fun_call = Expr::FunCall(
|
||||||
FunCallExpr {
|
FunCallExpr {
|
||||||
@@ -298,7 +299,21 @@ impl<'t> Parser<'t> {
|
|||||||
);
|
);
|
||||||
self.next_suffix_expr(fun_call)
|
self.next_suffix_expr(fun_call)
|
||||||
} else if self.match_token_kind(TokenKind::LBracket)?.is_some() {
|
} else if self.match_token_kind(TokenKind::LBracket)?.is_some() {
|
||||||
todo!()
|
// indexing
|
||||||
|
let prev_skip = self.set_skip_newlines(true)?;
|
||||||
|
let index = self.next_expr()?;
|
||||||
|
self.set_skip_newlines(prev_skip)?;
|
||||||
|
let end_token =
|
||||||
|
self.expect_token_kind(TokenKind::RBracket, "end of index expression (right square bracket)")?;
|
||||||
|
let span = expr.span().union(end_token.span());
|
||||||
|
let index_expr = Expr::Index(
|
||||||
|
IndexExpr {
|
||||||
|
expr,
|
||||||
|
index,
|
||||||
|
span,
|
||||||
|
}.into()
|
||||||
|
);
|
||||||
|
self.next_suffix_expr(index_expr)
|
||||||
} else {
|
} else {
|
||||||
Ok(expr)
|
Ok(expr)
|
||||||
}
|
}
|
||||||
@@ -603,6 +618,14 @@ mod test {
|
|||||||
}.into())
|
}.into())
|
||||||
}
|
}
|
||||||
|
|
||||||
|
fn index_expr(expr: Expr, index: Expr) -> Expr {
|
||||||
|
Expr::Index(IndexExpr {
|
||||||
|
expr,
|
||||||
|
index,
|
||||||
|
span: Default::default(),
|
||||||
|
}.into())
|
||||||
|
}
|
||||||
|
|
||||||
#[test]
|
#[test]
|
||||||
fn test_base_expr() {
|
fn test_base_expr() {
|
||||||
test_parser!(
|
test_parser!(
|
||||||
@@ -928,7 +951,7 @@ mod test {
|
|||||||
}
|
}
|
||||||
|
|
||||||
#[test]
|
#[test]
|
||||||
fn test_fun_call_expr() {
|
fn test_suffix_expr() {
|
||||||
test_parser!(
|
test_parser!(
|
||||||
Parser::try_from(r"foo()").unwrap(),
|
Parser::try_from(r"foo()").unwrap(),
|
||||||
next_expr,
|
next_expr,
|
||||||
@@ -978,6 +1001,32 @@ mod test {
|
|||||||
]
|
]
|
||||||
)
|
)
|
||||||
);
|
);
|
||||||
|
|
||||||
|
test_parser!(
|
||||||
|
Parser::try_from(r"foo()[0]").unwrap(),
|
||||||
|
next_expr,
|
||||||
|
index_expr(
|
||||||
|
fun_call_expr(
|
||||||
|
base_expr(BaseExprKind::Ident),
|
||||||
|
vec![]
|
||||||
|
),
|
||||||
|
base_expr(BaseExprKind::Num),
|
||||||
|
)
|
||||||
|
);
|
||||||
|
|
||||||
|
test_parser!(
|
||||||
|
Parser::try_from(r"foo[0](bar)").unwrap(),
|
||||||
|
next_expr,
|
||||||
|
fun_call_expr(
|
||||||
|
index_expr(
|
||||||
|
base_expr(BaseExprKind::Ident),
|
||||||
|
base_expr(BaseExprKind::Num),
|
||||||
|
),
|
||||||
|
vec![
|
||||||
|
base_expr(BaseExprKind::Ident)
|
||||||
|
]
|
||||||
|
)
|
||||||
|
);
|
||||||
}
|
}
|
||||||
|
|
||||||
////////////////////////////////////////////////////////////////////////////////
|
////////////////////////////////////////////////////////////////////////////////
|
||||||
|
|||||||
Reference in New Issue
Block a user