The big rewrite

Author: DelSkayn

Cargo.lock

@@ -1,20 +1,14 @@
-[package]
-authors = ["delskayn <[email protected]>"]
-edition = "2018"
-name = "js"
-version = "0.1.0"
+[workspace]
+members = [
+    "crates/token",
+    "crates/lexer",
+    "crates/common",
+    "crates/compiler",
+    "crates/parser",
+    "crates/ast",
+    "crates/runtime",
+    "toyjs"
+]
 
-[dependencies]
-unicode-xid = "0.2.0"
-log = "0.4.8"
-fxhash = "0.2.1"
-lexical-core = "0.7.4"
-gc = "0.3.6"
-
-[[example]]
-name = "ecma"
-path = "examples/ecma.rs"
-
-[dev-dependencies]
-walkdir = "2.3.1"
-env_logger = "0.7.1"
+[profile.release]
+debug = true

Cargo.toml

@@ -0,0 +1,11 @@
+[package]
+name = "toyjs_ast"
+version = "0.1.0"
+authors = ["Mees Delzenne <[email protected]>"]
+edition = "2018"
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[dependencies]
+bumpalo = { version = "3.4.0", features = ["boxed","collections"]}
+common = { package="toyjs_common",path = "../common/" }

README.md

@@ -0,0 +1,141 @@
+use bumpalo::{boxed::Box, collections::Vec};
+use common::interner::StringId;
+
+mod variables;
+pub use variables::*;
+
+#[derive(Debug, PartialEq)]
+pub struct Script<'a>(pub Vec<'a, Stmt<'a>>);
+
+#[derive(Debug, PartialEq)]
+pub enum Stmt<'a> {
+    Empty,
+    Let(VariableId, Option<Expr<'a>>),
+    Var(VariableId, Option<Expr<'a>>),
+    Const(VariableId, Vec<'a, Expr<'a>>),
+    Expr(Vec<'a, Expr<'a>>),
+    Break,
+    Continue,
+    If(Vec<'a, Expr<'a>>, Box<'a, Stmt<'a>>),
+    While(Vec<'a, Expr<'a>>, Box<'a, Stmt<'a>>),
+    DoWhile(Box<'a, Stmt<'a>>, Vec<'a, Expr<'a>>),
+    For,
+    Block(Vec<'a, Stmt<'a>>),
+}
+
+#[derive(Debug, PartialEq)]
+pub enum BinaryOperator<'a> {
+    Ternary(Box<'a, Expr<'a>>),
+    NullCoalessing(Box<'a, Expr<'a>>),
+    TenaryNull,
+    In,
+    InstanceOf,
+    Add,
+    Subtract,
+    Multiply,
+    Divide,
+    Modulo,
+    Exponentiate,
+    ShiftLeft,
+    ShiftRight,
+    ShiftRightUnsigned,
+    BitwiseAnd,
+    BitwiseXor,
+    BitwiseOr,
+    Less,
+    LessEqual,
+    Greater,
+    GreaterEqual,
+    Equal,
+    StrictEqual,
+    NotEqual,
+    StrictNotEqual,
+    And,
+    Or,
+    Index,
+}
+
+#[derive(Debug, PartialEq)]
+pub enum AssignOperator {
+    Assign,
+    Add,
+    Subtract,
+    Multiply,
+    Divide,
+    Modulo,
+    Exponentiate,
+    ShiftLeft,
+    ShiftRight,
+    ShiftRightUnsigned,
+    BitwiseAnd,
+    BitwiseXor,
+    BitwiseOr,
+}
+
+#[derive(Debug, PartialEq)]
+pub enum PrefixOperator {
+    Not,
+    Delete,
+    Void,
+    TypeOf,
+    Positive,
+    Negative,
+    BinaryNot,
+    AddOne,
+    SubtractOne,
+}
+
+#[derive(Debug, PartialEq)]
+pub enum PostfixOperator<'a> {
+    AddOne,
+    SubtractOne,
+    Dot(StringId),
+    Index(Box<'a, Expr<'a>>),
+}
+
+#[derive(Debug, PartialEq)]
+pub enum Expr<'a> {
+    Binary(Box<'a, Expr<'a>>, BinaryOperator<'a>, Box<'a, Expr<'a>>),
+    Assign(Box<'a, Expr<'a>>, AssignOperator, Box<'a, Expr<'a>>),
+    UnaryPrefix(PrefixOperator, Box<'a, Expr<'a>>),
+    UnaryPostfix(Box<'a, Expr<'a>>, PostfixOperator<'a>),
+    Prime(PrimeExpr<'a>),
+}
+
+impl<'a> Expr<'a> {
+    pub fn is_assignable(&self) -> bool {
+        match *self {
+            Expr::Prime(ref x) => match x {
+                PrimeExpr::Variable(_) => true,
+                PrimeExpr::Literal(_) => false,
+                PrimeExpr::Covered(_) => false,
+                PrimeExpr::Object(_) => false,
+            },
+            Expr::Assign(..) => false,
+            Expr::Binary(..) => false,
+            Expr::UnaryPrefix(..) => false,
+            Expr::UnaryPostfix(_, ref op) => match *op {
+                PostfixOperator::Dot(_) => true,
+                PostfixOperator::Index(_) => true,
+                PostfixOperator::AddOne => false,
+                PostfixOperator::SubtractOne => false,
+            },
+        }
+    }
+}
+
+#[derive(Debug, PartialEq)]
+pub enum PrimeExpr<'a> {
+    Literal(Literal),
+    Variable(VariableId),
+    Covered(Vec<'a, Expr<'a>>),
+    Object(Vec<'a, (StringId, Expr<'a>)>),
+}
+
+#[derive(Debug, Clone, Copy, PartialEq)]
+pub enum Literal {
+    String(StringId),
+    Integer(i32),
+    Float(f64),
+    Boolean(bool),
+}