1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39
use crate::linter::{Rule, RuleResult}; use sv_parser::{NodeEvent, RefNode, SyntaxTree}; #[derive(Default)] pub struct GenvarDeclarationOutLoop; impl Rule for GenvarDeclarationOutLoop { fn check(&mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent) -> RuleResult { let node = match event { NodeEvent::Enter(x) => x, NodeEvent::Leave(_) => { return RuleResult::Pass; } }; match node { RefNode::GenvarInitialization(x) => { let (ref a, _, _, _) = x.nodes; if a.is_some() { RuleResult::Fail } else { RuleResult::Pass } } _ => RuleResult::Pass, } } fn name(&self) -> String { String::from("genvar_declaration_out_loop") } fn hint(&self) -> String { String::from("`genvar` must be declared out loop") } fn reason(&self) -> String { String::from("some tools don't support `genvar` declaration in loop") } }