src/backends/aadl_pp/ocarina-be_aadl-annexes.adb
|
63
|
39
|
0
|
24
|
61.90%
|
src/backends/aadl_pp/ocarina-be_aadl-components-arrays.adb
|
38
|
36
|
0
|
2
|
94.74%
|
src/backends/aadl_pp/ocarina-be_aadl-components-connections.adb
|
67
|
56
|
0
|
11
|
83.58%
|
src/backends/aadl_pp/ocarina-be_aadl-components-features.adb
|
106
|
98
|
0
|
8
|
92.45%
|
src/backends/aadl_pp/ocarina-be_aadl-components-flows.adb
|
106
|
106
|
0
|
0
|
100.00%
|
src/backends/aadl_pp/ocarina-be_aadl-components-modes.adb
|
104
|
87
|
0
|
17
|
83.65%
|
src/backends/aadl_pp/ocarina-be_aadl-components-prototypes.adb
|
25
|
25
|
0
|
0
|
100.00%
|
src/backends/aadl_pp/ocarina-be_aadl-components-subcomponents.adb
|
40
|
38
|
0
|
2
|
95.00%
|
src/backends/aadl_pp/ocarina-be_aadl-components-subprogram_calls.adb
|
39
|
39
|
0
|
0
|
100.00%
|
src/backends/aadl_pp/ocarina-be_aadl-components.adb
|
405
|
382
|
0
|
23
|
94.32%
|
src/backends/aadl_pp/ocarina-be_aadl-identifiers.adb
|
23
|
23
|
0
|
0
|
100.00%
|
src/backends/aadl_pp/ocarina-be_aadl-namespaces.adb
|
108
|
82
|
0
|
26
|
75.93%
|
src/backends/aadl_pp/ocarina-be_aadl-properties-values.adb
|
536
|
462
|
0
|
74
|
86.19%
|
src/backends/aadl_pp/ocarina-be_aadl-properties.adb
|
214
|
205
|
0
|
9
|
95.79%
|
src/backends/aadl_pp/ocarina-be_aadl.adb
|
139
|
54
|
0
|
85
|
38.85%
|
src/backends/aadl_pp/ocarina-be_aadl_ba-actions.adb
|
337
|
140
|
0
|
197
|
41.54%
|
src/backends/aadl_pp/ocarina-be_aadl_ba-expressions.adb
|
260
|
133
|
0
|
127
|
51.15%
|
src/backends/aadl_pp/ocarina-be_aadl_ba-identifiers.adb
|
40
|
12
|
0
|
28
|
30.00%
|
src/backends/aadl_pp/ocarina-be_aadl_ba-specifications.adb
|
196
|
134
|
0
|
62
|
68.37%
|
src/backends/aadl_pp/ocarina-be_aadl_ba-thread_dispatch.adb
|
68
|
41
|
0
|
27
|
60.29%
|
src/backends/aadl_pp/ocarina-be_aadl_ba.adb
|
33
|
22
|
0
|
11
|
66.67%
|
src/backends/aadl_xml/ocarina-backends-aadl_xml-main.adb
|
313
|
303
|
0
|
10
|
96.81%
|
src/backends/aadl_xml/ocarina-backends-aadl_xml-mapping.adb
|
38
|
30
|
0
|
8
|
78.95%
|
src/backends/aadl_xml/ocarina-backends-aadl_xml.adb
|
28
|
23
|
0
|
5
|
82.14%
|
src/backends/aadl_xml/ocarina-backends-aadl_xml.ads
|
7
|
7
|
0
|
0
|
100.00%
|
src/backends/air_conf/ocarina-backends-air_conf-air_configuration.adb
|
190
|
188
|
0
|
2
|
98.95%
|
src/backends/air_conf/ocarina-backends-air_conf-mapping.adb
|
48
|
41
|
0
|
7
|
85.42%
|
src/backends/air_conf/ocarina-backends-air_conf-module.adb
|
69
|
60
|
0
|
9
|
86.96%
|
src/backends/air_conf/ocarina-backends-air_conf-partitions.adb
|
378
|
344
|
0
|
34
|
91.01%
|
src/backends/air_conf/ocarina-backends-air_conf.adb
|
33
|
27
|
0
|
6
|
81.82%
|
src/backends/air_conf/ocarina-backends-air_conf.ads
|
7
|
7
|
0
|
0
|
100.00%
|
src/backends/alloy/ocarina-backends-alloy.adb
|
122
|
103
|
0
|
19
|
84.43%
|
src/backends/arinc653/ocarina-backends-pok_c-activity.adb
|
1,045
|
685
|
0
|
360
|
65.55%
|
src/backends/arinc653/ocarina-backends-pok_c-deployment.adb
|
1,732
|
708
|
0
|
1,024
|
40.88%
|
src/backends/arinc653/ocarina-backends-pok_c-main.adb
|
900
|
515
|
0
|
385
|
57.22%
|
src/backends/arinc653/ocarina-backends-pok_c-makefile.adb
|
522
|
8
|
0
|
514
|
1.53%
|
src/backends/arinc653/ocarina-backends-pok_c-naming.adb
|
181
|
152
|
0
|
29
|
83.98%
|
src/backends/arinc653/ocarina-backends-pok_c-runtime.adb
|
364
|
300
|
0
|
64
|
82.42%
|
src/backends/arinc653/ocarina-backends-pok_c.adb
|
91
|
56
|
0
|
35
|
61.54%
|
src/backends/arinc653/ocarina-backends-pok_c.ads
|
3
|
3
|
0
|
0
|
100.00%
|
src/backends/arinc653_conf/ocarina-backends-arinc653_conf-connections.adb
|
92
|
0
|
0
|
92
|
0.00%
|
src/backends/arinc653_conf/ocarina-backends-arinc653_conf-mapping.adb
|
566
|
0
|
0
|
566
|
0.00%
|
src/backends/arinc653_conf/ocarina-backends-arinc653_conf-memory.adb
|
78
|
0
|
0
|
78
|
0.00%
|
src/backends/arinc653_conf/ocarina-backends-arinc653_conf-module_hm.adb
|
66
|
0
|
0
|
66
|
0.00%
|
src/backends/arinc653_conf/ocarina-backends-arinc653_conf-partition_hm.adb
|
78
|
0
|
0
|
78
|
0.00%
|
src/backends/arinc653_conf/ocarina-backends-arinc653_conf-partitions.adb
|
131
|
4
|
0
|
127
|
3.05%
|
src/backends/arinc653_conf/ocarina-backends-arinc653_conf-scheduling.adb
|
92
|
3
|
0
|
89
|
3.26%
|
src/backends/arinc653_conf/ocarina-backends-arinc653_conf-system_hm.adb
|
168
|
0
|
0
|
168
|
0.00%
|
src/backends/arinc653_conf/ocarina-backends-arinc653_conf.adb
|
37
|
3
|
0
|
34
|
8.11%
|
src/backends/arinc653_conf/ocarina-backends-arinc653_conf.ads
|
7
|
7
|
0
|
0
|
100.00%
|
src/backends/asn1_deployment/ocarina-backends-asn1-deployment.adb
|
179
|
172
|
0
|
7
|
96.09%
|
src/backends/asn1_deployment/ocarina-backends-asn1.adb
|
21
|
17
|
0
|
4
|
80.95%
|
src/backends/asn1_deployment/ocarina-backends-asn1.ads
|
3
|
3
|
0
|
0
|
100.00%
|
src/backends/ast_ada/ocarina-backends-ada_tree-debug.adb
|
105
|
0
|
0
|
105
|
0.00%
|
src/backends/ast_ada/ocarina-backends-ada_tree-generator.adb
|
1,700
|
1,267
|
0
|
433
|
74.53%
|
src/backends/ast_ada/ocarina-backends-ada_tree-nutils.adb
|
1,465
|
1,194
|
0
|
271
|
81.50%
|
src/backends/ast_ada/ocarina-backends-ada_tree-nutils.ads
|
15
|
15
|
0
|
0
|
100.00%
|
src/backends/ast_ada/ocarina-backends-ada_values.adb
|
328
|
84
|
0
|
244
|
25.61%
|
src/backends/ast_ada/ocarina-backends-ada_values.ads
|
3
|
3
|
0
|
0
|
100.00%
|
src/backends/ast_asn1/ocarina-backends-asn1_tree-debug.adb
|
101
|
0
|
0
|
101
|
0.00%
|
src/backends/ast_asn1/ocarina-backends-asn1_tree-generator.adb
|
157
|
146
|
0
|
11
|
92.99%
|
src/backends/ast_asn1/ocarina-backends-asn1_tree-nutils.adb
|
273
|
219
|
0
|
54
|
80.22%
|
src/backends/ast_asn1/ocarina-backends-asn1_tree-nutils.ads
|
4
|
4
|
0
|
0
|
100.00%
|
src/backends/ast_asn1/ocarina-backends-asn1_values.adb
|
288
|
29
|
0
|
259
|
10.07%
|
src/backends/ast_asn1/ocarina-backends-asn1_values.ads
|
3
|
3
|
0
|
0
|
100.00%
|
src/backends/ast_c/ocarina-backends-c_tree-debug.adb
|
102
|
0
|
0
|
102
|
0.00%
|
src/backends/ast_c/ocarina-backends-c_tree-generator.adb
|
915
|
854
|
0
|
61
|
93.33%
|
src/backends/ast_c/ocarina-backends-c_tree-nutils.adb
|
1,151
|
909
|
0
|
242
|
78.97%
|
src/backends/ast_c/ocarina-backends-c_tree-nutils.ads
|
13
|
13
|
0
|
0
|
100.00%
|
src/backends/ast_c/ocarina-backends-c_values.adb
|
286
|
47
|
0
|
239
|
16.43%
|
src/backends/ast_c/ocarina-backends-c_values.ads
|
3
|
3
|
0
|
0
|
100.00%
|
src/backends/ast_xml/ocarina-backends-xml_tree-debug.adb
|
99
|
0
|
0
|
99
|
0.00%
|
src/backends/ast_xml/ocarina-backends-xml_tree-generator.adb
|
197
|
188
|
0
|
9
|
95.43%
|
src/backends/ast_xml/ocarina-backends-xml_tree-nutils.adb
|
278
|
176
|
0
|
102
|
63.31%
|
src/backends/ast_xml/ocarina-backends-xml_tree-nutils.ads
|
7
|
7
|
0
|
0
|
100.00%
|
src/backends/ast_xml/ocarina-backends-xml_values.adb
|
227
|
46
|
0
|
181
|
20.26%
|
src/backends/ast_xml/ocarina-backends-xml_values.ads
|
3
|
3
|
0
|
0
|
100.00%
|
src/backends/bound-t/ocarina-backends-boundt.adb
|
148
|
126
|
0
|
22
|
85.14%
|
src/backends/cheddar/ocarina-backends-cheddar-main.adb
|
89
|
87
|
0
|
2
|
97.75%
|
src/backends/cheddar/ocarina-backends-cheddar-mapping.adb
|
303
|
292
|
0
|
11
|
96.37%
|
src/backends/cheddar/ocarina-backends-cheddar-mapping.ads
|
36
|
36
|
0
|
0
|
100.00%
|
src/backends/cheddar/ocarina-backends-cheddar.adb
|
29
|
24
|
0
|
5
|
82.76%
|
src/backends/cheddar/ocarina-backends-cheddar.ads
|
7
|
7
|
0
|
0
|
100.00%
|
src/backends/cheddar/ocarina-backends-pok_cheddar.adb
|
229
|
193
|
0
|
36
|
84.28%
|
src/backends/cheddar/ocarina-backends-pok_cheddar.ads
|
7
|
7
|
0
|
0
|
100.00%
|
src/backends/connection_matrix/ocarina-backends-connection_matrix-main.adb
|
283
|
261
|
0
|
22
|
92.23%
|
src/backends/connection_matrix/ocarina-backends-connection_matrix-main.ads
|
3
|
3
|
0
|
0
|
100.00%
|
src/backends/connection_matrix/ocarina-backends-connection_matrix.adb
|
21
|
20
|
0
|
1
|
95.24%
|
src/backends/connection_matrix/ocarina-backends-connection_matrix.ads
|
3
|
3
|
0
|
0
|
100.00%
|
src/backends/deos_conf/ocarina-backends-deos_conf-hm.adb
|
138
|
113
|
0
|
25
|
81.88%
|
src/backends/deos_conf/ocarina-backends-deos_conf-mapping.adb
|
184
|
179
|
0
|
5
|
97.28%
|
src/backends/deos_conf/ocarina-backends-deos_conf-naming.adb
|
86
|
76
|
0
|
10
|
88.37%
|
src/backends/deos_conf/ocarina-backends-deos_conf-partitions.adb
|
228
|
198
|
0
|
30
|
86.84%
|
src/backends/deos_conf/ocarina-backends-deos_conf-schedule.adb
|
105
|
85
|
0
|
20
|
80.95%
|
src/backends/deos_conf/ocarina-backends-deos_conf.adb
|
33
|
27
|
0
|
6
|
81.82%
|
src/backends/deos_conf/ocarina-backends-deos_conf.ads
|
7
|
7
|
0
|
0
|
100.00%
|
src/backends/functions_matrix/ocarina-backends-functions_matrix-main.adb
|
205
|
201
|
0
|
4
|
98.05%
|
src/backends/functions_matrix/ocarina-backends-functions_matrix-main.ads
|
3
|
3
|
0
|
0
|
100.00%
|
src/backends/functions_matrix/ocarina-backends-functions_matrix.adb
|
21
|
20
|
0
|
1
|
95.24%
|
src/backends/functions_matrix/ocarina-backends-functions_matrix.ads
|
3
|
3
|
0
|
0
|
100.00%
|
src/backends/lnt/ocarina-backends-lnt-components.adb
|
394
|
339
|
0
|
55
|
86.04%
|
src/backends/lnt/ocarina-backends-lnt-debug.adb
|
102
|
0
|
0
|
102
|
0.00%
|
src/backends/lnt/ocarina-backends-lnt-nutils.adb
|
179
|
137
|
0
|
42
|
76.54%
|
src/backends/lnt/ocarina-backends-lnt-nutils.ads
|
3
|
3
|
0
|
0
|
100.00%
|
src/backends/lnt/ocarina-backends-lnt-printer.adb
|
1,068
|
862
|
0
|
206
|
80.71%
|
src/backends/lnt/ocarina-backends-lnt-svl_generator.adb
|
130
|
127
|
0
|
3
|
97.69%
|
src/backends/lnt/ocarina-backends-lnt-tree_generator.adb
|
28
|
27
|
0
|
1
|
96.43%
|
src/backends/lnt/ocarina-backends-lnt-tree_generator_main.adb
|
352
|
349
|
0
|
3
|
99.15%
|
src/backends/lnt/ocarina-backends-lnt-tree_generator_port.adb
|
15
|
14
|
0
|
1
|
93.33%
|
src/backends/lnt/ocarina-backends-lnt-tree_generator_processor.adb
|
1,253
|
1,224
|
0
|
29
|
97.69%
|
src/backends/lnt/ocarina-backends-lnt-tree_generator_thread.adb
|
285
|
263
|
0
|
22
|
92.28%
|
src/backends/lnt/ocarina-backends-lnt-tree_generator_types.adb
|
248
|
248
|
0
|
0
|
100.00%
|
src/backends/lnt/ocarina-backends-lnt.adb
|
68
|
67
|
0
|
1
|
98.53%
|
src/backends/lnt/ocarina-backends-lnt.ads
|
9
|
9
|
0
|
0
|
100.00%
|
src/backends/mast/ocarina-backends-mast-main.adb
|
416
|
344
|
0
|
72
|
82.69%
|
src/backends/mast/ocarina-backends-mast.adb
|
24
|
20
|
0
|
4
|
83.33%
|
src/backends/mast/ocarina-backends-mast.ads
|
3
|
3
|
0
|
0
|
100.00%
|
src/backends/mast/ocarina-backends-mast_tree-debug.adb
|
99
|
0
|
0
|
99
|
0.00%
|
src/backends/mast/ocarina-backends-mast_tree-generator.adb
|
740
|
604
|
0
|
136
|
81.62%
|
src/backends/mast/ocarina-backends-mast_tree-nutils.adb
|
336
|
212
|
0
|
124
|
63.10%
|
src/backends/mast/ocarina-backends-mast_tree-nutils.ads
|
5
|
5
|
0
|
0
|
100.00%
|
src/backends/mast/ocarina-backends-mast_values.adb
|
227
|
46
|
0
|
181
|
20.26%
|
src/backends/mast/ocarina-backends-mast_values.ads
|
3
|
3
|
0
|
0
|
100.00%
|
src/backends/ocarina-backends-build_utils.adb
|
1,278
|
1,082
|
0
|
196
|
84.66%
|
src/backends/ocarina-backends-build_utils.ads
|
2
|
2
|
0
|
0
|
100.00%
|
src/backends/ocarina-backends-c_common-ba.adb
|
2,559
|
2,304
|
0
|
255
|
90.04%
|
src/backends/ocarina-backends-c_common-mapping.adb
|
2,149
|
888
|
0
|
1,261
|
41.32%
|
src/backends/ocarina-backends-c_common-subprograms.adb
|
628
|
538
|
0
|
90
|
85.67%
|
src/backends/ocarina-backends-c_common-types.adb
|
899
|
763
|
0
|
136
|
84.87%
|
src/backends/ocarina-backends-execution_tests.adb
|
459
|
2
|
0
|
457
|
0.44%
|
src/backends/ocarina-backends-execution_tests.ads
|
11
|
11
|
0
|
0
|
100.00%
|
src/backends/ocarina-backends-execution_utils.adb
|
77
|
0
|
0
|
77
|
0.00%
|
src/backends/ocarina-backends-execution_utils.ads
|
3
|
3
|
0
|
0
|
100.00%
|
src/backends/ocarina-backends-expander.adb
|
332
|
252
|
0
|
80
|
75.90%
|
src/backends/ocarina-backends-helper.adb
|
5
|
5
|
0
|
0
|
100.00%
|
src/backends/ocarina-backends-helper.ads
|
66
|
25
|
0
|
41
|
37.88%
|
src/backends/ocarina-backends-messages.adb
|
31
|
31
|
0
|
0
|
100.00%
|
src/backends/ocarina-backends-properties-arinc653.adb
|
47
|
44
|
0
|
3
|
93.62%
|
src/backends/ocarina-backends-properties-utils.adb
|
148
|
39
|
0
|
109
|
26.35%
|
src/backends/ocarina-backends-properties-utils.ads
|
2
|
2
|
0
|
0
|
100.00%
|
src/backends/ocarina-backends-properties.adb
|
1,847
|
1,168
|
0
|
679
|
63.24%
|
src/backends/ocarina-backends-replication_expander.adb
|
1,094
|
3
|
0
|
1,091
|
0.27%
|
src/backends/ocarina-backends-replication_properties.adb
|
182
|
0
|
0
|
182
|
0.00%
|
src/backends/ocarina-backends-utils.adb
|
1,716
|
1,117
|
0
|
599
|
65.09%
|
src/backends/ocarina-backends-xml_common-mapping.adb
|
48
|
32
|
0
|
16
|
66.67%
|
src/backends/ocarina-backends.adb
|
140
|
115
|
0
|
25
|
82.14%
|
src/backends/petri_nets/ocarina-backends-pn-components.adb
|
1,198
|
1,058
|
0
|
140
|
88.31%
|
src/backends/petri_nets/ocarina-backends-pn-debug.adb
|
91
|
7
|
0
|
84
|
7.69%
|
src/backends/petri_nets/ocarina-backends-pn-format-cami.adb
|
294
|
269
|
0
|
25
|
91.50%
|
src/backends/petri_nets/ocarina-backends-pn-format-tina.adb
|
92
|
79
|
0
|
13
|
85.87%
|
src/backends/petri_nets/ocarina-backends-pn-iutils.adb
|
410
|
362
|
0
|
48
|
88.29%
|
src/backends/petri_nets/ocarina-backends-pn-nutils.adb
|
55
|
54
|
0
|
1
|
98.18%
|
src/backends/petri_nets/ocarina-backends-pn-printer.adb
|
78
|
78
|
0
|
0
|
100.00%
|
src/backends/petri_nets/ocarina-backends-pn-utils.adb
|
9
|
9
|
0
|
0
|
100.00%
|
src/backends/petri_nets/ocarina-backends-pn.adb
|
35
|
32
|
0
|
3
|
91.43%
|
src/backends/po_hi_ada/ocarina-backends-po_hi_ada-activity.adb
|
1,151
|
994
|
0
|
157
|
86.36%
|
src/backends/po_hi_ada/ocarina-backends-po_hi_ada-deployment.adb
|
625
|
616
|
0
|
9
|
98.56%
|
src/backends/po_hi_ada/ocarina-backends-po_hi_ada-job.adb
|
1,305
|
1,051
|
0
|
254
|
80.54%
|
src/backends/po_hi_ada/ocarina-backends-po_hi_ada-main.adb
|
147
|
134
|
0
|
13
|
91.16%
|
src/backends/po_hi_ada/ocarina-backends-po_hi_ada-mapping.adb
|
675
|
597
|
0
|
78
|
88.44%
|
src/backends/po_hi_ada/ocarina-backends-po_hi_ada-marshallers.adb
|
472
|
434
|
0
|
38
|
91.95%
|
src/backends/po_hi_ada/ocarina-backends-po_hi_ada-naming.adb
|
242
|
204
|
0
|
38
|
84.30%
|
src/backends/po_hi_ada/ocarina-backends-po_hi_ada-runtime.adb
|
147
|
145
|
0
|
2
|
98.64%
|
src/backends/po_hi_ada/ocarina-backends-po_hi_ada-subprograms.adb
|
472
|
449
|
0
|
23
|
95.13%
|
src/backends/po_hi_ada/ocarina-backends-po_hi_ada-transport.adb
|
616
|
573
|
0
|
43
|
93.02%
|
src/backends/po_hi_ada/ocarina-backends-po_hi_ada-types.adb
|
662
|
541
|
0
|
121
|
81.72%
|
src/backends/po_hi_ada/ocarina-backends-po_hi_ada.adb
|
319
|
241
|
0
|
78
|
75.55%
|
src/backends/po_hi_ada/ocarina-backends-po_hi_ada.ads
|
3
|
3
|
0
|
0
|
100.00%
|
src/backends/po_hi_c/ocarina-backends-po_hi_c-activity.adb
|
1,271
|
1,212
|
0
|
59
|
95.36%
|
src/backends/po_hi_c/ocarina-backends-po_hi_c-deployment.adb
|
1,372
|
1,114
|
0
|
258
|
81.20%
|
src/backends/po_hi_c/ocarina-backends-po_hi_c-main.adb
|
331
|
289
|
0
|
42
|
87.31%
|
src/backends/po_hi_c/ocarina-backends-po_hi_c-marshallers.adb
|
1,040
|
948
|
0
|
92
|
91.15%
|
src/backends/po_hi_c/ocarina-backends-po_hi_c-naming.adb
|
285
|
216
|
0
|
69
|
75.79%
|
src/backends/po_hi_c/ocarina-backends-po_hi_c-request.adb
|
293
|
289
|
0
|
4
|
98.63%
|
src/backends/po_hi_c/ocarina-backends-po_hi_c-runtime.adb
|
147
|
131
|
0
|
16
|
89.12%
|
src/backends/po_hi_c/ocarina-backends-po_hi_c.adb
|
312
|
211
|
0
|
101
|
67.63%
|
src/backends/real/ocarina-backends-real-debug.adb
|
11
|
0
|
0
|
11
|
0.00%
|
src/backends/real/ocarina-backends-real.adb
|
1,907
|
1,388
|
0
|
519
|
72.78%
|
src/backends/real/ocarina-be_real.adb
|
304
|
253
|
0
|
51
|
83.22%
|
src/backends/stats/ocarina-backends-stats-main.adb
|
249
|
223
|
0
|
26
|
89.56%
|
src/backends/stats/ocarina-backends-stats-main.ads
|
3
|
3
|
0
|
0
|
100.00%
|
src/backends/stats/ocarina-backends-stats-mapping.adb
|
503
|
320
|
0
|
183
|
63.62%
|
src/backends/stats/ocarina-backends-stats.adb
|
21
|
20
|
0
|
1
|
95.24%
|
src/backends/stats/ocarina-backends-stats.ads
|
3
|
3
|
0
|
0
|
100.00%
|
src/backends/subprograms/ocarina-backends-subprograms.adb
|
243
|
145
|
0
|
98
|
59.67%
|
src/backends/subprograms/ocarina-backends-subprograms.ads
|
3
|
3
|
0
|
0
|
100.00%
|
...rc/backends/vxwork653_conf/ocarina-backends-vxworks653_conf-connections.adb
|
106
|
96
|
0
|
10
|
90.57%
|
src/backends/vxwork653_conf/ocarina-backends-vxworks653_conf-hm.adb
|
214
|
182
|
0
|
32
|
85.05%
|
src/backends/vxwork653_conf/ocarina-backends-vxworks653_conf-mapping.adb
|
105
|
103
|
0
|
2
|
98.10%
|
src/backends/vxwork653_conf/ocarina-backends-vxworks653_conf-naming.adb
|
202
|
192
|
0
|
10
|
95.05%
|
src/backends/vxwork653_conf/ocarina-backends-vxworks653_conf-partitions.adb
|
118
|
101
|
0
|
17
|
85.59%
|
src/backends/vxwork653_conf/ocarina-backends-vxworks653_conf-payloads.adb
|
91
|
72
|
0
|
19
|
79.12%
|
src/backends/vxwork653_conf/ocarina-backends-vxworks653_conf-schedule.adb
|
97
|
83
|
0
|
14
|
85.57%
|
src/backends/vxwork653_conf/ocarina-backends-vxworks653_conf.adb
|
35
|
29
|
0
|
6
|
82.86%
|
src/backends/vxwork653_conf/ocarina-backends-vxworks653_conf.ads
|
7
|
7
|
0
|
0
|
100.00%
|
src/backends/xtratum_conf/ocarina-backends-xtratum_conf-channels.adb
|
169
|
165
|
0
|
4
|
97.63%
|
...ackends/xtratum_conf/ocarina-backends-xtratum_conf-hardware_description.adb
|
218
|
208
|
0
|
10
|
95.41%
|
src/backends/xtratum_conf/ocarina-backends-xtratum_conf-mapping.adb
|
53
|
46
|
0
|
7
|
86.79%
|
src/backends/xtratum_conf/ocarina-backends-xtratum_conf-partition_table.adb
|
221
|
182
|
0
|
39
|
82.35%
|
src/backends/xtratum_conf/ocarina-backends-xtratum_conf-resident_sw.adb
|
66
|
64
|
0
|
2
|
96.97%
|
.../backends/xtratum_conf/ocarina-backends-xtratum_conf-system_description.adb
|
73
|
64
|
0
|
9
|
87.67%
|
src/backends/xtratum_conf/ocarina-backends-xtratum_conf-xm_hypervisor.adb
|
68
|
66
|
0
|
2
|
97.06%
|
src/backends/xtratum_conf/ocarina-backends-xtratum_conf.adb
|
36
|
33
|
0
|
3
|
91.67%
|
src/backends/xtratum_conf/ocarina-backends-xtratum_conf.ads
|
7
|
7
|
0
|
0
|
100.00%
|
src/core/common_files/charset.adb
|
36
|
32
|
0
|
4
|
88.89%
|
src/core/common_files/errors.adb
|
113
|
78
|
0
|
35
|
69.03%
|
src/core/common_files/errors.ads
|
5
|
5
|
0
|
0
|
100.00%
|
src/core/common_files/locations.adb
|
47
|
36
|
0
|
11
|
76.60%
|
src/core/common_files/ocarina-namet.adb
|
300
|
279
|
0
|
21
|
93.00%
|
src/core/common_files/ocarina-namet.ads
|
4
|
4
|
0
|
0
|
100.00%
|
src/core/common_files/ocarina-output.adb
|
86
|
74
|
0
|
12
|
86.05%
|
src/core/common_files/ocarina-types.adb
|
12
|
12
|
0
|
0
|
100.00%
|
src/core/common_files/outfiles.adb
|
17
|
14
|
0
|
3
|
82.35%
|
src/core/common_files/utils.adb
|
119
|
56
|
0
|
63
|
47.06%
|
src/core/common_files/utils.ads
|
2
|
2
|
0
|
0
|
100.00%
|
src/core/instance/ocarina-instances-annexes.adb
|
30
|
27
|
0
|
3
|
90.00%
|
src/core/instance/ocarina-instances-components-connections.adb
|
109
|
95
|
0
|
14
|
87.16%
|
src/core/instance/ocarina-instances-components-features.adb
|
180
|
141
|
0
|
39
|
78.33%
|
src/core/instance/ocarina-instances-components-modes.adb
|
172
|
124
|
0
|
48
|
72.09%
|
src/core/instance/ocarina-instances-components-subcomponents.adb
|
22
|
21
|
0
|
1
|
95.45%
|
src/core/instance/ocarina-instances-components-subprogram_calls.adb
|
122
|
95
|
0
|
27
|
77.87%
|
src/core/instance/ocarina-instances-components.adb
|
205
|
171
|
0
|
34
|
83.41%
|
src/core/instance/ocarina-instances-finder.adb
|
271
|
207
|
0
|
64
|
76.38%
|
src/core/instance/ocarina-instances-messages.adb
|
30
|
6
|
0
|
24
|
20.00%
|
src/core/instance/ocarina-instances-namespaces.adb
|
28
|
28
|
0
|
0
|
100.00%
|
src/core/instance/ocarina-instances-processor-properties.adb
|
364
|
233
|
0
|
131
|
64.01%
|
src/core/instance/ocarina-instances-properties.adb
|
371
|
271
|
0
|
100
|
73.05%
|
src/core/instance/ocarina-instances-queries.adb
|
224
|
150
|
0
|
74
|
66.96%
|
.../core/instance/ocarina-instances-real_checker-queries-access_predicates.adb
|
28
|
8
|
0
|
20
|
28.57%
|
...c/core/instance/ocarina-instances-real_checker-queries-bound_predicates.adb
|
14
|
12
|
0
|
2
|
85.71%
|
...rc/core/instance/ocarina-instances-real_checker-queries-call_predicates.adb
|
65
|
47
|
0
|
18
|
72.31%
|
...re/instance/ocarina-instances-real_checker-queries-connected_predicates.adb
|
27
|
25
|
0
|
2
|
92.59%
|
...core/instance/ocarina-instances-real_checker-queries-passing_predicates.adb
|
26
|
18
|
0
|
8
|
69.23%
|
.../instance/ocarina-instances-real_checker-queries-predecessor_predicates.adb
|
46
|
37
|
0
|
9
|
80.43%
|
...stance/ocarina-instances-real_checker-queries-provided_class_predicates.adb
|
8
|
8
|
0
|
0
|
100.00%
|
...e/instance/ocarina-instances-real_checker-queries-relational_predicates.adb
|
52
|
25
|
0
|
27
|
48.08%
|
...instance/ocarina-instances-real_checker-queries-subcomponent_predicates.adb
|
13
|
6
|
0
|
7
|
46.15%
|
src/core/instance/ocarina-instances-real_checker-queries.adb
|
214
|
120
|
0
|
94
|
56.07%
|
src/core/instance/ocarina-instances-real_checker-queries.ads
|
3
|
3
|
0
|
0
|
100.00%
|
src/core/instance/ocarina-instances-real_finder.adb
|
135
|
108
|
0
|
27
|
80.00%
|
src/core/instance/ocarina-instances.adb
|
192
|
157
|
0
|
35
|
81.77%
|
src/core/instance/ocarina-real_expander-flow_analysis.adb
|
266
|
238
|
0
|
28
|
89.47%
|
src/core/instance/ocarina-real_expander.adb
|
73
|
64
|
0
|
9
|
87.67%
|
src/core/mgmt/ocarina-files.adb
|
110
|
98
|
0
|
12
|
89.09%
|
src/core/mgmt/ocarina-files.ads
|
3
|
3
|
0
|
0
|
100.00%
|
src/core/mgmt/ocarina-options.adb
|
83
|
71
|
0
|
12
|
85.54%
|
src/core/mgmt/ocarina-options.ads
|
7
|
7
|
0
|
0
|
100.00%
|
src/core/mgmt/ocarina-parser.adb
|
33
|
30
|
0
|
3
|
90.91%
|
src/core/mgmt/ocarina.adb
|
18
|
16
|
0
|
2
|
88.89%
|
src/core/mgmt/ocarina.ads
|
4
|
4
|
0
|
0
|
100.00%
|
src/core/model/ocarina-analyzer-aadl-annexes.adb
|
60
|
54
|
0
|
6
|
90.00%
|
src/core/model/ocarina-analyzer-aadl-finder.adb
|
596
|
513
|
0
|
83
|
86.07%
|
src/core/model/ocarina-analyzer-aadl-legality_rules.adb
|
599
|
466
|
0
|
133
|
77.80%
|
src/core/model/ocarina-analyzer-aadl-links.adb
|
1,939
|
1,741
|
0
|
198
|
89.79%
|
src/core/model/ocarina-analyzer-aadl-names.adb
|
394
|
383
|
0
|
11
|
97.21%
|
src/core/model/ocarina-analyzer-aadl-naming_rules.adb
|
345
|
305
|
0
|
40
|
88.41%
|
src/core/model/ocarina-analyzer-aadl-naming_rules.ads
|
2
|
2
|
0
|
0
|
100.00%
|
src/core/model/ocarina-analyzer-aadl-queries.adb
|
382
|
185
|
0
|
197
|
48.43%
|
src/core/model/ocarina-analyzer-aadl-semantics.adb
|
1,273
|
1,138
|
0
|
135
|
89.40%
|
src/core/model/ocarina-analyzer-aadl.adb
|
79
|
73
|
0
|
6
|
92.41%
|
src/core/model/ocarina-analyzer-aadl_ba.adb
|
1,913
|
1,696
|
0
|
217
|
88.66%
|
src/core/model/ocarina-analyzer-aadl_ema-finder.adb
|
469
|
0
|
0
|
469
|
0.00%
|
src/core/model/ocarina-analyzer-aadl_ema-links.adb
|
16
|
0
|
0
|
16
|
0.00%
|
src/core/model/ocarina-analyzer-aadl_ema-naming_rules.adb
|
673
|
0
|
0
|
673
|
0.00%
|
src/core/model/ocarina-analyzer-aadl_ema.adb
|
34
|
7
|
0
|
27
|
20.59%
|
src/core/model/ocarina-analyzer-messages.adb
|
306
|
166
|
0
|
140
|
54.25%
|
src/core/model/ocarina-analyzer-real-finder.adb
|
95
|
64
|
0
|
31
|
67.37%
|
src/core/model/ocarina-analyzer-real-finder.ads
|
3
|
3
|
0
|
0
|
100.00%
|
src/core/model/ocarina-analyzer-real.adb
|
1,647
|
859
|
0
|
788
|
52.16%
|
src/core/model/ocarina-analyzer.adb
|
34
|
30
|
0
|
4
|
88.24%
|
src/core/model/ocarina-builder-aadl-annexes.adb
|
51
|
30
|
0
|
21
|
58.82%
|
src/core/model/ocarina-builder-aadl-components-arrays.adb
|
20
|
20
|
0
|
0
|
100.00%
|
src/core/model/ocarina-builder-aadl-components-connections.adb
|
33
|
32
|
0
|
1
|
96.97%
|
src/core/model/ocarina-builder-aadl-components-features.adb
|
114
|
102
|
0
|
12
|
89.47%
|
src/core/model/ocarina-builder-aadl-components-flows.adb
|
71
|
66
|
0
|
5
|
92.96%
|
src/core/model/ocarina-builder-aadl-components-modes.adb
|
50
|
44
|
0
|
6
|
88.00%
|
src/core/model/ocarina-builder-aadl-components-prototypes.adb
|
26
|
25
|
0
|
1
|
96.15%
|
src/core/model/ocarina-builder-aadl-components-subcomponents.adb
|
36
|
35
|
0
|
1
|
97.22%
|
src/core/model/ocarina-builder-aadl-components-subprogram_calls.adb
|
47
|
45
|
0
|
2
|
95.74%
|
src/core/model/ocarina-builder-aadl-components.adb
|
191
|
187
|
0
|
4
|
97.91%
|
src/core/model/ocarina-builder-aadl-namespaces.adb
|
134
|
124
|
0
|
10
|
92.54%
|
src/core/model/ocarina-builder-aadl-properties.adb
|
204
|
191
|
0
|
13
|
93.63%
|
src/core/model/ocarina-builder-aadl_ba-actions.adb
|
217
|
170
|
0
|
47
|
78.34%
|
src/core/model/ocarina-builder-aadl_ba-expressions.adb
|
208
|
123
|
0
|
85
|
59.13%
|
src/core/model/ocarina-builder-aadl_ba-specifications.adb
|
157
|
90
|
0
|
67
|
57.32%
|
src/core/model/ocarina-builder-aadl_ba-thread_dispatch.adb
|
45
|
38
|
0
|
7
|
84.44%
|
src/core/model/ocarina-builder-real.adb
|
45
|
36
|
0
|
9
|
80.00%
|
src/core/model/ocarina-processor-properties.adb
|
792
|
707
|
0
|
85
|
89.27%
|
src/core/tree/ocarina-aadl_values.adb
|
323
|
194
|
0
|
129
|
60.06%
|
src/core/tree/ocarina-aadl_values.ads
|
14
|
6
|
0
|
8
|
42.86%
|
src/core/tree/ocarina-annotations.adb
|
62
|
37
|
0
|
25
|
59.68%
|
src/core/tree/ocarina-ao4aadl_values.adb
|
554
|
2
|
0
|
552
|
0.36%
|
src/core/tree/ocarina-ao4aadl_values.ads
|
4
|
4
|
0
|
0
|
100.00%
|
src/core/tree/ocarina-ema_values.adb
|
252
|
2
|
0
|
250
|
0.79%
|
src/core/tree/ocarina-ema_values.ads
|
4
|
4
|
0
|
0
|
100.00%
|
src/core/tree/ocarina-me_aadl-aadl_instances-debug.adb
|
131
|
104
|
0
|
27
|
79.39%
|
src/core/tree/ocarina-me_aadl-aadl_instances-entities-properties.adb
|
45
|
24
|
0
|
21
|
53.33%
|
src/core/tree/ocarina-me_aadl-aadl_instances-entities.adb
|
97
|
62
|
0
|
35
|
63.92%
|
src/core/tree/ocarina-me_aadl-aadl_instances-nutils.adb
|
318
|
230
|
0
|
88
|
72.33%
|
src/core/tree/ocarina-me_aadl-aadl_instances-nutils.ads
|
2
|
0
|
0
|
2
|
0.00%
|
src/core/tree/ocarina-me_aadl-aadl_tree-debug.adb
|
164
|
108
|
0
|
56
|
65.85%
|
src/core/tree/ocarina-me_aadl-aadl_tree-entities-properties.adb
|
315
|
184
|
0
|
131
|
58.41%
|
src/core/tree/ocarina-me_aadl-aadl_tree-entities.adb
|
223
|
172
|
0
|
51
|
77.13%
|
src/core/tree/ocarina-me_aadl-aadl_tree-nutils.adb
|
232
|
121
|
0
|
111
|
52.16%
|
src/core/tree/ocarina-me_aadl-printers.adb
|
8
|
8
|
0
|
0
|
100.00%
|
src/core/tree/ocarina-me_aadl-tokens.adb
|
160
|
160
|
0
|
0
|
100.00%
|
src/core/tree/ocarina-me_aadl-tokens.ads
|
8
|
8
|
0
|
0
|
100.00%
|
src/core/tree/ocarina-me_aadl_ba-ba_tree-debug.adb
|
162
|
0
|
0
|
162
|
0.00%
|
src/core/tree/ocarina-me_aadl_ba-ba_tree-nutils.adb
|
160
|
55
|
0
|
105
|
34.38%
|
src/core/tree/ocarina-me_aadl_ba-tokens.adb
|
119
|
117
|
0
|
2
|
98.32%
|
src/core/tree/ocarina-me_aadl_ba-tokens.ads
|
7
|
7
|
0
|
0
|
100.00%
|
src/core/tree/ocarina-me_aadl_ema-ema_tokens.adb
|
114
|
105
|
0
|
9
|
92.11%
|
src/core/tree/ocarina-me_aadl_ema-ema_tokens.ads
|
9
|
9
|
0
|
0
|
100.00%
|
src/core/tree/ocarina-me_aadl_ema-ema_tree-debug.adb
|
96
|
0
|
0
|
96
|
0.00%
|
src/core/tree/ocarina-me_aadl_ema-ema_tree-nutils.adb
|
155
|
42
|
0
|
113
|
27.10%
|
src/core/tree/ocarina-me_aadl_ema-ema_tree-nutils.ads
|
5
|
5
|
0
|
0
|
100.00%
|
src/core/tree/ocarina-me_ao4aadl-ao4aadl_tree-debug.adb
|
96
|
0
|
0
|
96
|
0.00%
|
src/core/tree/ocarina-me_ao4aadl-ao4aadl_tree-nutils.adb
|
48
|
0
|
0
|
48
|
0.00%
|
src/core/tree/ocarina-me_ao4aadl-ao4aadl_tree-nutils.ads
|
5
|
5
|
0
|
0
|
100.00%
|
src/core/tree/ocarina-me_ao4aadl-tokens.adb
|
93
|
84
|
0
|
9
|
90.32%
|
src/core/tree/ocarina-me_ao4aadl-tokens.ads
|
8
|
8
|
0
|
0
|
100.00%
|
src/core/tree/ocarina-me_real-real_tree-debug.adb
|
108
|
7
|
0
|
101
|
6.48%
|
src/core/tree/ocarina-me_real-real_tree-nutils.adb
|
99
|
98
|
0
|
1
|
98.99%
|
src/core/tree/ocarina-me_real-real_tree-nutils.ads
|
10
|
10
|
0
|
0
|
100.00%
|
src/core/tree/ocarina-me_real-real_tree-utils.adb
|
305
|
204
|
0
|
101
|
66.89%
|
src/core/tree/ocarina-me_real-tokens.adb
|
166
|
152
|
0
|
14
|
91.57%
|
src/core/tree/ocarina-me_real-tokens.ads
|
4
|
4
|
0
|
0
|
100.00%
|
src/core/tree/ocarina-property_sets.adb
|
71
|
63
|
0
|
8
|
88.73%
|
src/core/tree/ocarina-real_values.adb
|
643
|
362
|
0
|
281
|
56.30%
|
src/core/tree/ocarina-real_values.ads
|
4
|
4
|
0
|
0
|
100.00%
|
src/frontends/aadl/ocarina-fe_aadl-lexer.adb
|
537
|
455
|
0
|
82
|
84.73%
|
src/frontends/aadl/ocarina-fe_aadl-lexer.ads
|
4
|
4
|
0
|
0
|
100.00%
|
src/frontends/aadl/ocarina-fe_aadl-parser-annexes.adb
|
108
|
43
|
0
|
65
|
39.81%
|
src/frontends/aadl/ocarina-fe_aadl-parser-components-arrays.adb
|
102
|
72
|
0
|
30
|
70.59%
|
src/frontends/aadl/ocarina-fe_aadl-parser-components-connections.adb
|
257
|
162
|
0
|
95
|
63.04%
|
src/frontends/aadl/ocarina-fe_aadl-parser-components-features.adb
|
391
|
282
|
0
|
109
|
72.12%
|
src/frontends/aadl/ocarina-fe_aadl-parser-components-flows.adb
|
312
|
221
|
0
|
91
|
70.83%
|
src/frontends/aadl/ocarina-fe_aadl-parser-components-modes.adb
|
274
|
183
|
0
|
91
|
66.79%
|
src/frontends/aadl/ocarina-fe_aadl-parser-components-prototypes.adb
|
95
|
75
|
0
|
20
|
78.95%
|
src/frontends/aadl/ocarina-fe_aadl-parser-components-subcomponents.adb
|
82
|
64
|
0
|
18
|
78.05%
|
src/frontends/aadl/ocarina-fe_aadl-parser-components-subprogram_calls.adb
|
131
|
84
|
0
|
47
|
64.12%
|
src/frontends/aadl/ocarina-fe_aadl-parser-components.adb
|
521
|
396
|
0
|
125
|
76.01%
|
src/frontends/aadl/ocarina-fe_aadl-parser-identifiers.adb
|
241
|
178
|
0
|
63
|
73.86%
|
src/frontends/aadl/ocarina-fe_aadl-parser-namespaces.adb
|
473
|
365
|
0
|
108
|
77.17%
|
src/frontends/aadl/ocarina-fe_aadl-parser-properties-values.adb
|
1,693
|
1,134
|
0
|
559
|
66.98%
|
src/frontends/aadl/ocarina-fe_aadl-parser-properties.adb
|
585
|
471
|
0
|
114
|
80.51%
|
src/frontends/aadl/ocarina-fe_aadl-parser.adb
|
228
|
194
|
0
|
34
|
85.09%
|
src/frontends/aadl/ocarina-fe_aadl-parser_errors.adb
|
115
|
87
|
0
|
28
|
75.65%
|
src/frontends/aadl/ocarina-fe_aadl.adb
|
8
|
8
|
0
|
0
|
100.00%
|
src/frontends/aadl_ba/ocarina-fe_aadl_ba-lexer.adb
|
490
|
209
|
0
|
281
|
42.65%
|
src/frontends/aadl_ba/ocarina-fe_aadl_ba-lexer.ads
|
3
|
3
|
0
|
0
|
100.00%
|
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-actions.adb
|
711
|
386
|
0
|
325
|
54.29%
|
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-expressions.adb
|
694
|
347
|
0
|
347
|
50.00%
|
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-identifiers.adb
|
153
|
85
|
0
|
68
|
55.56%
|
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-specifications.adb
|
466
|
223
|
0
|
243
|
47.85%
|
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-thread_dispatch.adb
|
106
|
68
|
0
|
38
|
64.15%
|
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser.adb
|
95
|
55
|
0
|
40
|
57.89%
|
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser_errors.adb
|
74
|
54
|
0
|
20
|
72.97%
|
src/frontends/aadl_ba/ocarina-fe_aadl_ba.adb
|
10
|
7
|
0
|
3
|
70.00%
|
src/frontends/real/ocarina-fe_real-lexer.adb
|
392
|
223
|
0
|
169
|
56.89%
|
src/frontends/real/ocarina-fe_real-lexer.ads
|
6
|
6
|
0
|
0
|
100.00%
|
src/frontends/real/ocarina-fe_real-parser.adb
|
922
|
684
|
0
|
238
|
74.19%
|
src/frontends/real/ocarina-fe_real-parser.ads
|
2
|
2
|
0
|
0
|
100.00%
|
src/frontends/real/ocarina-fe_real-parser_errors.adb
|
70
|
3
|
0
|
67
|
4.29%
|
src/frontends/real/ocarina-fe_real.adb
|
7
|
7
|
0
|
0
|
100.00%
|
src/main/ocarina-cmd_line.adb
|
118
|
97
|
0
|
21
|
82.20%
|
src/main/ocarina-scripts.adb
|
222
|
86
|
0
|
136
|
38.74%
|
src/main/ocarina_cmd.adb
|
328
|
259
|
0
|
69
|
78.96%
|
src/python/ocarina-utils.adb
|
89
|
10
|
0
|
79
|
11.24%
|