vhdl_lang 0.42.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

//! 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 super::*;

#[test]
fn must_be_object_name() {
    let mut builder = LibraryBuilder::new();
    let code = builder.code(
        "libname",
        "
package pkg is
end package;

package body pkg is
  procedure proc(signal good : in bit) is
  begin
    wait on good;
    wait on proc;
  end;
end package body;

        ",
    );
    let (_, diagnostics) = builder.get_analyzed_root();
    check_diagnostics(
        diagnostics,
        vec![Diagnostic::error(
            code.s1("wait on proc").s1("proc"),
            "proc[BIT] is not a signal and cannot be in a sensitivity list",
        )],
    )
}

#[test]
fn must_be_signal_name() {
    let mut builder = LibraryBuilder::new();
    let code = builder.code(
        "libname",
        "
package pkg is
end package;

package body pkg is
  constant c0 : bit := '0';
  procedure proc(signal good : in bit) is
  begin
    wait on good;
    wait on c0;
  end;
end package body;

        ",
    );
    let (_, diagnostics) = builder.get_analyzed_root();
    check_diagnostics(
        diagnostics,
        vec![Diagnostic::error(
            code.s1("wait on c0").s1("c0"),
            "constant 'c0' is not a signal and cannot be in a sensitivity list",
        )],
    )
}

#[test]
fn must_not_be_output() {
    let mut builder = LibraryBuilder::new();
    let code = builder.code(
        "libname",
        "
package pkg is
end package;

package body pkg is
  procedure proc(signal bad : out bit) is
  begin
    wait on bad;
  end;
end package body;

        ",
    );
    let (_, diagnostics) = builder.get_analyzed_root();
    check_diagnostics(
        diagnostics,
        vec![Diagnostic::error(
            code.s1("wait on bad").s1("bad"),
            "interface signal 'bad' of mode out cannot be in a sensitivity list",
        )],
    )
}