use crate::{
Error,
lexer::{Error as LexError, TokenKind},
parser::{
AllowAwait, AllowYield, Cursor, OrAbrupt, ParseResult, TokenParser,
expression::{await_expr::AwaitExpression, update::UpdateExpression},
},
source::ReadChar,
};
use boa_ast::{
Expression, Keyword, Punctuator, Span, Spanned,
expression::{
access::PropertyAccess,
operator::{Unary, unary::UnaryOp},
},
};
use boa_interner::Interner;
#[derive(Debug, Clone, Copy)]
pub(in crate::parser) struct UnaryExpression {
allow_yield: AllowYield,
allow_await: AllowAwait,
}
impl UnaryExpression {
pub(in crate::parser) fn new<Y, A>(allow_yield: Y, allow_await: A) -> Self
where
Y: Into<AllowYield>,
A: Into<AllowAwait>,
{
Self {
allow_yield: allow_yield.into(),
allow_await: allow_await.into(),
}
}
}
impl<R> TokenParser<R> for UnaryExpression
where
R: ReadChar,
{
type Output = Expression;
fn parse(self, cursor: &mut Cursor<R>, interner: &mut Interner) -> ParseResult<Self::Output> {
let tok = cursor.peek(0, interner).or_abrupt()?;
let token_start = tok.span().start();
match tok.kind() {
TokenKind::Keyword((Keyword::Delete | Keyword::Void | Keyword::TypeOf, true)) => Err(
Error::general("Keyword must not contain escaped characters", token_start),
),
TokenKind::Keyword((Keyword::Delete, false)) => {
cursor.advance(interner);
let position = cursor.peek(0, interner).or_abrupt()?.span().start();
let target = self.parse(cursor, interner)?;
match target.flatten() {
Expression::Identifier(_) if cursor.strict() => {
return Err(Error::lex(LexError::Syntax(
"cannot delete variables in strict mode".into(),
token_start,
)));
}
Expression::PropertyAccess(PropertyAccess::Private(_)) => {
return Err(Error::lex(LexError::Syntax(
"cannot delete private fields".into(),
position,
)));
}
_ => {}
}
let target_span_end = target.span().end();
Ok(Unary::new(
UnaryOp::Delete,
target,
Span::new(token_start, target_span_end),
)
.into())
}
TokenKind::Keyword((Keyword::Void, false)) => {
cursor.advance(interner);
let target = self.parse(cursor, interner)?;
let target_span_end = target.span().end();
Ok(Unary::new(
UnaryOp::Void,
target,
Span::new(token_start, target_span_end),
)
.into())
}
TokenKind::Keyword((Keyword::TypeOf, false)) => {
cursor.advance(interner);
let target = self.parse(cursor, interner)?;
let target_span_end = target.span().end();
Ok(Unary::new(
UnaryOp::TypeOf,
target,
Span::new(token_start, target_span_end),
)
.into())
}
TokenKind::Punctuator(Punctuator::Add) => {
cursor.advance(interner);
let target = self.parse(cursor, interner)?;
let target_span_end = target.span().end();
Ok(Unary::new(
UnaryOp::Plus,
target,
Span::new(token_start, target_span_end),
)
.into())
}
TokenKind::Punctuator(Punctuator::Sub) => {
cursor.advance(interner);
let target = self.parse(cursor, interner)?;
let target_span_end = target.span().end();
Ok(Unary::new(
UnaryOp::Minus,
target,
Span::new(token_start, target_span_end),
)
.into())
}
TokenKind::Punctuator(Punctuator::Neg) => {
cursor.advance(interner);
let target = self.parse(cursor, interner)?;
let target_span_end = target.span().end();
Ok(Unary::new(
UnaryOp::Tilde,
target,
Span::new(token_start, target_span_end),
)
.into())
}
TokenKind::Punctuator(Punctuator::Not) => {
cursor.advance(interner);
let target = self.parse(cursor, interner)?;
let target_span_end = target.span().end();
Ok(Unary::new(
UnaryOp::Not,
target,
Span::new(token_start, target_span_end),
)
.into())
}
TokenKind::Keyword((Keyword::Await, true)) if self.allow_await.0 => {
Err(Error::general(
"Keyword 'await' must not contain escaped characters",
token_start,
))
}
TokenKind::Keyword((Keyword::Await, false)) if self.allow_await.0 => {
Ok((AwaitExpression::new(self.allow_yield).parse(cursor, interner)?).into())
}
_ => UpdateExpression::new(self.allow_yield, self.allow_await).parse(cursor, interner),
}
}
}