diff --git a/.vscode/tasks.json b/.vscode/tasks.json index 5839afb18ea..7592103972a 100644 --- a/.vscode/tasks.json +++ b/.vscode/tasks.json @@ -35,27 +35,30 @@ }, "presentation": { "clear": true - } + }, + "problemMatcher": [] }, { "type": "process", "label": "Get Tokens", "command": "cargo", - "args": ["run", "--", "-t=Debug", "./tests/js/test.js"], + "args": ["run", "--bin", "boa", "--", "-t=Debug", "./tests/js/test.js"], "group": "build", "presentation": { "clear": true - } + }, + "problemMatcher": [] }, { "type": "process", "label": "Get AST", "command": "cargo", - "args": ["run", "--", "-a=Debug", "./tests/js/test.js"], + "args": ["run", "--bin", "boa", "--", "-a=Debug", "./tests/js/test.js"], "group": "build", "presentation": { "clear": true - } + }, + "problemMatcher": [] }, { "type": "process", diff --git a/boa/src/exec/iteration/mod.rs b/boa/src/exec/iteration/mod.rs index 29d04b2c027..ee19ec3f8e3 100644 --- a/boa/src/exec/iteration/mod.rs +++ b/boa/src/exec/iteration/mod.rs @@ -34,8 +34,22 @@ impl Executable for ForLoop { let result = self.body().run(interpreter)?; match interpreter.executor().get_current_state() { - InterpreterState::Break(_label) => { - // TODO break to label. + InterpreterState::Break(label) => { + // If a label is set we want to break the current block and still keep state as Break if the label is a block above + if let Some(stmt_label) = &self.label { + if let Some(brk_label) = label { + // We have a label, but not for the current statement + // break without resetting to executings + if stmt_label.to_string() != *brk_label { + break; + } else { + interpreter + .executor() + .set_current_state(InterpreterState::Executing); + break; + } + } + } // Loops 'consume' breaks. interpreter diff --git a/boa/src/exec/iteration/tests.rs b/boa/src/exec/iteration/tests.rs index 864665b3af4..5c55c580dda 100644 --- a/boa/src/exec/iteration/tests.rs +++ b/boa/src/exec/iteration/tests.rs @@ -59,7 +59,7 @@ fn for_loop_return() { } } } - + foo(); "#; @@ -191,3 +191,22 @@ fn do_while_loop_continue() { "#; assert_eq!(&exec(scenario), "[ 1, 2 ]"); } + +#[test] +fn for_loop_break_label() { + let scenario = r#" + var str = ""; + + loop1: for (let i = 0; i < 5; i++) { + loop2: for (let b = 0; b < 5; b++) { + if (b === 2) { + break loop1; + } + str = str + b; + } + str = str + i; + } + str + "#; + assert_eq!(&exec(scenario), "\"01\"") +} diff --git a/boa/src/exec/tests.rs b/boa/src/exec/tests.rs index 246fbe6c59a..2e3f3211dcd 100644 --- a/boa/src/exec/tests.rs +++ b/boa/src/exec/tests.rs @@ -1330,7 +1330,7 @@ fn assign_to_object_decl() { let mut engine = Context::new(); const ERR_MSG: &str = - "Uncaught \"SyntaxError\": \"expected token \';\', got \':\' in expression statement at line 1, col 3\""; + "Uncaught \"SyntaxError\": \"unexpected token '=', primary expression at line 1, col 8\""; assert_eq!(forward(&mut engine, "{a: 3} = {a: 5};"), ERR_MSG); } diff --git a/boa/src/syntax/ast/node/iteration.rs b/boa/src/syntax/ast/node/iteration.rs index d84a12499f3..6f97cca4e54 100644 --- a/boa/src/syntax/ast/node/iteration.rs +++ b/boa/src/syntax/ast/node/iteration.rs @@ -21,6 +21,7 @@ use serde::{Deserialize, Serialize}; pub struct ForLoop { #[cfg_attr(feature = "serde", serde(flatten))] inner: Box, + pub(crate) label: Option>, } impl ForLoop { @@ -34,6 +35,7 @@ impl ForLoop { { Self { inner: Box::new(InnerForLoop::new(init, condition, final_expr, body)), + label: None, } } @@ -76,6 +78,10 @@ impl ForLoop { write!(f, "}}") } + + pub fn set_label(&mut self, label: Box) { + self.label = Some(label); + } } impl fmt::Display for ForLoop { diff --git a/boa/src/syntax/parser/statement/labelled_stm/mod.rs b/boa/src/syntax/parser/statement/labelled_stm/mod.rs new file mode 100644 index 00000000000..231a5c0b8a1 --- /dev/null +++ b/boa/src/syntax/parser/statement/labelled_stm/mod.rs @@ -0,0 +1,66 @@ +use std::io::Read; + +use super::{LabelIdentifier, Statement}; +use crate::{ + syntax::ast::Node, + syntax::{ + ast::Punctuator, + parser::{ + cursor::Cursor, error::ParseError, AllowAwait, AllowReturn, AllowYield, TokenParser, + }, + }, + BoaProfiler, +}; +/// Labelled Statement Parsing +/// +/// More information +/// - [MDN documentation][mdn] +/// - [ECMAScript specification][spec] +/// +/// [mdn]: https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Statements/label +/// [spec]: https://tc39.es/ecma262/#sec-labelled-statements +#[derive(Debug, Clone, Copy)] +pub(super) struct LabelledStatement { + allow_yield: AllowYield, + allow_await: AllowAwait, + allow_return: AllowReturn, +} + +impl LabelledStatement { + pub(super) fn new(allow_yield: Y, allow_await: A, allow_return: R) -> Self + where + Y: Into, + A: Into, + R: Into, + { + Self { + allow_yield: allow_yield.into(), + allow_await: allow_await.into(), + allow_return: allow_return.into(), + } + } +} + +impl TokenParser for LabelledStatement +where + R: Read, +{ + type Output = Node; + + fn parse(self, cursor: &mut Cursor) -> Result { + let _timer = BoaProfiler::global().start_event("Label", "Parsing"); + let name = LabelIdentifier::new(self.allow_yield, self.allow_await).parse(cursor)?; + cursor.expect(Punctuator::Colon, "Labelled Statement")?; + let mut stmt = + Statement::new(self.allow_yield, self.allow_await, self.allow_return).parse(cursor)?; + + set_label_for_node(&mut stmt, name); + Ok(stmt) + } +} + +fn set_label_for_node(stmt: &mut Node, name: Box) { + if let Node::ForLoop(ref mut for_loop) = stmt { + for_loop.set_label(name) + } +} diff --git a/boa/src/syntax/parser/statement/mod.rs b/boa/src/syntax/parser/statement/mod.rs index 6b93bdc7e88..08b419f4d11 100644 --- a/boa/src/syntax/parser/statement/mod.rs +++ b/boa/src/syntax/parser/statement/mod.rs @@ -14,6 +14,7 @@ mod declaration; mod expression; mod if_stm; mod iteration; +mod labelled_stm; mod return_stm; mod switch; mod throw; @@ -37,11 +38,12 @@ use self::{ use super::{AllowAwait, AllowReturn, AllowYield, Cursor, ParseError, TokenParser}; -use crate::syntax::lexer::TokenKind; +use crate::syntax::lexer::{InputElement, TokenKind}; use crate::{ syntax::ast::{node, Keyword, Node, Punctuator}, BoaProfiler, }; +use labelled_stm::LabelledStatement; use std::io::Read; @@ -170,7 +172,28 @@ where .parse(cursor) .map(Node::from) } - // TODO: https://tc39.es/ecma262/#prod-LabelledStatement + TokenKind::Identifier(_) => { + // Labelled Statement check + cursor.set_goal(InputElement::Div); + let tok = cursor.peek(1)?; + if tok.is_some() + && matches!( + tok.unwrap().kind(), + TokenKind::Punctuator(Punctuator::Colon) + ) + { + return LabelledStatement::new( + self.allow_yield, + self.allow_await, + self.allow_return, + ) + .parse(cursor) + .map(Node::from); + } + + ExpressionStatement::new(self.allow_yield, self.allow_await).parse(cursor) + } + _ => ExpressionStatement::new(self.allow_yield, self.allow_await).parse(cursor), } } @@ -367,7 +390,7 @@ where /// - [ECMAScript specification][spec] /// /// [spec]: https://tc39.es/ecma262/#prod-LabelIdentifier -type LabelIdentifier = BindingIdentifier; +pub(super) type LabelIdentifier = BindingIdentifier; /// Binding identifier parsing. ///