Hashbang lexer support

boa/src/syntax/lexer/comment.rs

@@ -8,6 +8,7 @@ use crate::{
         lexer::{Token, TokenKind},
     },
 };
+use core::convert::TryFrom;
 use std::io::Read;
 
 /// Lexes a single line comment.
@@ -90,3 +91,40 @@ impl<R> Tokenizer<R> for MultiLineComment {
         ))
     }
 }
+
+///Lexes a first line Hashbang comment
+///
+/// More information:
+///  - [ECMAScript reference][spec]
+///
+/// [spec]: https://tc39.es/ecma262/#sec-ecmascript-language-lexical-grammar
+
+pub(super) struct HashbangComment;
+
+impl<R> Tokenizer<R> for HashbangComment {
+    fn lex(&mut self, cursor: &mut Cursor<R>, start_pos: Position) -> Result<Token, Error>
+    where
+        R: Read,
+    {
+        let _timer = BoaProfiler::global().start_event("Hashbang", "Lexing");
+
+        loop {
+            if let Some(ch) = cursor.next_char()? {
+                if let Ok(c) = char::try_from(ch) {
+                    if c == '\r' || c == '\n' || c == '\u{2028}' || c == '\u{2029}' {
+                        break;
+                    }
+                } else {
+                    cursor.next_byte()?.expect("No byte returned");
+                }
+            } else {
+                return Err(Error::syntax("unterminated hashbang", cursor.pos()));
+            }
+        }
+
+        Ok(Token::new(
+            TokenKind::Comment,
+            Span::new(start_pos, cursor.pos()),
+        ))
+    }
+}

boa/src/syntax/lexer/mod.rs

@@ -30,7 +30,7 @@ pub mod token;
 mod tests;
 
 use self::{
-    comment::{MultiLineComment, SingleLineComment},
+    comment::{HashbangComment, MultiLineComment, SingleLineComment},
     cursor::Cursor,
     identifier::Identifier,
     number::NumberLiteral,
@@ -191,6 +191,17 @@ impl<R> Lexer<R> {
             }
         };
 
+        //handle hashbang here so the below match block still throws error on
+        //# if position isn't (1, 1)
+        if start.column_number() == 1 && start.line_number() == 1 && next_ch == 0x23 {
+            if let Some(hashbang_peek) = self.cursor.peek()? {
+                if hashbang_peek == 0x21 {
+                    let _token = HashbangComment.lex(&mut self.cursor, start);
+                    return self.next();
+                }
+            }
+        };
+
         if let Ok(c) = char::try_from(next_ch) {
             let token = match c {
                 '\r' | '\n' | '\u{2028}' | '\u{2029}' => Ok(Token::new(

boa/src/syntax/parser/tests.rs

@@ -372,3 +372,39 @@ fn empty_statement() {
         ],
     );
 }
+
+#[test]
+fn hashbang_use_strict_no_with() {
+    check_parser(
+        r#"#!\"use strict"
+        "#, 
+        vec![]
+    );
+}
+
+#[test]
+fn hashbang_use_strict_with_with_statement() {
+    check_parser(
+        r#"#!\"use strict"
+
+        with({}) {}
+        "#, 
+        vec![]
+    );
+}
+
+#[test]
+fn hashbang_comment() {
+    check_parser(
+        r"#!Comment Here", 
+        vec![]
+    );
+}
+
+#[test]
+fn hashbang_line_separator_test() {
+    check_parser(
+        r"#!This contains a line separator
",
+        vec![]
+    );
+}