Symbols

Cargo.toml

@@ -7,5 +7,4 @@ edition = "2018"
 [dependencies]
 parser = { path = "./src/parser" }
 errors = { path = "./src/errors" }
-file_host = { path = "./src/file_host" }
 semantic_analyzer = { path = "./src/semantic_analyzer" }

src/semantic_analyzer/src/file_host.rs

@@ -0,0 +1,11 @@
+
+pub struct Module {
+
+}
+
+pub trait FileHost {
+    fn get(&mut self, path: String) -> String;
+    fn exists(&mut self, path: String) -> bool;
+    fn create(&mut self, path: String, content: String);
+    fn get_mod(&self, path: String) -> Module;
+}

src/semantic_analyzer/src/lib.rs

@@ -0,0 +1,4 @@
+
+pub use parser;
+pub mod symbol;
+pub mod file_host;

src/semantic_analyzer/src/symbol.rs

@@ -0,0 +1,44 @@
+
+pub use parser::ast::model::*;
+
+pub enum SymbolDeclaration {
+   Expression(ASTExpression),
+   Statement(ASTStatement),
+   Typing(ASTTypings)
+}
+
+pub enum SymbolKind {
+    Struct{
+        properties: Vec<(String, Symbol)>,
+        impls: Vec<Symbol>
+    },
+    Enum{
+        members: Vec<(String, Symbol)>,
+        impls: Vec<Symbol>
+    },
+    Fn{
+        parameters: Vec<(String, Symbol)>,
+        return_type: Symbol
+    },
+    Module{
+        elements: Vec<Symbol>
+    }
+}
+
+pub struct Symbol {
+    pub name: String,
+    pub id: u32,
+    pub kind: Box<SymbolKind>,
+    pub type_params: Vec<Symbol>,
+    pub declaration: Option<SymbolDeclaration>
+}
+
+pub struct SymbolInstance {
+    pub id: u32,
+    pub type_params: Vec<Symbol>
+}
+
+pub struct SymbolAlias {
+    pub name: String,
+    pub id: u32
+}