Commit c026bf85 authored by jhugues's avatar jhugues
Browse files

* Update reference output



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2468 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent 44c43244
......@@ -61,13 +61,13 @@ theorem set_declaration_is_connecting_to is: TRUE
set_declaration_is_passing_through execution
Content of set accessor_flows (test_real_exec_02.aadl:251:21) is
anonymous end to end flow :3448 end to end flow spec
Content of set accessor_flows (test_real_exec_02.aadl:251:21) is
anonymous end to end flow :3448 end to end flow spec
Content of set accessor_flows (test_real_exec_02.aadl:251:21) is
anonymous end to end flow :3449 end to end flow spec
Content of set accessor_flows (test_real_exec_02.aadl:251:21) is
anonymous end to end flow :3449 end to end flow spec
Content of set accessor_flows (test_real_exec_02.aadl:251:21) is
anonymous end to end flow :3450 end to end flow spec
Content of set accessor_flows (test_real_exec_02.aadl:251:21) is
anonymous end to end flow :3450 end to end flow spec
theorem set_declaration_is_passing_through is: TRUE
set_declaration_is_predecessor_of execution
......
......@@ -2604,16 +2604,16 @@ Declarations List_Id 7
Backend_Node Node_Id 0
Entity Node_Id 1369
Property_Set_Identifier Node_Id 0
Expanded_Type_Designator Node_Id 2093
2093 range type timing_properties.aadl:16:20
Number_Type Node_Id 2094
2094 integer type timing_properties.aadl:13:14
Type_Range Node_Id 2095
2095 number range timing_properties.aadl:13:26
Lower_Bound Node_Id 2096
2096 signed aadlnumber timing_properties.aadl:13:26
Number_Value Node_Id 2097
2097 literal timing_properties.aadl:13:26
Expanded_Type_Designator Node_Id 2094
2094 range type timing_properties.aadl:16:20
Number_Type Node_Id 2095
2095 integer type timing_properties.aadl:13:14
Type_Range Node_Id 2096
2096 number range timing_properties.aadl:13:26
Lower_Bound Node_Id 2097
2097 signed aadlnumber timing_properties.aadl:13:26
Number_Value Node_Id 2098
2098 literal timing_properties.aadl:13:26
Value Value_Id 43
Unit_Identifier Node_Id 1357
1357 identifier timing_properties.aadl:13:28
......@@ -2621,10 +2621,10 @@ Declarations List_Id 7
Display_Name Name_Id "ps"
Scope_Entity Node_Id 0
Backend_Node Node_Id 0
Upper_Bound Node_Id 2098
2098 signed aadlnumber aadl_project.aadl:144:30
Number_Value Node_Id 2099
2099 literal aadl_project.aadl:144:30
Upper_Bound Node_Id 2099
2099 signed aadlnumber aadl_project.aadl:144:30
Number_Value Node_Id 2100
2100 literal aadl_project.aadl:144:30
Value Value_Id 44
Unit_Identifier Node_Id 190
190 identifier aadl_project.aadl:144:35
......@@ -2891,8 +2891,8 @@ Declarations List_Id 7
Default_Value Node_Id 627
627 property value deployment_properties.aadl:238:03
Value_Container Node_Id 266
Single_Value Node_Id 2084
2084 enumeration term deployment_properties.aadl:241:03
Single_Value Node_Id 2085
2085 enumeration term deployment_properties.aadl:241:03
Identifier Node_Id 619
619 identifier deployment_properties.aadl:241:06
Corresponding_Entity Node_Id 0
......@@ -2902,8 +2902,8 @@ Declarations List_Id 7
Entity Node_Id 0
Property_Set_Identifier Node_Id 0
Multi_Value List_Id 0
Expanded_Single_Value Node_Id 2100
2100 enumeration term deployment_properties.aadl:241:03
Expanded_Single_Value Node_Id 2101
2101 enumeration term deployment_properties.aadl:241:03
Identifier Node_Id 619
619 identifier deployment_properties.aadl:241:06
Corresponding_Entity Node_Id 0
......@@ -3029,10 +3029,10 @@ Declarations List_Id 7
649 integer type deployment_properties.aadl:254:28
Type_Range Node_Id 0
Unit_Designator Node_Id 0
Expanded_Type_Designator Node_Id 2101
2101 range type deployment_properties.aadl:254:19
Number_Type Node_Id 2102
2102 integer type deployment_properties.aadl:254:28
Expanded_Type_Designator Node_Id 2102
2102 range type deployment_properties.aadl:254:19
Number_Type Node_Id 2103
2103 integer type deployment_properties.aadl:254:28
Type_Range Node_Id 0
Unit_Designator Node_Id 0
Default_Value Node_Id 0
......@@ -3145,8 +3145,8 @@ Declarations List_Id 7
Default_Value Node_Id 685
685 property value thread_properties.aadl:17:03
Value_Container Node_Id 657
Single_Value Node_Id 2085
2085 enumeration term thread_properties.aadl:19:03
Single_Value Node_Id 2086
2086 enumeration term thread_properties.aadl:19:03
Identifier Node_Id 674
674 identifier thread_properties.aadl:19:06
Corresponding_Entity Node_Id 0
......@@ -3156,8 +3156,8 @@ Declarations List_Id 7
Entity Node_Id 0
Property_Set_Identifier Node_Id 0
Multi_Value List_Id 0
Expanded_Single_Value Node_Id 2103
2103 enumeration term thread_properties.aadl:19:03
Expanded_Single_Value Node_Id 2104
2104 enumeration term thread_properties.aadl:19:03
Identifier Node_Id 674
674 identifier thread_properties.aadl:19:06
Corresponding_Entity Node_Id 0
......@@ -3234,8 +3234,8 @@ Declarations List_Id 7
Default_Value Node_Id 702
702 property value thread_properties.aadl:26:03
Value_Container Node_Id 657
Single_Value Node_Id 2086
2086 enumeration term thread_properties.aadl:28:03
Single_Value Node_Id 2087
2087 enumeration term thread_properties.aadl:28:03
Identifier Node_Id 691
691 identifier thread_properties.aadl:28:06
Corresponding_Entity Node_Id 0
......@@ -3245,8 +3245,8 @@ Declarations List_Id 7
Entity Node_Id 0
Property_Set_Identifier Node_Id 0
Multi_Value List_Id 0
Expanded_Single_Value Node_Id 2104
2104 enumeration term thread_properties.aadl:28:03
Expanded_Single_Value Node_Id 2105
2105 enumeration term thread_properties.aadl:28:03
Identifier Node_Id 691
691 identifier thread_properties.aadl:28:06
Corresponding_Entity Node_Id 0
......@@ -3367,8 +3367,8 @@ Declarations List_Id 7
713 integer type thread_properties.aadl:40:16
Type_Range Node_Id 0
Unit_Designator Node_Id 0
Expanded_Type_Designator Node_Id 2105
2105 integer type thread_properties.aadl:40:16
Expanded_Type_Designator Node_Id 2106
2106 integer type thread_properties.aadl:40:16
Type_Range Node_Id 0
Unit_Designator Node_Id 0
Default_Value Node_Id 0
......@@ -3439,8 +3439,8 @@ Declarations List_Id 7
Default_Value Node_Id 736
736 property value thread_properties.aadl:44:03
Value_Container Node_Id 657
Single_Value Node_Id 2087
2087 enumeration term thread_properties.aadl:47:03
Single_Value Node_Id 2088
2088 enumeration term thread_properties.aadl:47:03
Identifier Node_Id 727
727 identifier thread_properties.aadl:47:06
Corresponding_Entity Node_Id 0
......@@ -3450,8 +3450,8 @@ Declarations List_Id 7
Entity Node_Id 0
Property_Set_Identifier Node_Id 0
Multi_Value List_Id 0
Expanded_Single_Value Node_Id 2106
2106 enumeration term thread_properties.aadl:47:03
Expanded_Single_Value Node_Id 2107
2107 enumeration term thread_properties.aadl:47:03
Identifier Node_Id 727
727 identifier thread_properties.aadl:47:06
Corresponding_Entity Node_Id 0
......@@ -3491,8 +3491,8 @@ Declarations List_Id 7
738 integer type thread_properties.aadl:51:19
Type_Range Node_Id 0
Unit_Designator Node_Id 0
Expanded_Type_Designator Node_Id 2107
2107 integer type thread_properties.aadl:51:19
Expanded_Type_Designator Node_Id 2108
2108 integer type thread_properties.aadl:51:19
Type_Range Node_Id 0
Unit_Designator Node_Id 0
Default_Value Node_Id 0
......@@ -3569,8 +3569,8 @@ Declarations List_Id 7
Default_Value Node_Id 757
757 property value thread_properties.aadl:55:03
Value_Container Node_Id 657
Single_Value Node_Id 2088
2088 enumeration term thread_properties.aadl:56:38
Single_Value Node_Id 2089
2089 enumeration term thread_properties.aadl:56:38
Identifier Node_Id 749
749 identifier thread_properties.aadl:56:41
Corresponding_Entity Node_Id 0
......@@ -3580,8 +3580,8 @@ Declarations List_Id 7
Entity Node_Id 0
Property_Set_Identifier Node_Id 0
Multi_Value List_Id 0
Expanded_Single_Value Node_Id 2108
2108 enumeration term thread_properties.aadl:56:38
Expanded_Single_Value Node_Id 2109
2109 enumeration term thread_properties.aadl:56:38
Identifier Node_Id 749
749 identifier thread_properties.aadl:56:41
Corresponding_Entity Node_Id 0
......@@ -3816,8 +3816,8 @@ Declarations List_Id 7
800 integer type thread_properties.aadl:80:21
Type_Range Node_Id 0
Unit_Designator Node_Id 0
Expanded_Type_Designator Node_Id 2109
2109 integer type thread_properties.aadl:80:21
Expanded_Type_Designator Node_Id 2110
2110 integer type thread_properties.aadl:80:21
Type_Range Node_Id 0
Unit_Designator Node_Id 0
Default_Value Node_Id 0
......@@ -4085,8 +4085,8 @@ Declarations List_Id 7
844 literal thread_properties.aadl:104:06
Value Value_Id 29
Multi_Value List_Id 0
Expanded_Single_Value Node_Id 2110
2110 literal thread_properties.aadl:104:06
Expanded_Single_Value Node_Id 2111
2111 literal thread_properties.aadl:104:06
Value Value_Id 45
Expanded_Multi_Value List_Id 0
Applies_To Node_Id 852
......@@ -4146,20 +4146,20 @@ Declarations List_Id 7
Entity Node_Id 183
Property_Set_Identifier Node_Id 0
Unit_Designator Node_Id 0
Expanded_Type_Designator Node_Id 2111
2111 integer type thread_properties.aadl:111:17
Type_Range Node_Id 2112
2112 number range thread_properties.aadl:111:29
Lower_Bound Node_Id 2113
2113 signed aadlnumber thread_properties.aadl:111:29
Number_Value Node_Id 2114
2114 literal thread_properties.aadl:111:29
Expanded_Type_Designator Node_Id 2112
2112 integer type thread_properties.aadl:111:17
Type_Range Node_Id 2113
2113 number range thread_properties.aadl:111:29
Lower_Bound Node_Id 2114
2114 signed aadlnumber thread_properties.aadl:111:29
Number_Value Node_Id 2115
2115 literal thread_properties.aadl:111:29
Value Value_Id 46
Unit_Identifier Node_Id 0
Upper_Bound Node_Id 2115
2115 signed aadlnumber aadl_project.aadl:142:45
Number_Value Node_Id 2116
2116 literal aadl_project.aadl:142:45
Upper_Bound Node_Id 2116
2116 signed aadlnumber aadl_project.aadl:142:45
Number_Value Node_Id 2117
2117 literal aadl_project.aadl:142:45
Value Value_Id 47
Unit_Identifier Node_Id 0
Unit_Designator Node_Id 0
......@@ -4189,8 +4189,8 @@ Declarations List_Id 7
870 integer type thread_properties.aadl:115:22
Type_Range Node_Id 0
Unit_Designator Node_Id 0
Expanded_Type_Designator Node_Id 2117
2117 integer type thread_properties.aadl:115:22
Expanded_Type_Designator Node_Id 2118
2118 integer type thread_properties.aadl:115:22
Type_Range Node_Id 0
Unit_Designator Node_Id 0
Default_Value Node_Id 0
......@@ -4251,20 +4251,20 @@ Declarations List_Id 7
Entity Node_Id 197
Property_Set_Identifier Node_Id 0
Unit_Designator Node_Id 0
Expanded_Type_Designator Node_Id 2118
2118 integer type thread_properties.aadl:122:12
Type_Range Node_Id 2119
2119 number range thread_properties.aadl:122:24
Lower_Bound Node_Id 2120
2120 signed aadlnumber thread_properties.aadl:122:24
Number_Value Node_Id 2121
2121 literal thread_properties.aadl:122:24
Expanded_Type_Designator Node_Id 2119
2119 integer type thread_properties.aadl:122:12
Type_Range Node_Id 2120
2120 number range thread_properties.aadl:122:24
Lower_Bound Node_Id 2121
2121 signed aadlnumber thread_properties.aadl:122:24
Number_Value Node_Id 2122
2122 literal thread_properties.aadl:122:24
Value Value_Id 48
Unit_Identifier Node_Id 0
Upper_Bound Node_Id 2122
2122 signed aadlnumber aadl_project.aadl:146:40
Number_Value Node_Id 2123
2123 literal aadl_project.aadl:146:40
Upper_Bound Node_Id 2123
2123 signed aadlnumber aadl_project.aadl:146:40
Number_Value Node_Id 2124
2124 literal aadl_project.aadl:146:40
Value Value_Id 49
Unit_Identifier Node_Id 0
Unit_Designator Node_Id 0
......@@ -4582,8 +4582,8 @@ Declarations List_Id 7
Default_Value Node_Id 955
955 property value communication_properties.aadl:33:04
Value_Container Node_Id 894
Single_Value Node_Id 2089
2089 enumeration term communication_properties.aadl:36:04
Single_Value Node_Id 2090
2090 enumeration term communication_properties.aadl:36:04
Identifier Node_Id 945
945 identifier communication_properties.aadl:36:07
Corresponding_Entity Node_Id 0
......@@ -4593,8 +4593,8 @@ Declarations List_Id 7
Entity Node_Id 0
Property_Set_Identifier Node_Id 0
Multi_Value List_Id 0
Expanded_Single_Value Node_Id 2124
2124 enumeration term communication_properties.aadl:36:04
Expanded_Single_Value Node_Id 2125
2125 enumeration term communication_properties.aadl:36:04
Identifier Node_Id 945
945 identifier communication_properties.aadl:36:07
Corresponding_Entity Node_Id 0
......@@ -4657,8 +4657,8 @@ Declarations List_Id 7
Default_Value Node_Id 969
969 property value communication_properties.aadl:42:03
Value_Container Node_Id 894
Single_Value Node_Id 2090
2090 enumeration term communication_properties.aadl:44:03
Single_Value Node_Id 2091
2091 enumeration term communication_properties.aadl:44:03
Identifier Node_Id 959
959 identifier communication_properties.aadl:44:06
Corresponding_Entity Node_Id 0
......@@ -4668,8 +4668,8 @@ Declarations List_Id 7
Entity Node_Id 0
Property_Set_Identifier Node_Id 0
Multi_Value List_Id 0
Expanded_Single_Value Node_Id 2125
2125 enumeration term communication_properties.aadl:44:03
Expanded_Single_Value Node_Id 2126
2126 enumeration term communication_properties.aadl:44:03
Identifier Node_Id 959
959 identifier communication_properties.aadl:44:06
Corresponding_Entity Node_Id 0
......@@ -4731,20 +4731,20 @@ Declarations List_Id 7
Entity Node_Id 177
Property_Set_Identifier Node_Id 0
Unit_Designator Node_Id 0
Expanded_Type_Designator Node_Id 2126
2126 integer type communication_properties.aadl:50:15
Type_Range Node_Id 2127
2127 number range communication_properties.aadl:50:27
Lower_Bound Node_Id 2128
2128 signed aadlnumber communication_properties.aadl:50:27
Number_Value Node_Id 2129
2129 literal communication_properties.aadl:50:27
Expanded_Type_Designator Node_Id 2127
2127 integer type communication_properties.aadl:50:15
Type_Range Node_Id 2128
2128 number range communication_properties.aadl:50:27
Lower_Bound Node_Id 2129
2129 signed aadlnumber communication_properties.aadl:50:27
Number_Value Node_Id 2130
2130 literal communication_properties.aadl:50:27
Value Value_Id 50
Unit_Identifier Node_Id 0
Upper_Bound Node_Id 2130
2130 signed aadlnumber aadl_project.aadl:140:43
Number_Value Node_Id 2131
2131 literal aadl_project.aadl:140:43
Upper_Bound Node_Id 2131
2131 signed aadlnumber aadl_project.aadl:140:43
Number_Value Node_Id 2132
2132 literal aadl_project.aadl:140:43
Value Value_Id 51
Unit_Identifier Node_Id 0
Unit_Designator Node_Id 0
......@@ -4758,10 +4758,10 @@ Declarations List_Id 7
Value Value_Id 33
Unit_Identifier Node_Id 0
Multi_Value List_Id 0
Expanded_Single_Value Node_Id 2132
2132 signed aadlnumber communication_properties.aadl:50:50
Number_Value Node_Id 2133
2133 literal communication_properties.aadl:50:50
Expanded_Single_Value Node_Id 2133
2133 signed aadlnumber communication_properties.aadl:50:50
Number_Value Node_Id 2134
2134 literal communication_properties.aadl:50:50
Value Value_Id 52
Unit_Identifier Node_Id 0
Expanded_Multi_Value List_Id 0
......@@ -5227,16 +5227,16 @@ Declarations List_Id 7
Backend_Node Node_Id 0
Entity Node_Id 1369
Property_Set_Identifier Node_Id 0
Expanded_Type_Designator Node_Id 2134
2134 range type timing_properties.aadl:16:20
Number_Type Node_Id 2135
2135 integer type timing_properties.aadl:13:14
Type_Range Node_Id 2136
2136 number range timing_properties.aadl:13:26
Lower_Bound Node_Id 2137
2137 signed aadlnumber timing_properties.aadl:13:26
Number_Value Node_Id 2138
2138 literal timing_properties.aadl:13:26
Expanded_Type_Designator Node_Id 2135
2135 range type timing_properties.aadl:16:20
Number_Type Node_Id 2136
2136 integer type timing_properties.aadl:13:14
Type_Range Node_Id 2137
2137 number range timing_properties.aadl:13:26
Lower_Bound Node_Id 2138
2138 signed aadlnumber timing_properties.aadl:13:26
Number_Value Node_Id 2139
2139 literal timing_properties.aadl:13:26
Value Value_Id 53
Unit_Identifier Node_Id 1357
1357 identifier timing_properties.aadl:13:28
......@@ -5244,10 +5244,10 @@ Declarations List_Id 7
Display_Name Name_Id "ps"
Scope_Entity Node_Id 0
Backend_Node Node_Id 0
Upper_Bound Node_Id 2139
2139 signed aadlnumber aadl_project.aadl:144:30
Number_Value Node_Id 2140
2140 literal aadl_project.aadl:144:30
Upper_Bound Node_Id 2140
2140 signed aadlnumber aadl_project.aadl:144:30
Number_Value Node_Id 2141
2141 literal aadl_project.aadl:144:30
Value Value_Id 54
Unit_Identifier Node_Id 190
190 identifier aadl_project.aadl:144:35
......@@ -5297,16 +5297,16 @@ Declarations List_Id 7
Backend_Node Node_Id 0
Entity Node_Id 1369
Property_Set_Identifier Node_Id 0
Expanded_Type_Designator Node_Id 2141
2141 range type timing_properties.aadl:16:20
Number_Type Node_Id 2142
2142 integer type timing_properties.aadl:13:14
Type_Range Node_Id 2143
2143 number range timing_properties.aadl:13:26
Lower_Bound Node_Id 2144
2144 signed aadlnumber timing_properties.aadl:13:26
Number_Value Node_Id 2145
2145 literal timing_properties.aadl:13:26
Expanded_Type_Designator Node_Id 2142
2142 range type timing_properties.aadl:16:20
Number_Type Node_Id 2143
2143 integer type timing_properties.aadl:13:14
Type_Range Node_Id 2144
2144 number range timing_properties.aadl:13:26
Lower_Bound Node_Id 2145
2145 signed aadlnumber timing_properties.aadl:13:26
Number_Value Node_Id 2146
2146 literal timing_properties.aadl:13:26
Value Value_Id 55
Unit_Identifier Node_Id 1357
1357 identifier timing_properties.aadl:13:28
......@@ -5314,10 +5314,10 @@ Declarations List_Id 7
Display_Name Name_Id "ps"
Scope_Entity Node_Id 0
Backend_Node Node_Id 0
Upper_Bound Node_Id 2146
2146 signed aadlnumber aadl_project.aadl:144:30
Number_Value Node_Id 2147
2147 literal aadl_project.aadl:144:30
Upper_Bound Node_Id 2147
2147 signed aadlnumber aadl_project.aadl:144:30
Number_Value Node_Id 2148
2148 literal aadl_project.aadl:144:30
Value Value_Id 56
Unit_Identifier Node_Id 190
190 identifier aadl_project.aadl:144:35
......@@ -5367,16 +5367,16 @@ Declarations List_Id 7
Backend_Node Node_Id 0
Entity Node_Id 1369
Property_Set_Identifier Node_Id 0
Expanded_Type_Designator Node_Id 2148
2148 range type timing_properties.aadl:16:20
Number_Type Node_Id 2149
2149 integer type timing_properties.aadl:13:14
Type_Range Node_Id 2150
2150 number range timing_properties.aadl:13:26
Lower_Bound Node_Id 2151
2151 signed aadlnumber timing_properties.aadl:13:26
Number_Value Node_Id 2152
2152 literal timing_properties.aadl:13:26
Expanded_Type_Designator Node_Id 2149
2149 range type timing_properties.aadl:16:20
Number_Type Node_Id 2150
2150 integer type timing_properties.aadl:13:14
Type_Range Node_Id 2151
2151 number range timing_properties.aadl:13:26
Lower_Bound Node_Id 2152
2152 signed aadlnumber timing_properties.aadl:13:26
Number_Value Node_Id 2153
2153 literal timing_properties.aadl:13:26
Value Value_Id 57
Unit_Identifier Node_Id 1357
1357 identifier timing_properties.aadl:13:28
......@@ -5384,10 +5384,10 @@ Declarations List_Id 7
Display_Name Name_Id "ps"
Scope_Entity Node_Id 0
Backend_Node Node_Id 0
Upper_Bound Node_Id 2153
2153 signed aadlnumber aadl_project.aadl:144:30
Number_Value Node_Id 2154
2154 literal aadl_project.aadl:144:30
Upper_Bound Node_Id 2154
2154 signed aadlnumber aadl_project.aadl:144:30
Number_Value Node_Id 2155
2155 literal aadl_project.aadl:144:30
Value Value_Id 58
Unit_Identifier Node_Id 190
190 identifier aadl_project.aadl:144:35
......@@ -5437,16 +5437,16 @@ Declarations List_Id 7
Backend_Node Node_Id 0
Entity Node_Id 1369
Property_Set_Identifier Node_Id 0
Expanded_Type_Designator Node_Id 2155
2155 range type timing_properties.aadl:16:20
Number_Type Node_Id 2156
2156 integer type timing_properties.aadl:13:14
Type_Range Node_Id 2157
2157 number range timing_properties.aadl:13:26
Lower_Bound Node_Id 2158
2158 signed aadlnumber timing_properties.aadl:13:26
Number_Value Node_Id 2159
2159 literal timing_properties.aadl:13:26
Expanded_Type_Designator Node_Id 2156
2156 range type timing_properties.aadl:16:20
Number_Type Node_Id 2157
2157 integer type timing_properties.aadl:13:14
Type_Range Node_Id 2158
2158 number range timing_properties.aadl:13:26
Lower_Bound Node_Id 2159
2159 signed aadlnumber timing_properties.aadl:13:26
Number_Value Node_Id 2160
2160 literal timing_properties.aadl:13:26
Value Value_Id 59
Unit_Identifier Node_Id 1357
1357 identifier timing_properties.aadl:13:28
......@@ -5454,10 +5454,10 @@ Declarations List_Id 7
Display_Name Name_Id "ps"
Scope_Entity Node_Id 0
Backend_Node Node_Id 0
Upper_Bound Node_Id 2160
2160 signed aadlnumber aadl_project.aadl:144:30
Number_Value Node_Id 2161
2161 literal aadl_project.aadl:144:30
Upper_Bound Node_Id 2161
2161 signed aadlnumber aadl_project.aadl:144:30
Number_Value Node_Id 2162
2162 literal aadl_project.aadl:144:30
Value Value_Id 60
Unit_Identifier Node_Id 190
190 identifier aadl_project.aadl:144:35
......@@ -5581,20 +5581,20 @@ Declarations List_Id 7
Entity Node_Id 203
Property_Set_Identifier Node_Id 0
Unit_Designator Node_Id 0
Expanded_Type_Designator Node_Id 2162
2162 integer type memory_properties.aadl:16:15
Type_Range Node_Id 2163
2163 number range memory_properties.aadl:16:27
Lower_Bound Node_Id 2164
2164 signed aadlnumber memory_properties.aadl:16:27
Number_Value Node_Id 2165
2165 literal memory_properties.aadl:16:27
Expanded_Type_Designator Node_Id 2163
2163 integer type memory_properties.aadl:16:15
Type_Range Node_Id 2164
2164 number range memory_properties.aadl:16:27
Lower_Bound Node_Id 2165
2165 signed aadlnumber memory_properties.aadl:16:27
Number_Value Node_Id 2166
2166 literal memory_properties.aadl:16:27
Value Value_Id 61
Unit_Identifier Node_Id 0
Upper_Bound Node_Id 2166
2166 signed aadlnumber aadl_project.aadl:148:43
Number_Value Node_Id 2167
2167 literal aadl_project.aadl:148:43
Upper_Bound Node_Id 2167
2167 signed aadlnumber aadl_project.aadl:148:43
Number_Value Node_Id 2168
2168 literal aadl_project.aadl:148:43
Value Value_Id 62
Unit_Identifier Node_Id 0
Unit_Designator Node_Id 0
......@@ -5676,8 +5676,8 @@ Declarations List_Id 7
Default_Value Node_Id 1154
1154 property value memory_properties.aadl:21:03
Value_Container Node_Id 1110
Single_Value Node_Id 2091
2091 enumeration term memory_properties.aadl:21:32
Single_Value Node_Id 2092
2092 enumeration term memory_properties.aadl:21:32
Identifier Node_Id 1145
1145 identifier memory_properties.aadl:21:35
Corresponding_Entity Node_Id 0
......@@ -5687,8 +5687,8 @@ Declarations List_Id 7
Entity Node_Id 0
Property_Set_Identifier Node_Id 0
Multi_Value List_Id 0
Expanded_Single_Value Node_Id 2168
2168 enumeration term memory_properties.aadl:21:32
Expanded_Single_Value Node_Id 2169
2169 enumeration term memory_properties.aadl:21:32
Identifier Node_Id 1145
1145 identifier memory_properties.aadl:21:35
Corresponding_Entity Node_Id 0
......@@ -5765,16 +5765,16 @@ Declarations List_Id 7
Backend_Node Node_Id 0
Entity Node_Id 1141
Property_Set_Identifier Node_Id 0
Expanded_Type_Designator Node_Id 2169
2169 range type memory_properties.aadl:18:20
Number_Type Node_Id 2170
2170 integer type memory_properties.aadl:12:14
Type_Range Node_Id 2171
2171 number range memory_properties.aadl:12:26
Lower_Bound Node_Id 2172
2172 signed aadlnumber memory_properties.aadl:12:26
Number_Value Node_Id 2173
2173 literal memory_properties.aadl:12:26
Expanded_Type_Designator Node_Id 2170
2170 range type memory_properties.aadl:18:20
Number_Type Node_Id 2171
2171 integer type memory_properties.aadl:12:14
Type_Range Node_Id 2172
2172 number range memory_properties.aadl:12:26
Lower_Bound Node_Id 2173
2173 signed aadlnumber memory_properties.aadl:12:26
Number_Value Node_Id 2174
2174 literal memory_properties.aadl:12:26
Value Value_Id 63
Unit_Identifier Node_Id 1116
1116 identifier memory_properties.aadl:12:28
......@@ -5782,10 +5782,10 @@ Declarations List_Id 7
Display_Name Name_Id "Bytes"
Scope_Entity Node_Id 0
Backend_Node Node_Id 0
Upper_Bound Node_Id 2174
2174 signed aadlnumber aadl_project.aadl:138:37
Number_Value Node_Id 2175
2175 literal aadl_project.aadl:138:37
Upper_Bound Node_Id 2175
2175 signed aadlnumber aadl_project.aadl:138:37
Number_Value Node_Id 2176
2176 literal aadl_project.aadl:138:37
Value Value_Id 64