Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / vhdl_json / vhdl_files / 2-exportOK / ghdl / ghdl / testsuite / vests / vhdl-93 / ashenden / compliant / ch_17_fg_17_09.json @ 3fd18385

History | View | Annotate | Download (4.32 KB)

1
{
2
  "DESIGN_FILE" : {
3
    "design_units" : [{
4
      "contexts" : [], "library" : ["ENTITY_DECLARATION", {
5
        "name" : ["IDENTIFIER", "fg_17_09"], "ENTITY_DECLARATIVE_PART" : [], "ENTITY_STATEMENT_PART" : []}
6
      ]}
7
    , {
8
      "contexts" : [], "library" : ["ARCHITECTURE_BODY", {
9
        "name" : ["IDENTIFIER", "test"], "entity" : ["IDENTIFIER", "fg_17_09"], "ARCHITECTURE_DECLARATIVE_PART" : [], "ARCHITECTURE_STATEMENT_PART" : [["PROCESS_STATEMENT", {
10
          "id" : ["IDENTIFIER", "receiver"], "PROCESS_DECLARATIVE_PART" : [{
11
            "use_clause" : ["USE_CLAUSE", [["SELECTED_NAME", [["SIMPLE_NAME", "work"], ["SIMPLE_NAME", "bounded_buffer_adt"]]]]]}
12
          , {
13
            "declaration" : ["VARIABLE_DECLARATION", {
14
              "names" : [["IDENTIFIER", "receive_buffer"]], "typ" : {
15
                "name" : ["SIMPLE_NAME", "bounded_buffer"]}
16
              , "init_val" : ["EXPRESSION", {
17
                "args" : [["EXPRESSION", {
18
                  "args" : [["EXPRESSION", {
19
                    "args" : [["EXPRESSION", {
20
                      "args" : [["CALL", ["INDEXED_NAME", {
21
                        "id" : ["SIMPLE_NAME", "new_bounded_buffer"], "exprs" : [["EXPRESSION", {
22
                          "args" : [["EXPRESSION", {
23
                            "args" : [["EXPRESSION", {
24
                              "args" : [["EXPRESSION", {
25
                                "args" : [["CONSTANT_VALUE", {
26
                                  "value" : ["CST_LITERAL", "2048"]}
27
                                ]]}
28
                              ]]}
29
                            ]]}
30
                          ]]}
31
                        ]]}
32
                      ]]]}
33
                    ]]}
34
                  ]]}
35
                ]]}
36
              ]}
37
            ]}
38
          , {
39
            "declaration" : ["VARIABLE_DECLARATION", {
40
              "names" : [["IDENTIFIER", "buffer_overrun"], ["IDENTIFIER", "buffer_underrun"]], "typ" : {
41
                "name" : ["SIMPLE_NAME", "boolean"]}
42
              }
43
            ]}
44
          , {
45
            "declaration" : ["VARIABLE_DECLARATION", {
46
              "names" : [["IDENTIFIER", "received_byte"], ["IDENTIFIER", "check_byte"]], "typ" : {
47
                "name" : ["SIMPLE_NAME", "byte"]}
48
              }
49
            ]}
50
          ], "PROCESS_STATEMENT_PART" : [["PROCEDURE_CALL_STATEMENT", {
51
            "name" : ["IDENTIFIER", "test_full"], "assocs" : [{
52
              "actual_designator" : ["SIMPLE_NAME", "receive_buffer"]}
53
            , {
54
              "actual_designator" : ["SIMPLE_NAME", "buffer_overrun"]}
55
            ]}
56
          ], ["IF_STATEMENT", {
57
            "if_cases" : [{
58
              "if_cond" : ["EXPRESSION", {
59
                "args" : [["EXPRESSION", {
60
                  "args" : [["EXPRESSION", {
61
                    "args" : [["EXPRESSION", {
62
                      "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "buffer_overrun"]]]}
63
                    ]]}
64
                  ]]}
65
                ]]}
66
              ], "if_block" : [["PROCEDURE_CALL_STATEMENT", {
67
                "name" : ["IDENTIFIER", "write"], "assocs" : [{
68
                  "actual_designator" : ["SIMPLE_NAME", "receive_buffer"]}
69
                , {
70
                  "actual_designator" : ["SIMPLE_NAME", "received_byte"]}
71
                ]}
72
              ]]}
73
            ]}
74
          ], ["PROCEDURE_CALL_STATEMENT", {
75
            "name" : ["IDENTIFIER", "test_empty"], "assocs" : [{
76
              "actual_designator" : ["SIMPLE_NAME", "receive_buffer"]}
77
            , {
78
              "actual_designator" : ["SIMPLE_NAME", "buffer_underrun"]}
79
            ]}
80
          ], ["IF_STATEMENT", {
81
            "if_cases" : [{
82
              "if_cond" : ["EXPRESSION", {
83
                "args" : [["EXPRESSION", {
84
                  "args" : [["EXPRESSION", {
85
                    "args" : [["EXPRESSION", {
86
                      "id" : "not", "args" : [["CALL", ["SIMPLE_NAME", "buffer_underrun"]]]}
87
                    ]]}
88
                  ]]}
89
                ]]}
90
              ], "if_block" : [["PROCEDURE_CALL_STATEMENT", {
91
                "name" : ["IDENTIFIER", "read"], "assocs" : [{
92
                  "actual_designator" : ["SIMPLE_NAME", "receive_buffer"]}
93
                , {
94
                  "actual_designator" : ["SIMPLE_NAME", "check_byte"]}
95
                ]}
96
              ]]}
97
            ]}
98
          ]]}
99
        ]]}
100
      ]}
101
    ]}
102
  }