{"files":[{"path":"compiler\/forget\/Cargo.lock","status":"M"},{"path":"compiler\/forget\/crates\/forget_estree\/src\/generated.rs","status":"M"},{"path":"compiler\/forget\/crates\/forget_estree\/src\/generated_extensions.rs","status":"M"},{"path":"compiler\/forget\/crates\/forget_estree\/src\/lib.rs","status":"M"},{"path":"compiler\/forget\/crates\/forget_estree_codegen\/src\/codegen.rs","status":"M"},{"path":"compiler\/forget\/crates\/forget_semantic_analysis\/Cargo.toml","status":"A"},{"path":"compiler\/forget\/crates\/forget_semantic_analysis\/README.md","status":"A"},{"path":"compiler\/forget\/crates\/forget_semantic_analysis\/src\/lib.rs","status":"A"},{"path":"compiler\/forget\/crates\/forget_utils\/src\/lib.rs","status":"M"},{"path":"compiler\/forget\/crates\/forget_utils\/src\/pointer_address.rs","status":"A"}],"patch":"diff --git a\/compiler\/forget\/Cargo.lock b\/compiler\/forget\/Cargo.lock\nindex bc8ffea0f2..1de628bd53 100644\n--- a\/compiler\/forget\/Cargo.lock\n+++ b\/compiler\/forget\/Cargo.lock\n@@ -562,6 +562,14 @@ dependencies = [\n \"thiserror\",\n ]\n \n+[[package]]\n+name = \"forget_semantic_analysis\"\n+version = \"0.1.0\"\n+dependencies = [\n+ \"forget_estree\",\n+ \"forget_utils\",\n+]\n+\n [[package]]\n name = \"forget_ssa\"\n version = \"0.1.0\"\ndiff --git a\/compiler\/forget\/crates\/forget_estree\/src\/generated.rs b\/compiler\/forget\/crates\/forget_estree\/src\/generated.rs\nindex ff3ca630fc..834eded612 100644\n--- a\/compiler\/forget\/crates\/forget_estree\/src\/generated.rs\n+++ b\/compiler\/forget\/crates\/forget_estree\/src\/generated.rs\n@@ -3,7 +3,7 @@\n use std::num::NonZeroU32;\n use serde::ser::{Serializer, SerializeMap};\n use serde::{Serialize, Deserialize};\n-use crate::{JsValue, Binding, SourceRange, Number};\n+use crate::{JsValue, Binding, SourceRange, Number, ESTreeNode};\n #[derive(Serialize, Deserialize, Clone, Debug)]\n #[serde(deny_unknown_fields)]\n pub struct SourceLocation {\n@@ -68,6 +68,7 @@ pub struct Identifier {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for Identifier {}\n impl Serialize for Identifier {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -96,6 +97,7 @@ pub struct Literal {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for Literal {}\n impl Serialize for Literal {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -120,6 +122,7 @@ pub struct NumericLiteral {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for NumericLiteral {}\n impl Serialize for NumericLiteral {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -141,6 +144,7 @@ pub struct BooleanLiteral {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for BooleanLiteral {}\n impl Serialize for BooleanLiteral {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -161,6 +165,7 @@ pub struct NullLiteral {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for NullLiteral {}\n impl Serialize for NullLiteral {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -181,6 +186,7 @@ pub struct StringLiteral {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for StringLiteral {}\n impl Serialize for StringLiteral {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -203,6 +209,7 @@ pub struct RegExpLiteral {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for RegExpLiteral {}\n impl Serialize for RegExpLiteral {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -228,6 +235,7 @@ pub struct Program {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for Program {}\n impl Serialize for Program {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -252,6 +260,7 @@ pub struct ExpressionStatement {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ExpressionStatement {}\n impl Serialize for ExpressionStatement {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -274,6 +283,7 @@ pub struct BlockStatement {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for BlockStatement {}\n impl Serialize for BlockStatement {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -294,6 +304,7 @@ pub struct EmptyStatement {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for EmptyStatement {}\n impl Serialize for EmptyStatement {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -313,6 +324,7 @@ pub struct DebuggerStatement {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for DebuggerStatement {}\n impl Serialize for DebuggerStatement {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -334,6 +346,7 @@ pub struct WithStatement {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for WithStatement {}\n impl Serialize for WithStatement {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -356,6 +369,7 @@ pub struct ReturnStatement {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ReturnStatement {}\n impl Serialize for ReturnStatement {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -378,6 +392,7 @@ pub struct LabeledStatement {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for LabeledStatement {}\n impl Serialize for LabeledStatement {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -400,6 +415,7 @@ pub struct BreakStatement {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for BreakStatement {}\n impl Serialize for BreakStatement {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -421,6 +437,7 @@ pub struct ContinueStatement {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ContinueStatement {}\n impl Serialize for ContinueStatement {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -444,6 +461,7 @@ pub struct IfStatement {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for IfStatement {}\n impl Serialize for IfStatement {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -468,6 +486,7 @@ pub struct SwitchStatement {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for SwitchStatement {}\n impl Serialize for SwitchStatement {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -491,6 +510,7 @@ pub struct SwitchCase {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for SwitchCase {}\n impl Serialize for SwitchCase {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -513,6 +533,7 @@ pub struct ThrowStatement {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ThrowStatement {}\n impl Serialize for ThrowStatement {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -536,6 +557,7 @@ pub struct TryStatement {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for TryStatement {}\n impl Serialize for TryStatement {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -560,6 +582,7 @@ pub struct CatchClause {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for CatchClause {}\n impl Serialize for CatchClause {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -583,6 +606,7 @@ pub struct WhileStatement {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for WhileStatement {}\n impl Serialize for WhileStatement {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -606,6 +630,7 @@ pub struct DoWhileStatement {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for DoWhileStatement {}\n impl Serialize for DoWhileStatement {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -631,6 +656,7 @@ pub struct ForStatement {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ForStatement {}\n impl Serialize for ForStatement {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -657,6 +683,7 @@ pub struct ForInStatement {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ForInStatement {}\n impl Serialize for ForInStatement {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -685,6 +712,7 @@ pub struct ForOfStatement {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ForOfStatement {}\n impl Serialize for ForOfStatement {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -710,6 +738,7 @@ pub struct FunctionDeclaration {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for FunctionDeclaration {}\n impl Serialize for FunctionDeclaration {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -735,6 +764,7 @@ pub struct ClassDeclaration {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ClassDeclaration {}\n impl Serialize for ClassDeclaration {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -760,6 +790,7 @@ pub struct ClassExpression {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ClassExpression {}\n impl Serialize for ClassExpression {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -784,6 +815,7 @@ pub struct ClassBody {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ClassBody {}\n impl Serialize for ClassBody {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -811,6 +843,7 @@ pub struct MethodDefinition {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for MethodDefinition {}\n impl Serialize for MethodDefinition {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -837,6 +870,7 @@ pub struct VariableDeclaration {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for VariableDeclaration {}\n impl Serialize for VariableDeclaration {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -860,6 +894,7 @@ pub struct VariableDeclarator {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for VariableDeclarator {}\n impl Serialize for VariableDeclarator {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -881,6 +916,7 @@ pub struct ThisExpression {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ThisExpression {}\n impl Serialize for ThisExpression {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -901,6 +937,7 @@ pub struct ArrayExpression {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ArrayExpression {}\n impl Serialize for ArrayExpression {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -922,6 +959,7 @@ pub struct ObjectExpression {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ObjectExpression {}\n impl Serialize for ObjectExpression {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -951,6 +989,7 @@ pub struct Property {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for Property {}\n impl Serialize for Property {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -978,6 +1017,7 @@ pub struct FunctionExpression {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for FunctionExpression {}\n impl Serialize for FunctionExpression {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1005,6 +1045,7 @@ pub struct ArrowFunctionExpression {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ArrowFunctionExpression {}\n impl Serialize for ArrowFunctionExpression {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1032,6 +1073,7 @@ pub struct UnaryExpression {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for UnaryExpression {}\n impl Serialize for UnaryExpression {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1057,6 +1099,7 @@ pub struct UpdateExpression {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for UpdateExpression {}\n impl Serialize for UpdateExpression {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1082,6 +1125,7 @@ pub struct BinaryExpression {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for BinaryExpression {}\n impl Serialize for BinaryExpression {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1107,6 +1151,7 @@ pub struct AssignmentExpression {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for AssignmentExpression {}\n impl Serialize for AssignmentExpression {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1132,6 +1177,7 @@ pub struct LogicalExpression {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for LogicalExpression {}\n impl Serialize for LogicalExpression {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1158,6 +1204,7 @@ pub struct MemberExpression {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for MemberExpression {}\n impl Serialize for MemberExpression {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1183,6 +1230,7 @@ pub struct ConditionalExpression {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ConditionalExpression {}\n impl Serialize for ConditionalExpression {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1207,6 +1255,7 @@ pub struct CallExpression {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for CallExpression {}\n impl Serialize for CallExpression {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1230,6 +1279,7 @@ pub struct NewExpression {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for NewExpression {}\n impl Serialize for NewExpression {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1252,6 +1302,7 @@ pub struct SequenceExpression {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for SequenceExpression {}\n impl Serialize for SequenceExpression {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1272,6 +1323,7 @@ pub struct Super {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for Super {}\n impl Serialize for Super {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1292,6 +1344,7 @@ pub struct SpreadElement {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for SpreadElement {}\n impl Serialize for SpreadElement {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1316,6 +1369,7 @@ pub struct YieldExpression {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for YieldExpression {}\n impl Serialize for YieldExpression {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1339,6 +1393,7 @@ pub struct ImportDeclaration {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ImportDeclaration {}\n impl Serialize for ImportDeclaration {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1362,6 +1417,7 @@ pub struct ImportSpecifier {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ImportSpecifier {}\n impl Serialize for ImportSpecifier {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1384,6 +1440,7 @@ pub struct ImportDefaultSpecifier {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ImportDefaultSpecifier {}\n impl Serialize for ImportDefaultSpecifier {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1405,6 +1462,7 @@ pub struct ImportNamespaceSpecifier {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ImportNamespaceSpecifier {}\n impl Serialize for ImportNamespaceSpecifier {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1428,6 +1486,7 @@ pub struct ExportNamedDeclaration {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ExportNamedDeclaration {}\n impl Serialize for ExportNamedDeclaration {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1451,6 +1510,7 @@ pub struct ExportSpecifier {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ExportSpecifier {}\n impl Serialize for ExportSpecifier {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1472,6 +1532,7 @@ pub struct ExportDefaultDeclaration {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ExportDefaultDeclaration {}\n impl Serialize for ExportDefaultDeclaration {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1495,6 +1556,7 @@ pub struct ExportAllDeclaration {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ExportAllDeclaration {}\n impl Serialize for ExportAllDeclaration {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1520,6 +1582,7 @@ pub struct JSXIdentifier {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for JSXIdentifier {}\n impl Serialize for JSXIdentifier {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1542,6 +1605,7 @@ pub struct JSXNamespacedName {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for JSXNamespacedName {}\n impl Serialize for JSXNamespacedName {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1565,6 +1629,7 @@ pub struct JSXMemberExpression {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for JSXMemberExpression {}\n impl Serialize for JSXMemberExpression {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1586,6 +1651,7 @@ pub struct JSXEmptyExpression {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for JSXEmptyExpression {}\n impl Serialize for JSXEmptyExpression {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1606,6 +1672,7 @@ pub struct JSXExpressionContainer {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for JSXExpressionContainer {}\n impl Serialize for JSXExpressionContainer {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1627,6 +1694,7 @@ pub struct JSXSpreadChild {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for JSXSpreadChild {}\n impl Serialize for JSXSpreadChild {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1651,6 +1719,7 @@ pub struct JSXOpeningElement {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for JSXOpeningElement {}\n impl Serialize for JSXOpeningElement {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1674,6 +1743,7 @@ pub struct JSXClosingElement {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for JSXClosingElement {}\n impl Serialize for JSXClosingElement {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1696,6 +1766,7 @@ pub struct JSXAttribute {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for JSXAttribute {}\n impl Serialize for JSXAttribute {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1718,6 +1789,7 @@ pub struct JSXSpreadAttribute {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for JSXSpreadAttribute {}\n impl Serialize for JSXSpreadAttribute {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1740,6 +1812,7 @@ pub struct JSXText {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for JSXText {}\n impl Serialize for JSXText {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1763,6 +1836,7 @@ pub struct JSXStringLiteral {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for JSXStringLiteral {}\n impl Serialize for JSXStringLiteral {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1789,6 +1863,7 @@ pub struct JSXElement {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for JSXElement {}\n impl Serialize for JSXElement {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1816,6 +1891,7 @@ pub struct JSXFragment {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for JSXFragment {}\n impl Serialize for JSXFragment {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1838,6 +1914,7 @@ pub struct JSXOpeningFragment {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for JSXOpeningFragment {}\n impl Serialize for JSXOpeningFragment {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1857,6 +1934,7 @@ pub struct JSXClosingFragment {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for JSXClosingFragment {}\n impl Serialize for JSXClosingFragment {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1877,6 +1955,7 @@ pub struct ArrayPattern {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ArrayPattern {}\n impl Serialize for ArrayPattern {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1898,6 +1977,7 @@ pub struct ObjectPattern {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ObjectPattern {}\n impl Serialize for ObjectPattern {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1922,6 +2002,7 @@ pub struct AssignmentProperty {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for AssignmentProperty {}\n impl Serialize for AssignmentProperty {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1946,6 +2027,7 @@ pub struct RestElement {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for RestElement {}\n impl Serialize for RestElement {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1968,6 +2050,7 @@ pub struct AssignmentPattern {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for AssignmentPattern {}\n impl Serialize for AssignmentPattern {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -1991,6 +2074,7 @@ pub struct TemplateLiteral {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for TemplateLiteral {}\n impl Serialize for TemplateLiteral {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -2014,6 +2098,7 @@ pub struct TemplateElement {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for TemplateElement {}\n impl Serialize for TemplateElement {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -2037,6 +2122,7 @@ pub struct TaggedTemplateExpression {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for TaggedTemplateExpression {}\n impl Serialize for TaggedTemplateExpression {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -2060,6 +2146,7 @@ pub struct MetaProperty {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for MetaProperty {}\n impl Serialize for MetaProperty {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -2082,6 +2169,7 @@ pub struct AwaitExpression {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for AwaitExpression {}\n impl Serialize for AwaitExpression {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -2103,6 +2191,7 @@ pub struct ChainExpression {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ChainExpression {}\n impl Serialize for ChainExpression {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -2130,6 +2219,7 @@ pub struct OptionalMemberExpression {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for OptionalMemberExpression {}\n impl Serialize for OptionalMemberExpression {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -2158,6 +2248,7 @@ pub struct OptionalCallExpression {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for OptionalCallExpression {}\n impl Serialize for OptionalCallExpression {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -2181,6 +2272,7 @@ pub struct ImportExpression {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ImportExpression {}\n impl Serialize for ImportExpression {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -2208,6 +2300,7 @@ pub struct ClassProperty {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ClassProperty {}\n impl Serialize for ClassProperty {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -2236,6 +2329,7 @@ pub struct ClassPrivateProperty {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for ClassPrivateProperty {}\n impl Serialize for ClassPrivateProperty {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -2259,6 +2353,7 @@ pub struct PrivateName {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for PrivateName {}\n impl Serialize for PrivateName {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -2280,6 +2375,7 @@ pub struct PrivateIdentifier {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for PrivateIdentifier {}\n impl Serialize for PrivateIdentifier {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -2301,6 +2397,7 @@ pub struct StaticBlock {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for StaticBlock {}\n impl Serialize for StaticBlock {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -2323,6 +2420,7 @@ pub struct CoverTypedIdentifier {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for CoverTypedIdentifier {}\n impl Serialize for CoverTypedIdentifier {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -2344,6 +2442,7 @@ pub struct TSTypeAnnotation {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for TSTypeAnnotation {}\n impl Serialize for TSTypeAnnotation {\n fn serialize(&self, serializer: S) -> Result\n where\n@@ -2363,6 +2462,7 @@ pub struct TSTypeAliasDeclaration {\n #[serde(default)]\n pub range: Option,\n }\n+impl ESTreeNode for TSTypeAliasDeclaration {}\n impl Serialize for TSTypeAliasDeclaration {\n fn serialize(&self, serializer: S) -> Result\n where\ndiff --git a\/compiler\/forget\/crates\/forget_estree\/src\/generated_extensions.rs b\/compiler\/forget\/crates\/forget_estree\/src\/generated_extensions.rs\nindex 00729a6d50..c593db989b 100644\n--- a\/compiler\/forget\/crates\/forget_estree\/src\/generated_extensions.rs\n+++ b\/compiler\/forget\/crates\/forget_estree\/src\/generated_extensions.rs\n@@ -1,6 +1,9 @@\n \/\/ Manual extensions to generated types\n use crate::{Pattern, SourceRange, SourceType};\n \n+\/\/\/ Sentinel trait to distinguish AST *node* types\n+pub trait ESTreeNode {}\n+\n impl Default for SourceType {\n fn default() -> Self {\n Self::Script\ndiff --git a\/compiler\/forget\/crates\/forget_estree\/src\/lib.rs b\/compiler\/forget\/crates\/forget_estree\/src\/lib.rs\nindex 31c1bb02b3..e02ddcf9f3 100644\n--- a\/compiler\/forget\/crates\/forget_estree\/src\/lib.rs\n+++ b\/compiler\/forget\/crates\/forget_estree\/src\/lib.rs\n@@ -7,6 +7,7 @@ mod visit;\n \n pub use binding::{Binding, BindingId};\n pub use generated::*;\n+pub use generated_extensions::ESTreeNode;\n pub use js_value::{JsValue, Number};\n pub use range::SourceRange;\n pub use visit::*;\ndiff --git a\/compiler\/forget\/crates\/forget_estree_codegen\/src\/codegen.rs b\/compiler\/forget\/crates\/forget_estree_codegen\/src\/codegen.rs\nindex 31886d704b..2d72246c8b 100644\n--- a\/compiler\/forget\/crates\/forget_estree_codegen\/src\/codegen.rs\n+++ b\/compiler\/forget\/crates\/forget_estree_codegen\/src\/codegen.rs\n@@ -74,7 +74,7 @@ impl Grammar {\n use std::num::NonZeroU32;\n use serde::ser::{Serializer, SerializeMap};\n use serde::{Serialize,Deserialize};\n- use crate::{JsValue, Binding, SourceRange, Number};\n+ use crate::{JsValue, Binding, SourceRange, Number, ESTreeNode};\n \n #(#objects)*\n \n@@ -221,6 +221,8 @@ impl Node {\n pub range: Option,\n }\n \n+ impl ESTreeNode for #name {}\n+\n impl Serialize for #name {\n fn serialize(&self, serializer: S) -> Result\n where\ndiff --git a\/compiler\/forget\/crates\/forget_semantic_analysis\/Cargo.toml b\/compiler\/forget\/crates\/forget_semantic_analysis\/Cargo.toml\nnew file mode 100644\nindex 0000000000..726b9a18e3\n--- \/dev\/null\n+++ b\/compiler\/forget\/crates\/forget_semantic_analysis\/Cargo.toml\n@@ -0,0 +1,16 @@\n+[package]\n+name = \"forget_semantic_analysis\"\n+version = \"0.1.0\"\n+authors.workspace = true\n+description.workspace = true\n+edition.workspace = true\n+homepage.workspace = true\n+keywords.workspace = true\n+license.workspace = true\n+repository.workspace = true\n+\n+# See more keys and their definitions at https:\/\/doc.rust-lang.org\/cargo\/reference\/manifest.html\n+\n+[dependencies]\n+forget_estree = { workspace = true }\n+forget_utils = { workspace = true }\n\\ No newline at end of file\ndiff --git a\/compiler\/forget\/crates\/forget_semantic_analysis\/README.md b\/compiler\/forget\/crates\/forget_semantic_analysis\/README.md\nnew file mode 100644\nindex 0000000000..2e70360968\n--- \/dev\/null\n+++ b\/compiler\/forget\/crates\/forget_semantic_analysis\/README.md\n@@ -0,0 +1,6 @@\n+# forget_semantic_analysis\n+\n+Implements semantic analysis of JavaScript name resolution and scope information over the `forget_estree` AST. Eventually this\n+analysis will be extended to cover Flow and TypeScript in addition to the core JS and JSX language.\n+\n+NOTE: this analsyis *assumes strict mode* and does not support legacy non-strict semantics.\n\\ No newline at end of file\ndiff --git a\/compiler\/forget\/crates\/forget_semantic_analysis\/src\/lib.rs b\/compiler\/forget\/crates\/forget_semantic_analysis\/src\/lib.rs\nnew file mode 100644\nindex 0000000000..a1453b5fb5\n--- \/dev\/null\n+++ b\/compiler\/forget\/crates\/forget_semantic_analysis\/src\/lib.rs\n@@ -0,0 +1,52 @@\n+use std::collections::HashMap;\n+\n+use forget_estree::{ESTreeNode, Identifier, Program};\n+use forget_utils::PointerAddress;\n+\n+pub fn analyze<'ast>(ast: &'ast Program) -> SemanticAnalysis {\n+ todo!(\"Actually analyze code\")\n+}\n+\n+#[derive(Default, Debug)]\n+pub struct SemanticAnalysis {\n+ scopes: HashMap,\n+ references: HashMap,\n+}\n+\n+impl SemanticAnalysis {\n+ pub(crate) fn new() -> Self {\n+ Default::default()\n+ }\n+\n+ fn scope(&self, node: &T) -> Option<&Scope> {\n+ self.scopes.get(&node.into())\n+ }\n+\n+ fn reference(&self, identifier: &Identifier) -> Option<&Reference> {\n+ self.references.get(&identifier.into())\n+ }\n+}\n+\n+#[derive(Debug)]\n+pub struct Scope {}\n+\n+#[derive(Debug)]\n+pub struct Reference {}\n+\n+#[derive(Debug, Hash, PartialEq, Eq, Clone, Copy)]\n+struct AstNode(PointerAddress);\n+\n+impl AstNode {\n+ fn new(node: &T) -> Self {\n+ Self(PointerAddress::new(node))\n+ }\n+}\n+\n+impl From<&T> for AstNode\n+where\n+ T: ESTreeNode,\n+{\n+ fn from(value: &T) -> Self {\n+ Self::new(value)\n+ }\n+}\ndiff --git a\/compiler\/forget\/crates\/forget_utils\/src\/lib.rs b\/compiler\/forget\/crates\/forget_utils\/src\/lib.rs\nindex a410ea2f58..5f239aab26 100644\n--- a\/compiler\/forget\/crates\/forget_utils\/src\/lib.rs\n+++ b\/compiler\/forget\/crates\/forget_utils\/src\/lib.rs\n@@ -1,3 +1,5 @@\n mod ensure_sufficient_stack;\n+mod pointer_address;\n \n pub use ensure_sufficient_stack::*;\n+pub use pointer_address::PointerAddress;\ndiff --git a\/compiler\/forget\/crates\/forget_utils\/src\/pointer_address.rs b\/compiler\/forget\/crates\/forget_utils\/src\/pointer_address.rs\nnew file mode 100644\nindex 0000000000..4c0d5bc9cf\n--- \/dev\/null\n+++ b\/compiler\/forget\/crates\/forget_utils\/src\/pointer_address.rs\n@@ -0,0 +1,28 @@\n+\/*\n+ * Copyright (c) Meta Platforms, Inc. and affiliates.\n+ *\n+ * This source code is licensed under the MIT license found in the\n+ * LICENSE file in the root directory of this source tree.\n+ *\/\n+\n+\/\/\/ A wrapper type that allows comparing pointer equality of references. Two\n+\/\/\/ `PointerAddress` values are equal if they point to the same memory location.\n+\/\/\/\n+\/\/\/ This type is _sound_, but misuse can easily lead to logical bugs if the memory\n+\/\/\/ of one PointerAddress could have been freed and reused for a subsequent\n+\/\/\/ PointerAddress.\n+#[derive(Hash, Eq, PartialEq, Clone, Copy)]\n+pub struct PointerAddress(usize);\n+\n+impl PointerAddress {\n+ pub fn new(ptr: &T) -> Self {\n+ let ptr_address: usize = unsafe { std::mem::transmute(ptr) };\n+ Self(ptr_address)\n+ }\n+}\n+\n+impl std::fmt::Debug for PointerAddress {\n+ fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {\n+ f.write_fmt(format_args!(\"{:#X}\", self.0))\n+ }\n+}\n","body":"","parents":["3e9e3a1c925eac761539785334412541c1cb27a0"],"commit":{"authorName":"Joe Savona","authorEmail":"joesavona@fb.com","shortRevision":"8042970ea4","subject":"[rust] Scaffolding for semantic analysis","revision":"8042970ea4e13954bfad4bc5c2df6eaa9e2ccb36","authoredAt":"2023-08-01T15:55:53-07:00"}}

dillon1000/react

Files changed