[−][src]Trait svlint::linter::Rule

pub trait Rule: Sync + Send {
    fn check(
        &mut self, 
        syntax_tree: &SyntaxTree, 
        event: &NodeEvent<'_>
    ) -> RuleResult;
    fn name(&self) -> String;
    fn hint(&self) -> String;
    fn reason(&self) -> String;
}

Required methods

`fn check( &mut self, syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

Loading content...

Implementors

`impl Rule for CaseDefault`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for EnumWithType`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for ForWithBegin`[src]

`fn check( &mut self, syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for FunctionSameAsSystemFunction`[src]

`fn check( &mut self, syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for FunctionWithAutomatic`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for GenerateForWithLabel`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for GenerateIfWithLabel`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for GenerateKeywordForbidden`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for GenerateKeywordRequired`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for GenvarDeclarationInLoop`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for GenvarDeclarationOutLoop`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for IfWithBegin`[src]

`fn check( &mut self, syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for InoutWithTri`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for InputWithVar`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for InterfacePortWithModport`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for LegacyAlways`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for LevelSensitiveAlways`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for LoopVariableDeclaration`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for NonAnsiModule`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for OutputWithVar`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for ParameterInPackage`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for PriorityKeyword`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for TabCharacter`[src]

`fn check( &mut self, syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for Unique0Keyword`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for UniqueKeyword`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for WireReg`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

Loading content...

[−][src]Trait svlint::linter::Rule

Required methods

fn check( &mut self, syntax_tree: &SyntaxTree, event: &NodeEvent<'_>) -> RuleResult[src]

fn name(&self) -> String[src]

fn hint(&self) -> String[src]

fn reason(&self) -> String[src]

Implementors

impl Rule for CaseDefault[src]

fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_>) -> RuleResult[src]

fn name(&self) -> String[src]

fn hint(&self) -> String[src]

fn reason(&self) -> String[src]

impl Rule for EnumWithType[src]

fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_>) -> RuleResult[src]

fn name(&self) -> String[src]

fn hint(&self) -> String[src]

fn reason(&self) -> String[src]

impl Rule for ForWithBegin[src]

fn check( &mut self, syntax_tree: &SyntaxTree, event: &NodeEvent<'_>) -> RuleResult[src]

fn name(&self) -> String[src]

fn hint(&self) -> String[src]

fn reason(&self) -> String[src]

impl Rule for FunctionSameAsSystemFunction[src]

fn check( &mut self, syntax_tree: &SyntaxTree, event: &NodeEvent<'_>) -> RuleResult[src]

fn name(&self) -> String[src]

fn hint(&self) -> String[src]

fn reason(&self) -> String[src]

impl Rule for FunctionWithAutomatic[src]

fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_>) -> RuleResult[src]

fn name(&self) -> String[src]

fn hint(&self) -> String[src]

fn reason(&self) -> String[src]

impl Rule for GenerateForWithLabel[src]

fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_>) -> RuleResult[src]

fn name(&self) -> String[src]

fn hint(&self) -> String[src]

fn reason(&self) -> String[src]

impl Rule for GenerateIfWithLabel[src]

fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_>) -> RuleResult[src]

fn name(&self) -> String[src]

fn hint(&self) -> String[src]

fn reason(&self) -> String[src]

impl Rule for GenerateKeywordForbidden[src]

fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_>) -> RuleResult[src]

fn name(&self) -> String[src]

fn hint(&self) -> String[src]

fn reason(&self) -> String[src]

impl Rule for GenerateKeywordRequired[src]

fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_>) -> RuleResult[src]

fn name(&self) -> String[src]

fn hint(&self) -> String[src]

fn reason(&self) -> String[src]

impl Rule for GenvarDeclarationInLoop[src]

fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_>) -> RuleResult[src]

fn name(&self) -> String[src]

fn hint(&self) -> String[src]

fn reason(&self) -> String[src]

impl Rule for GenvarDeclarationOutLoop[src]

fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_>) -> RuleResult[src]

fn name(&self) -> String[src]

fn hint(&self) -> String[src]

fn reason(&self) -> String[src]

impl Rule for IfWithBegin[src]

fn check( &mut self, syntax_tree: &SyntaxTree, event: &NodeEvent<'_>) -> RuleResult[src]

fn name(&self) -> String[src]

fn hint(&self) -> String[src]

fn reason(&self) -> String[src]

impl Rule for InoutWithTri[src]

fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_>) -> RuleResult[src]

fn name(&self) -> String[src]

fn hint(&self) -> String[src]

fn reason(&self) -> String[src]

impl Rule for InputWithVar[src]

fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_>) -> RuleResult[src]

fn name(&self) -> String[src]

fn hint(&self) -> String[src]

fn reason(&self) -> String[src]

impl Rule for InterfacePortWithModport[src]

fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_>) -> RuleResult[src]

fn name(&self) -> String[src]

`fn check( &mut self, syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for CaseDefault`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for EnumWithType`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for ForWithBegin`[src]

`fn check( &mut self, syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for FunctionSameAsSystemFunction`[src]

`fn check( &mut self, syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for FunctionWithAutomatic`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for GenerateForWithLabel`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for GenerateIfWithLabel`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for GenerateKeywordForbidden`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for GenerateKeywordRequired`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for GenvarDeclarationInLoop`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for GenvarDeclarationOutLoop`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for IfWithBegin`[src]

`fn check( &mut self, syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for InoutWithTri`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for InputWithVar`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for InterfacePortWithModport`[src]

`fn check( &mut self, _syntax_tree: &SyntaxTree, event: &NodeEvent<'_> ) -> RuleResult`[src]

`fn name(&self) -> String`[src]

`fn hint(&self) -> String`[src]

`fn reason(&self) -> String`[src]

`impl Rule for LegacyAlways`[src]