veryl-analyzer 0.20.0

A modern hardware description language
Documentation 
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

use crate::analyzer_error::{AnalyzerError, MismatchTypeKind};
use crate::conv::Context;
use crate::symbol::Symbol;
use veryl_parser::Stringifier;
use veryl_parser::veryl_grammar_trait::*;
use veryl_parser::veryl_walker::VerylWalker;

pub fn check_bind_target(
    context: &mut Context,
    identifier: &ScopedIdentifier,
    target: &Symbol,
) -> bool {
    if !(target.is_module(false) || target.is_interface(false)) {
        let mut stringifier = Stringifier::new();
        stringifier.scoped_identifier(identifier);
        let name = stringifier.as_str();

        context.insert_error(AnalyzerError::mismatch_type(
            MismatchTypeKind::SymbolKind {
                name: name.to_string(),
                expected: "module or interface".to_string(),
                actual: target.kind.to_kind_name(),
            },
            &identifier.into(),
        ));
        return false;
    }
    true
}