vhdl_lang 0.86.0

VHDL Language Frontend
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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102

// This Source Code Form is subject to the terms of the Mozilla Public
// License, v. 2.0. If a copy of the MPL was not distributed with this file,
// You can obtain one at http://mozilla.org/MPL/2.0/.
//
// Copyright (c) 2023, Olof Kraigher olof.kraigher@gmail.com
use crate::analysis::tests::{check_diagnostics, LibraryBuilder};
use crate::data::error_codes::ErrorCode;
use crate::Diagnostic;

#[test]
pub fn declaration_not_allowed_everywhere() {
    let mut builder = LibraryBuilder::new();
    let code = builder.code(
        "libname",
        "\
entity ent is
end entity;

architecture arch of ent is

function my_func return natural is
    signal x : bit;
begin

end my_func;
begin

    my_block : block
        variable y: natural;
    begin
    end block my_block;

end architecture;
    ",
    );
    check_diagnostics(
        builder.analyze(),
        vec![
            Diagnostic::new(
                code.s1("signal x : bit;"),
                "signal declaration not allowed here",
                ErrorCode::DeclarationNotAllowed,
            ),
            Diagnostic::new(
                code.s1("variable y: natural;"),
                "variable declaration not allowed here",
                ErrorCode::DeclarationNotAllowed,
            ),
        ],
    )
}

// Issue #242
#[test]
pub fn attribute_with_wrong_type() {
    let mut builder = LibraryBuilder::new();
    let code = builder.code(
        "libname",
        "\
entity test is
    attribute some_attr : string;
    attribute some_attr of test : signal is \"some value\";
end entity test;
    ",
    );
    let (_, diag) = builder.get_analyzed_root();
    check_diagnostics(
        diag,
        vec![Diagnostic::new(
            code.s1("test : signal").s1("test"),
            "entity 'test' is not of class signal",
            ErrorCode::MismatchedEntityClass,
        )],
    )
}

#[test]
pub fn attribute_sees_through_aliases() {
    let mut builder = LibraryBuilder::new();
    let code = builder.code(
        "libname",
        "\
entity test is
    port (
        clk: in bit
    );
    alias aliased_clk is clk;
    attribute some_attr : string;
    attribute some_attr of aliased_clk : entity is \"some value\";
end entity test;
    ",
    );
    let (_, diag) = builder.get_analyzed_root();
    check_diagnostics(
        diag,
        vec![Diagnostic::new(
            code.s1("aliased_clk : entity").s1("aliased_clk"),
            "port 'clk' : in is not of class entity",
            ErrorCode::MismatchedEntityClass,
        )],
    )
}