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
use crate::linter::{Rule, RuleResult}; use sv_parser::{AlwaysKeyword, NodeEvent, RefNode, SyntaxTree}; #[derive(Default)] pub struct LegacyAlways; impl Rule for LegacyAlways { 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::AlwaysKeyword(AlwaysKeyword::Always(_)) => RuleResult::Fail, _ => RuleResult::Pass, } } fn name(&self) -> String { String::from("legacy_always") } fn hint(&self) -> String { String::from("`always_comb`/`always_ff`/`always_latch` must be used") } fn reason(&self) -> String { String::from("`always` can't detect blocking/non-blocking mistake") } }