use super::arguments::Arguments;
use crate::{
Error,
lexer::TokenKind,
parser::{
AllowAwait, AllowYield, Cursor, OrAbrupt, ParseResult, TokenParser,
expression::{Expression, left_hand_side::template::TaggedTemplateLiteral},
},
source::ReadChar,
};
use ast::function::PrivateName;
use boa_ast::{
self as ast, Punctuator, Span, Spanned,
expression::{
Call, Identifier,
access::{PrivatePropertyAccess, SimplePropertyAccess},
},
};
use boa_interner::{Interner, Sym};
#[derive(Debug)]
pub(super) struct CallExpression {
allow_yield: AllowYield,
allow_await: AllowAwait,
first_member_expr: ast::Expression,
}
impl CallExpression {
pub(super) fn new<Y, A>(
allow_yield: Y,
allow_await: A,
first_member_expr: ast::Expression,
) -> Self
where
Y: Into<AllowYield>,
A: Into<AllowAwait>,
{
Self {
allow_yield: allow_yield.into(),
allow_await: allow_await.into(),
first_member_expr,
}
}
}
impl<R> TokenParser<R> for CallExpression
where
R: ReadChar,
{
type Output = ast::Expression;
fn parse(self, cursor: &mut Cursor<R>, interner: &mut Interner) -> ParseResult<Self::Output> {
let token = cursor.peek(0, interner).or_abrupt()?;
let lhs = if token.kind() == &TokenKind::Punctuator(Punctuator::OpenParen) {
let (args, args_span) =
Arguments::new(self.allow_yield, self.allow_await).parse(cursor, interner)?;
Call::new(self.first_member_expr, args, args_span).into()
} else {
let next_token = cursor.next(interner)?.expect("token vanished");
return Err(Error::expected(
["(".to_owned()],
next_token.to_string(interner),
next_token.span(),
"call expression",
));
};
CallExpressionTail::new(self.allow_yield, self.allow_await, lhs).parse(cursor, interner)
}
}
#[derive(Debug)]
pub(super) struct CallExpressionTail {
allow_yield: AllowYield,
allow_await: AllowAwait,
call: ast::Expression,
}
impl CallExpressionTail {
pub(super) fn new<Y, A>(allow_yield: Y, allow_await: A, call: ast::Expression) -> Self
where
Y: Into<AllowYield>,
A: Into<AllowAwait>,
{
Self {
allow_yield: allow_yield.into(),
allow_await: allow_await.into(),
call,
}
}
}
impl<R> TokenParser<R> for CallExpressionTail
where
R: ReadChar,
{
type Output = ast::Expression;
fn parse(self, cursor: &mut Cursor<R>, interner: &mut Interner) -> ParseResult<Self::Output> {
let mut lhs = self.call;
while let Some(token) = cursor.peek(0, interner)?.cloned() {
let lhs_span_start = lhs.span().start();
match token.kind() {
TokenKind::Punctuator(Punctuator::OpenParen) => {
let (args, args_span) = Arguments::new(self.allow_yield, self.allow_await)
.parse(cursor, interner)?;
lhs = Call::new(lhs, args, args_span).into();
}
TokenKind::Punctuator(Punctuator::Dot) => {
cursor.advance(interner);
let token = cursor.next(interner).or_abrupt()?;
let access = match token.kind() {
TokenKind::IdentifierName((name, _)) => {
SimplePropertyAccess::new(lhs, Identifier::new(*name, token.span()))
.into()
}
TokenKind::Keyword((kw, _)) => SimplePropertyAccess::new(
lhs,
Identifier::new(kw.to_sym(), token.span()),
)
.into(),
TokenKind::BooleanLiteral((true, _)) => {
SimplePropertyAccess::new(lhs, Identifier::new(Sym::TRUE, token.span()))
.into()
}
TokenKind::BooleanLiteral((false, _)) => SimplePropertyAccess::new(
lhs,
Identifier::new(Sym::FALSE, token.span()),
)
.into(),
TokenKind::NullLiteral(_) => {
SimplePropertyAccess::new(lhs, Identifier::new(Sym::NULL, token.span()))
.into()
}
TokenKind::PrivateIdentifier(name) => PrivatePropertyAccess::new(
lhs,
PrivateName::new(*name, token.span()),
Span::new(lhs_span_start, token.span().end()),
)
.into(),
_ => {
return Err(Error::expected(
["identifier".to_owned()],
token.to_string(interner),
token.span(),
"call expression",
));
}
};
lhs = ast::Expression::PropertyAccess(access);
}
TokenKind::Punctuator(Punctuator::OpenBracket) => {
cursor.advance(interner);
let idx = Expression::new(true, self.allow_yield, self.allow_await)
.parse(cursor, interner)?;
cursor.expect(Punctuator::CloseBracket, "call expression", interner)?;
lhs =
ast::Expression::PropertyAccess(SimplePropertyAccess::new(lhs, idx).into());
}
TokenKind::TemplateNoSubstitution { .. } | TokenKind::TemplateMiddle { .. } => {
lhs = TaggedTemplateLiteral::new(
self.allow_yield,
self.allow_await,
token.start_group(),
lhs,
)
.parse(cursor, interner)?
.into();
}
_ => break,
}
}
Ok(lhs)
}
}