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

use crate::analysis::tests::{check_no_diagnostics, LibraryBuilder};
use crate::data::ErrorCode;
use crate::syntax::test::check_diagnostics;
use crate::Diagnostic;

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

architecture rtl of test is
  type    t_my_enum is (A1, A2, A3);
  subtype t_my_enum_range is t_my_enum range A1 to A2;
  signal  my_sig_sub : t_my_enum;
begin

  process
  begin
    case my_sig_sub is
      when t_my_enum'range => null;
      when t_my_enum_range => null;
      when t_my_enum_range'range => null;
      when A1 to A2 => null;
      when t_my_enum => null;
      when others => null;
    end case;
  end process;
end architecture;
",
    );

    let diagnostics = builder.analyze();
    check_no_diagnostics(&diagnostics);
}

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

architecture rtl of test is
  type    t_my_enum is (A1, A2, A3);
  type    t_my_other_enum is (B1, B2, B3);
  subtype t_my_other_enum_range is t_my_other_enum range B1 to B2;
  signal  my_sig_sub : t_my_enum;
begin

  process
  begin
    case my_sig_sub is
      when t_my_other_enum'range => null;
      when t_my_other_enum_range => null;
      when others => null;
    end case;
  end process;
end architecture;
",
    );

    check_diagnostics(
        builder.analyze(),
        vec![
            Diagnostic::new(
                code.s1("t_my_other_enum'range"),
                "type 't_my_other_enum' does not match type 't_my_enum'",
                ErrorCode::TypeMismatch,
            ),
            Diagnostic::new(
                code.s("t_my_other_enum_range", 2),
                "subtype 't_my_other_enum_range' does not match type 't_my_enum'",
                ErrorCode::TypeMismatch,
            ),
        ],
    );
}