-
-
Notifications
You must be signed in to change notification settings - Fork 22
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add post_pass1 stage for import handling
- Loading branch information
Showing
16 changed files
with
325 additions
and
91 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,165 @@ | ||
| use crate::analyzer_error::AnalyzerError; | ||
| use crate::namespace::Namespace; | ||
| use crate::namespace_table; | ||
| use crate::symbol::SymbolKind; | ||
| use crate::symbol_table::{self, ResolveError, ResolveErrorCause}; | ||
| use veryl_parser::resource_table::TokenId; | ||
| use veryl_parser::veryl_grammar_trait::*; | ||
| use veryl_parser::veryl_token::TokenRange; | ||
| use veryl_parser::veryl_walker::{Handler, HandlerPoint}; | ||
| use veryl_parser::ParolError; | ||
|
|
||
| #[derive(Default)] | ||
| pub struct CreateImport<'a> { | ||
| pub errors: Vec<AnalyzerError>, | ||
| text: &'a str, | ||
| point: HandlerPoint, | ||
| top_level: bool, | ||
| file_scope_imported_items: Vec<TokenId>, | ||
| file_scope_imported_packages: Vec<Namespace>, | ||
| } | ||
|
|
||
| impl<'a> CreateImport<'a> { | ||
| pub fn new(text: &'a str) -> Self { | ||
| Self { | ||
| text, | ||
| top_level: true, | ||
| ..Default::default() | ||
| } | ||
| } | ||
|
|
||
| fn push_resolve_error(&mut self, err: ResolveError, token: &TokenRange) { | ||
| if let Some(last_found) = err.last_found { | ||
| let name = last_found.token.to_string(); | ||
| match err.cause { | ||
| ResolveErrorCause::NotFound(not_found) => { | ||
| let member = format!("{}", not_found); | ||
| self.errors.push(AnalyzerError::unknown_member( | ||
| &name, &member, self.text, token, | ||
| )); | ||
| } | ||
| ResolveErrorCause::Private => { | ||
| self.errors | ||
| .push(AnalyzerError::private_member(&name, self.text, token)); | ||
| } | ||
| } | ||
| } else if let ResolveErrorCause::NotFound(not_found) = err.cause { | ||
| let name = format!("{}", not_found); | ||
| self.errors | ||
| .push(AnalyzerError::undefined_identifier(&name, self.text, token)); | ||
| } else { | ||
| unreachable!(); | ||
| } | ||
| } | ||
| } | ||
|
|
||
| impl<'a> Handler for CreateImport<'a> { | ||
| fn set_point(&mut self, p: HandlerPoint) { | ||
| self.point = p; | ||
| } | ||
| } | ||
|
|
||
| impl<'a> VerylGrammarTrait for CreateImport<'a> { | ||
| fn module_declaration(&mut self, arg: &ModuleDeclaration) -> Result<(), ParolError> { | ||
| match self.point { | ||
| HandlerPoint::Before => { | ||
| self.top_level = false; | ||
| let mut namespace = Namespace::default(); | ||
| namespace.push(arg.identifier.identifier_token.token.text); | ||
| for x in &self.file_scope_imported_items { | ||
| symbol_table::add_imported_item(*x, &namespace); | ||
| } | ||
| for x in &self.file_scope_imported_packages { | ||
| symbol_table::add_imported_package(x, &namespace); | ||
| } | ||
| } | ||
| HandlerPoint::After => { | ||
| self.top_level = true; | ||
| } | ||
| } | ||
| Ok(()) | ||
| } | ||
|
|
||
| fn interface_declaration(&mut self, arg: &InterfaceDeclaration) -> Result<(), ParolError> { | ||
| match self.point { | ||
| HandlerPoint::Before => { | ||
| self.top_level = false; | ||
| let mut namespace = Namespace::default(); | ||
| namespace.push(arg.identifier.identifier_token.token.text); | ||
| for x in &self.file_scope_imported_items { | ||
| symbol_table::add_imported_item(*x, &namespace); | ||
| } | ||
| for x in &self.file_scope_imported_packages { | ||
| symbol_table::add_imported_package(x, &namespace); | ||
| } | ||
| } | ||
| HandlerPoint::After => { | ||
| self.top_level = true; | ||
| } | ||
| } | ||
| Ok(()) | ||
| } | ||
|
|
||
| fn package_declaration(&mut self, arg: &PackageDeclaration) -> Result<(), ParolError> { | ||
| match self.point { | ||
| HandlerPoint::Before => { | ||
| self.top_level = false; | ||
| let mut namespace = Namespace::default(); | ||
| namespace.push(arg.identifier.identifier_token.token.text); | ||
| for x in &self.file_scope_imported_items { | ||
| symbol_table::add_imported_item(*x, &namespace); | ||
| } | ||
| for x in &self.file_scope_imported_packages { | ||
| symbol_table::add_imported_package(x, &namespace); | ||
| } | ||
| } | ||
| HandlerPoint::After => { | ||
| self.top_level = true; | ||
| } | ||
| } | ||
| Ok(()) | ||
| } | ||
|
|
||
| fn import_declaration(&mut self, arg: &ImportDeclaration) -> Result<(), ParolError> { | ||
| if let HandlerPoint::Before = self.point { | ||
| let is_wildcard = arg.import_declaration_opt.is_some(); | ||
| let id = arg.scoped_identifier.identifier().token.id; | ||
| let namespace = namespace_table::get(id).unwrap(); | ||
| match symbol_table::resolve(arg.scoped_identifier.as_ref()) { | ||
| Ok(symbol) => { | ||
| let symbol = symbol.found; | ||
| match symbol.kind { | ||
| SymbolKind::Package(_) if is_wildcard => { | ||
| let mut target = symbol.namespace.clone(); | ||
| target.push(symbol.token.text); | ||
|
|
||
| if self.top_level { | ||
| self.file_scope_imported_packages.push(target); | ||
| } else { | ||
| symbol_table::add_imported_package(&target, &namespace); | ||
| } | ||
| } | ||
| SymbolKind::SystemVerilog => (), | ||
| _ if is_wildcard => { | ||
| self.errors.push(AnalyzerError::invalid_import( | ||
| self.text, | ||
| &arg.scoped_identifier.as_ref().into(), | ||
| )); | ||
| } | ||
| _ => { | ||
| if self.top_level { | ||
| self.file_scope_imported_items.push(symbol.token.id); | ||
| } else { | ||
| symbol_table::add_imported_item(symbol.token.id, &namespace); | ||
| } | ||
| } | ||
| } | ||
| } | ||
| Err(err) => { | ||
| self.push_resolve_error(err, &arg.scoped_identifier.as_ref().into()); | ||
| } | ||
| } | ||
| } | ||
| Ok(()) | ||
| } | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.