aadl_pp/ocarina-be_aadl-annexes.adb
|
63
|
39
|
0
|
24
|
61.90%
|
aadl_pp/ocarina-be_aadl-components-arrays.adb
|
38
|
36
|
0
|
2
|
94.74%
|
aadl_pp/ocarina-be_aadl-components-connections.adb
|
67
|
56
|
0
|
11
|
83.58%
|
aadl_pp/ocarina-be_aadl-components-features.adb
|
106
|
98
|
0
|
8
|
92.45%
|
aadl_pp/ocarina-be_aadl-components-flows.adb
|
106
|
106
|
0
|
0
|
100.00%
|
aadl_pp/ocarina-be_aadl-components-modes.adb
|
104
|
87
|
0
|
17
|
83.65%
|
aadl_pp/ocarina-be_aadl-components-prototypes.adb
|
25
|
25
|
0
|
0
|
100.00%
|
aadl_pp/ocarina-be_aadl-components-subcomponents.adb
|
40
|
38
|
0
|
2
|
95.00%
|
aadl_pp/ocarina-be_aadl-components-subprogram_calls.adb
|
39
|
39
|
0
|
0
|
100.00%
|
aadl_pp/ocarina-be_aadl-components.adb
|
405
|
382
|
0
|
23
|
94.32%
|
aadl_pp/ocarina-be_aadl-identifiers.adb
|
23
|
23
|
0
|
0
|
100.00%
|
aadl_pp/ocarina-be_aadl-namespaces.adb
|
108
|
82
|
0
|
26
|
75.93%
|
aadl_pp/ocarina-be_aadl-properties-values.adb
|
536
|
462
|
0
|
74
|
86.19%
|
aadl_pp/ocarina-be_aadl-properties.adb
|
214
|
205
|
0
|
9
|
95.79%
|
aadl_pp/ocarina-be_aadl.adb
|
139
|
54
|
0
|
85
|
38.85%
|
aadl_pp/ocarina-be_aadl_ba-actions.adb
|
337
|
140
|
0
|
197
|
41.54%
|
aadl_pp/ocarina-be_aadl_ba-expressions.adb
|
260
|
133
|
0
|
127
|
51.15%
|
aadl_pp/ocarina-be_aadl_ba-identifiers.adb
|
40
|
12
|
0
|
28
|
30.00%
|
aadl_pp/ocarina-be_aadl_ba-specifications.adb
|
196
|
134
|
0
|
62
|
68.37%
|
aadl_pp/ocarina-be_aadl_ba-thread_dispatch.adb
|
68
|
41
|
0
|
27
|
60.29%
|
aadl_pp/ocarina-be_aadl_ba.adb
|
33
|
22
|
0
|
11
|
66.67%
|
aadl_xml/ocarina-backends-aadl_xml-main.adb
|
333
|
327
|
0
|
6
|
98.20%
|
aadl_xml/ocarina-backends-aadl_xml-mapping.adb
|
38
|
30
|
0
|
8
|
78.95%
|
aadl_xml/ocarina-backends-aadl_xml.adb
|
34
|
29
|
0
|
5
|
85.29%
|
aadl_xml/ocarina-backends-aadl_xml.ads
|
7
|
7
|
0
|
0
|
100.00%
|
air_conf/ocarina-backends-air_conf-air_configuration.adb
|
190
|
188
|
0
|
2
|
98.95%
|
air_conf/ocarina-backends-air_conf-mapping.adb
|
48
|
41
|
0
|
7
|
85.42%
|
air_conf/ocarina-backends-air_conf-module.adb
|
69
|
60
|
0
|
9
|
86.96%
|
air_conf/ocarina-backends-air_conf-partitions.adb
|
378
|
344
|
0
|
34
|
91.01%
|
air_conf/ocarina-backends-air_conf.adb
|
33
|
27
|
0
|
6
|
81.82%
|
air_conf/ocarina-backends-air_conf.ads
|
7
|
7
|
0
|
0
|
100.00%
|
alloy/ocarina-backends-alloy.adb
|
122
|
103
|
0
|
19
|
84.43%
|
arinc653/ocarina-backends-pok_c-activity.adb
|
1,045
|
685
|
0
|
360
|
65.55%
|
arinc653/ocarina-backends-pok_c-deployment.adb
|
1,732
|
708
|
0
|
1,024
|
40.88%
|
arinc653/ocarina-backends-pok_c-main.adb
|
900
|
515
|
0
|
385
|
57.22%
|
arinc653/ocarina-backends-pok_c-makefile.adb
|
522
|
8
|
0
|
514
|
1.53%
|
arinc653/ocarina-backends-pok_c-naming.adb
|
181
|
152
|
0
|
29
|
83.98%
|
arinc653/ocarina-backends-pok_c-runtime.adb
|
364
|
300
|
0
|
64
|
82.42%
|
arinc653/ocarina-backends-pok_c.adb
|
91
|
56
|
0
|
35
|
61.54%
|
arinc653/ocarina-backends-pok_c.ads
|
3
|
3
|
0
|
0
|
100.00%
|
arinc653_conf/ocarina-backends-arinc653_conf-connections.adb
|
92
|
0
|
0
|
92
|
0.00%
|
arinc653_conf/ocarina-backends-arinc653_conf-mapping.adb
|
566
|
0
|
0
|
566
|
0.00%
|
arinc653_conf/ocarina-backends-arinc653_conf-memory.adb
|
78
|
0
|
0
|
78
|
0.00%
|
arinc653_conf/ocarina-backends-arinc653_conf-module_hm.adb
|
66
|
0
|
0
|
66
|
0.00%
|
arinc653_conf/ocarina-backends-arinc653_conf-partition_hm.adb
|
78
|
0
|
0
|
78
|
0.00%
|
arinc653_conf/ocarina-backends-arinc653_conf-partitions.adb
|
131
|
4
|
0
|
127
|
3.05%
|
arinc653_conf/ocarina-backends-arinc653_conf-scheduling.adb
|
92
|
3
|
0
|
89
|
3.26%
|
arinc653_conf/ocarina-backends-arinc653_conf-system_hm.adb
|
168
|
0
|
0
|
168
|
0.00%
|
arinc653_conf/ocarina-backends-arinc653_conf.adb
|
37
|
3
|
0
|
34
|
8.11%
|
arinc653_conf/ocarina-backends-arinc653_conf.ads
|
7
|
7
|
0
|
0
|
100.00%
|
asn1_deployment/ocarina-backends-asn1-deployment.adb
|
179
|
172
|
0
|
7
|
96.09%
|
asn1_deployment/ocarina-backends-asn1.adb
|
21
|
17
|
0
|
4
|
80.95%
|
asn1_deployment/ocarina-backends-asn1.ads
|
3
|
3
|
0
|
0
|
100.00%
|
ast_ada/ocarina-backends-ada_tree-debug.adb
|
105
|
0
|
0
|
105
|
0.00%
|
ast_ada/ocarina-backends-ada_tree-generator.adb
|
1,700
|
1,267
|
0
|
433
|
74.53%
|
ast_ada/ocarina-backends-ada_tree-nutils.adb
|
1,465
|
1,194
|
0
|
271
|
81.50%
|
ast_ada/ocarina-backends-ada_tree-nutils.ads
|
15
|
15
|
0
|
0
|
100.00%
|
ast_ada/ocarina-backends-ada_values.adb
|
328
|
84
|
0
|
244
|
25.61%
|
ast_ada/ocarina-backends-ada_values.ads
|
3
|
3
|
0
|
0
|
100.00%
|
ast_asn1/ocarina-backends-asn1_tree-debug.adb
|
101
|
0
|
0
|
101
|
0.00%
|
ast_asn1/ocarina-backends-asn1_tree-generator.adb
|
157
|
146
|
0
|
11
|
92.99%
|
ast_asn1/ocarina-backends-asn1_tree-nutils.adb
|
273
|
219
|
0
|
54
|
80.22%
|
ast_asn1/ocarina-backends-asn1_tree-nutils.ads
|
4
|
4
|
0
|
0
|
100.00%
|
ast_asn1/ocarina-backends-asn1_values.adb
|
288
|
29
|
0
|
259
|
10.07%
|
ast_asn1/ocarina-backends-asn1_values.ads
|
3
|
3
|
0
|
0
|
100.00%
|
ast_c/ocarina-backends-c_tree-debug.adb
|
102
|
0
|
0
|
102
|
0.00%
|
ast_c/ocarina-backends-c_tree-generator.adb
|
915
|
854
|
0
|
61
|
93.33%
|
ast_c/ocarina-backends-c_tree-nutils.adb
|
1,151
|
909
|
0
|
242
|
78.97%
|
ast_c/ocarina-backends-c_tree-nutils.ads
|
13
|
13
|
0
|
0
|
100.00%
|
ast_c/ocarina-backends-c_values.adb
|
286
|
47
|
0
|
239
|
16.43%
|
ast_c/ocarina-backends-c_values.ads
|
3
|
3
|
0
|
0
|
100.00%
|
ast_xml/ocarina-backends-xml_tree-debug.adb
|
99
|
0
|
0
|
99
|
0.00%
|
ast_xml/ocarina-backends-xml_tree-generator.adb
|
196
|
188
|
0
|
8
|
95.92%
|
ast_xml/ocarina-backends-xml_tree-nutils.adb
|
278
|
176
|
0
|
102
|
63.31%
|
ast_xml/ocarina-backends-xml_tree-nutils.ads
|
7
|
7
|
0
|
0
|
100.00%
|
ast_xml/ocarina-backends-xml_values.adb
|
227
|
46
|
0
|
181
|
20.26%
|
ast_xml/ocarina-backends-xml_values.ads
|
3
|
3
|
0
|
0
|
100.00%
|
bound-t/ocarina-backends-boundt.adb
|
148
|
126
|
0
|
22
|
85.14%
|
cheddar/ocarina-backends-cheddar-main.adb
|
89
|
87
|
0
|
2
|
97.75%
|
cheddar/ocarina-backends-cheddar-mapping.adb
|
303
|
292
|
0
|
11
|
96.37%
|
cheddar/ocarina-backends-cheddar-mapping.ads
|
36
|
36
|
0
|
0
|
100.00%
|
cheddar/ocarina-backends-cheddar.adb
|
29
|
24
|
0
|
5
|
82.76%
|
cheddar/ocarina-backends-cheddar.ads
|
7
|
7
|
0
|
0
|
100.00%
|
cheddar/ocarina-backends-pok_cheddar.adb
|
229
|
193
|
0
|
36
|
84.28%
|
cheddar/ocarina-backends-pok_cheddar.ads
|
7
|
7
|
0
|
0
|
100.00%
|
connection_matrix/ocarina-backends-connection_matrix-main.adb
|
283
|
261
|
0
|
22
|
92.23%
|
connection_matrix/ocarina-backends-connection_matrix-main.ads
|
3
|
3
|
0
|
0
|
100.00%
|
connection_matrix/ocarina-backends-connection_matrix.adb
|
21
|
20
|
0
|
1
|
95.24%
|
connection_matrix/ocarina-backends-connection_matrix.ads
|
3
|
3
|
0
|
0
|
100.00%
|
deos_conf/ocarina-backends-deos_conf-hm.adb
|
138
|
113
|
0
|
25
|
81.88%
|
deos_conf/ocarina-backends-deos_conf-mapping.adb
|
184
|
179
|
0
|
5
|
97.28%
|
deos_conf/ocarina-backends-deos_conf-naming.adb
|
86
|
76
|
0
|
10
|
88.37%
|
deos_conf/ocarina-backends-deos_conf-partitions.adb
|
228
|
198
|
0
|
30
|
86.84%
|
deos_conf/ocarina-backends-deos_conf-schedule.adb
|
105
|
85
|
0
|
20
|
80.95%
|
deos_conf/ocarina-backends-deos_conf.adb
|
33
|
27
|
0
|
6
|
81.82%
|
deos_conf/ocarina-backends-deos_conf.ads
|
7
|
7
|
0
|
0
|
100.00%
|
functions_matrix/ocarina-backends-functions_matrix-main.adb
|
205
|
201
|
0
|
4
|
98.05%
|
functions_matrix/ocarina-backends-functions_matrix-main.ads
|
3
|
3
|
0
|
0
|
100.00%
|
functions_matrix/ocarina-backends-functions_matrix.adb
|
21
|
20
|
0
|
1
|
95.24%
|
functions_matrix/ocarina-backends-functions_matrix.ads
|
3
|
3
|
0
|
0
|
100.00%
|
lnt/ocarina-backends-lnt-components.adb
|
394
|
339
|
0
|
55
|
86.04%
|
lnt/ocarina-backends-lnt-debug.adb
|
102
|
0
|
0
|
102
|
0.00%
|
lnt/ocarina-backends-lnt-nutils.adb
|
179
|
137
|
0
|
42
|
76.54%
|
lnt/ocarina-backends-lnt-nutils.ads
|
3
|
3
|
0
|
0
|
100.00%
|
lnt/ocarina-backends-lnt-printer.adb
|
1,068
|
862
|
0
|
206
|
80.71%
|
lnt/ocarina-backends-lnt-svl_generator.adb
|
130
|
127
|
0
|
3
|
97.69%
|
lnt/ocarina-backends-lnt-tree_generator.adb
|
28
|
27
|
0
|
1
|
96.43%
|
lnt/ocarina-backends-lnt-tree_generator_main.adb
|
352
|
349
|
0
|
3
|
99.15%
|
lnt/ocarina-backends-lnt-tree_generator_port.adb
|
15
|
14
|
0
|
1
|
93.33%
|
lnt/ocarina-backends-lnt-tree_generator_processor.adb
|
1,253
|
1,224
|
0
|
29
|
97.69%
|
lnt/ocarina-backends-lnt-tree_generator_thread.adb
|
285
|
263
|
0
|
22
|
92.28%
|
lnt/ocarina-backends-lnt-tree_generator_types.adb
|
248
|
248
|
0
|
0
|
100.00%
|
lnt/ocarina-backends-lnt.adb
|
68
|
67
|
0
|
1
|
98.53%
|
lnt/ocarina-backends-lnt.ads
|
9
|
9
|
0
|
0
|
100.00%
|
mast/ocarina-backends-mast-main.adb
|
416
|
344
|
0
|
72
|
82.69%
|
mast/ocarina-backends-mast.adb
|
24
|
20
|
0
|
4
|
83.33%
|
mast/ocarina-backends-mast.ads
|
3
|
3
|
0
|
0
|
100.00%
|
mast/ocarina-backends-mast_tree-debug.adb
|
99
|
0
|
0
|
99
|
0.00%
|
mast/ocarina-backends-mast_tree-generator.adb
|
740
|
604
|
0
|
136
|
81.62%
|
mast/ocarina-backends-mast_tree-nutils.adb
|
336
|
212
|
0
|
124
|
63.10%
|
mast/ocarina-backends-mast_tree-nutils.ads
|
5
|
5
|
0
|
0
|
100.00%
|
mast/ocarina-backends-mast_values.adb
|
227
|
46
|
0
|
181
|
20.26%
|
mast/ocarina-backends-mast_values.ads
|
3
|
3
|
0
|
0
|
100.00%
|
ocarina-backends-build_utils.adb
|
1,278
|
1,082
|
0
|
196
|
84.66%
|
ocarina-backends-build_utils.ads
|
2
|
2
|
0
|
0
|
100.00%
|
ocarina-backends-c_common-ba.adb
|
2,559
|
2,304
|
0
|
255
|
90.04%
|
ocarina-backends-c_common-mapping.adb
|
2,149
|
888
|
0
|
1,261
|
41.32%
|
ocarina-backends-c_common-subprograms.adb
|
628
|
538
|
0
|
90
|
85.67%
|
ocarina-backends-c_common-types.adb
|
899
|
763
|
0
|
136
|
84.87%
|
ocarina-backends-execution_tests.adb
|
459
|
2
|
0
|
457
|
0.44%
|
ocarina-backends-execution_tests.ads
|
11
|
11
|
0
|
0
|
100.00%
|
ocarina-backends-execution_utils.adb
|
77
|
0
|
0
|
77
|
0.00%
|
ocarina-backends-execution_utils.ads
|
3
|
3
|
0
|
0
|
100.00%
|
ocarina-backends-expander.adb
|
332
|
252
|
0
|
80
|
75.90%
|
ocarina-backends-helper.adb
|
5
|
5
|
0
|
0
|
100.00%
|
ocarina-backends-helper.ads
|
66
|
25
|
0
|
41
|
37.88%
|
ocarina-backends-messages.adb
|
31
|
31
|
0
|
0
|
100.00%
|
ocarina-backends-properties-arinc653.adb
|
47
|
44
|
0
|
3
|
93.62%
|
ocarina-backends-properties-utils.adb
|
148
|
39
|
0
|
109
|
26.35%
|
ocarina-backends-properties-utils.ads
|
2
|
2
|
0
|
0
|
100.00%
|
ocarina-backends-properties.adb
|
1,847
|
1,168
|
0
|
679
|
63.24%
|
ocarina-backends-replication_expander.adb
|
1,094
|
3
|
0
|
1,091
|
0.27%
|
ocarina-backends-replication_properties.adb
|
182
|
0
|
0
|
182
|
0.00%
|
ocarina-backends-utils.adb
|
1,716
|
1,117
|
0
|
599
|
65.09%
|
ocarina-backends-xml_common-mapping.adb
|
48
|
32
|
0
|
16
|
66.67%
|
ocarina-backends.adb
|
140
|
115
|
0
|
25
|
82.14%
|
petri_nets/ocarina-backends-pn-components.adb
|
1,198
|
1,058
|
0
|
140
|
88.31%
|
petri_nets/ocarina-backends-pn-debug.adb
|
91
|
7
|
0
|
84
|
7.69%
|
petri_nets/ocarina-backends-pn-format-cami.adb
|
294
|
269
|
0
|
25
|
91.50%
|
petri_nets/ocarina-backends-pn-format-tina.adb
|
92
|
79
|
0
|
13
|
85.87%
|
petri_nets/ocarina-backends-pn-iutils.adb
|
410
|
362
|
0
|
48
|
88.29%
|
petri_nets/ocarina-backends-pn-nutils.adb
|
55
|
54
|
0
|
1
|
98.18%
|
petri_nets/ocarina-backends-pn-printer.adb
|
78
|
78
|
0
|
0
|
100.00%
|
petri_nets/ocarina-backends-pn-utils.adb
|
9
|
9
|
0
|
0
|
100.00%
|
petri_nets/ocarina-backends-pn.adb
|
35
|
32
|
0
|
3
|
91.43%
|
po_hi_ada/ocarina-backends-po_hi_ada-activity.adb
|
1,151
|
994
|
0
|
157
|
86.36%
|
po_hi_ada/ocarina-backends-po_hi_ada-deployment.adb
|
625
|
616
|
0
|
9
|
98.56%
|
po_hi_ada/ocarina-backends-po_hi_ada-job.adb
|
1,305
|
1,051
|
0
|
254
|
80.54%
|
po_hi_ada/ocarina-backends-po_hi_ada-main.adb
|
147
|
134
|
0
|
13
|
91.16%
|
po_hi_ada/ocarina-backends-po_hi_ada-mapping.adb
|
675
|
597
|
0
|
78
|
88.44%
|
po_hi_ada/ocarina-backends-po_hi_ada-marshallers.adb
|
472
|
434
|
0
|
38
|
91.95%
|
po_hi_ada/ocarina-backends-po_hi_ada-naming.adb
|
242
|
204
|
0
|
38
|
84.30%
|
po_hi_ada/ocarina-backends-po_hi_ada-runtime.adb
|
147
|
145
|
0
|
2
|
98.64%
|
po_hi_ada/ocarina-backends-po_hi_ada-subprograms.adb
|
472
|
449
|
0
|
23
|
95.13%
|
po_hi_ada/ocarina-backends-po_hi_ada-transport.adb
|
616
|
573
|
0
|
43
|
93.02%
|
po_hi_ada/ocarina-backends-po_hi_ada-types.adb
|
662
|
541
|
0
|
121
|
81.72%
|
po_hi_ada/ocarina-backends-po_hi_ada.adb
|
319
|
241
|
0
|
78
|
75.55%
|
po_hi_ada/ocarina-backends-po_hi_ada.ads
|
3
|
3
|
0
|
0
|
100.00%
|
po_hi_c/ocarina-backends-po_hi_c-activity.adb
|
1,271
|
1,212
|
0
|
59
|
95.36%
|
po_hi_c/ocarina-backends-po_hi_c-deployment.adb
|
1,372
|
1,114
|
0
|
258
|
81.20%
|
po_hi_c/ocarina-backends-po_hi_c-main.adb
|
331
|
289
|
0
|
42
|
87.31%
|
po_hi_c/ocarina-backends-po_hi_c-marshallers.adb
|
1,040
|
948
|
0
|
92
|
91.15%
|
po_hi_c/ocarina-backends-po_hi_c-naming.adb
|
285
|
216
|
0
|
69
|
75.79%
|
po_hi_c/ocarina-backends-po_hi_c-request.adb
|
293
|
289
|
0
|
4
|
98.63%
|
po_hi_c/ocarina-backends-po_hi_c-runtime.adb
|
147
|
131
|
0
|
16
|
89.12%
|
po_hi_c/ocarina-backends-po_hi_c.adb
|
312
|
211
|
0
|
101
|
67.63%
|
real/ocarina-backends-real-debug.adb
|
11
|
0
|
0
|
11
|
0.00%
|
real/ocarina-backends-real.adb
|
1,907
|
1,388
|
0
|
519
|
72.78%
|
real/ocarina-be_real.adb
|
304
|
253
|
0
|
51
|
83.22%
|
stats/ocarina-backends-stats-main.adb
|
249
|
223
|
0
|
26
|
89.56%
|
stats/ocarina-backends-stats-main.ads
|
3
|
3
|
0
|
0
|
100.00%
|
stats/ocarina-backends-stats-mapping.adb
|
503
|
320
|
0
|
183
|
63.62%
|
stats/ocarina-backends-stats.adb
|
21
|
20
|
0
|
1
|
95.24%
|
stats/ocarina-backends-stats.ads
|
3
|
3
|
0
|
0
|
100.00%
|
subprograms/ocarina-backends-subprograms.adb
|
243
|
145
|
0
|
98
|
59.67%
|
subprograms/ocarina-backends-subprograms.ads
|
3
|
3
|
0
|
0
|
100.00%
|
vxwork653_conf/ocarina-backends-vxworks653_conf-connections.adb
|
106
|
96
|
0
|
10
|
90.57%
|
vxwork653_conf/ocarina-backends-vxworks653_conf-hm.adb
|
214
|
182
|
0
|
32
|
85.05%
|
vxwork653_conf/ocarina-backends-vxworks653_conf-mapping.adb
|
105
|
103
|
0
|
2
|
98.10%
|
vxwork653_conf/ocarina-backends-vxworks653_conf-naming.adb
|
202
|
192
|
0
|
10
|
95.05%
|
vxwork653_conf/ocarina-backends-vxworks653_conf-partitions.adb
|
118
|
101
|
0
|
17
|
85.59%
|
vxwork653_conf/ocarina-backends-vxworks653_conf-payloads.adb
|
91
|
72
|
0
|
19
|
79.12%
|
vxwork653_conf/ocarina-backends-vxworks653_conf-schedule.adb
|
97
|
83
|
0
|
14
|
85.57%
|
vxwork653_conf/ocarina-backends-vxworks653_conf.adb
|
35
|
29
|
0
|
6
|
82.86%
|
vxwork653_conf/ocarina-backends-vxworks653_conf.ads
|
7
|
7
|
0
|
0
|
100.00%
|
xtratum_conf/ocarina-backends-xtratum_conf-channels.adb
|
169
|
165
|
0
|
4
|
97.63%
|
xtratum_conf/ocarina-backends-xtratum_conf-hardware_description.adb
|
218
|
208
|
0
|
10
|
95.41%
|
xtratum_conf/ocarina-backends-xtratum_conf-mapping.adb
|
53
|
46
|
0
|
7
|
86.79%
|
xtratum_conf/ocarina-backends-xtratum_conf-partition_table.adb
|
221
|
182
|
0
|
39
|
82.35%
|
xtratum_conf/ocarina-backends-xtratum_conf-resident_sw.adb
|
66
|
64
|
0
|
2
|
96.97%
|
xtratum_conf/ocarina-backends-xtratum_conf-system_description.adb
|
73
|
64
|
0
|
9
|
87.67%
|
xtratum_conf/ocarina-backends-xtratum_conf-xm_hypervisor.adb
|
68
|
66
|
0
|
2
|
97.06%
|
xtratum_conf/ocarina-backends-xtratum_conf.adb
|
36
|
33
|
0
|
3
|
91.67%
|
xtratum_conf/ocarina-backends-xtratum_conf.ads
|
7
|
7
|
0
|
0
|
100.00%
|