Files Coverage
src/backends/aadl_pp/ocarina-be_aadl-annexes.adb 61.90%
src/backends/aadl_pp/ocarina-be_aadl-components-arrays.adb 94.74%
src/backends/aadl_pp/ocarina-be_aadl-components-connections.adb 83.58%
src/backends/aadl_pp/ocarina-be_aadl-components-features.adb 92.45%
src/backends/aadl_pp/ocarina-be_aadl-components-flows.adb 100.00%
src/backends/aadl_pp/ocarina-be_aadl-components-modes.adb 86.87%
src/backends/aadl_pp/ocarina-be_aadl-components-prototypes.adb 100.00%
src/backends/aadl_pp/ocarina-be_aadl-components-subcomponents.adb 95.00%
src/backends/aadl_pp/ocarina-be_aadl-components-subprogram_calls.adb 100.00%
src/backends/aadl_pp/ocarina-be_aadl-components.adb 94.78%
src/backends/aadl_pp/ocarina-be_aadl-identifiers.adb 100.00%
src/backends/aadl_pp/ocarina-be_aadl-namespaces.adb 75.93%
src/backends/aadl_pp/ocarina-be_aadl-properties-values.adb 86.19%
src/backends/aadl_pp/ocarina-be_aadl-properties.adb 95.61%
src/backends/aadl_pp/ocarina-be_aadl.adb 38.85%
src/backends/aadl_pp/ocarina-be_aadl_ba-actions.adb 41.54%
src/backends/aadl_pp/ocarina-be_aadl_ba-expressions.adb 51.15%
src/backends/aadl_pp/ocarina-be_aadl_ba-identifiers.adb 30.00%
src/backends/aadl_pp/ocarina-be_aadl_ba-specifications.adb 68.37%
src/backends/aadl_pp/ocarina-be_aadl_ba-thread_dispatch.adb 60.29%
src/backends/aadl_pp/ocarina-be_aadl_ba.adb 66.67%
src/backends/aadl_xml/ocarina-backends-aadl_xml-main.adb 96.78%
src/backends/aadl_xml/ocarina-backends-aadl_xml-mapping.adb 78.95%
src/backends/aadl_xml/ocarina-backends-aadl_xml.adb 82.14%
src/backends/aadl_xml/ocarina-backends-aadl_xml.ads 100.00%
src/backends/air_conf/ocarina-backends-air_conf-air_configuration.adb 98.95%
src/backends/air_conf/ocarina-backends-air_conf-mapping.adb 85.42%
src/backends/air_conf/ocarina-backends-air_conf-module.adb 86.96%
src/backends/air_conf/ocarina-backends-air_conf-partitions.adb 91.01%
src/backends/air_conf/ocarina-backends-air_conf.adb 81.82%
src/backends/air_conf/ocarina-backends-air_conf.ads 100.00%
src/backends/alloy/ocarina-backends-alloy.adb 84.43%
src/backends/arinc653/ocarina-backends-pok_c-activity.adb 65.55%
src/backends/arinc653/ocarina-backends-pok_c-deployment.adb 40.82%
src/backends/arinc653/ocarina-backends-pok_c-main.adb 57.22%
src/backends/arinc653/ocarina-backends-pok_c-makefile.adb 1.53%
src/backends/arinc653/ocarina-backends-pok_c-naming.adb 83.98%
src/backends/arinc653/ocarina-backends-pok_c-runtime.adb 82.42%
src/backends/arinc653/ocarina-backends-pok_c.adb 61.54%
src/backends/arinc653/ocarina-backends-pok_c.ads 100.00%
src/backends/arinc653_conf/ocarina-backends-arinc653_conf-connections.adb 0.00%
src/backends/arinc653_conf/ocarina-backends-arinc653_conf-mapping.adb 0.00%
src/backends/arinc653_conf/ocarina-backends-arinc653_conf-memory.adb 0.00%
src/backends/arinc653_conf/ocarina-backends-arinc653_conf-module_hm.adb 0.00%
src/backends/arinc653_conf/ocarina-backends-arinc653_conf-partition_hm.adb 0.00%
src/backends/arinc653_conf/ocarina-backends-arinc653_conf-partitions.adb 3.05%
src/backends/arinc653_conf/ocarina-backends-arinc653_conf-scheduling.adb 3.26%
src/backends/arinc653_conf/ocarina-backends-arinc653_conf-system_hm.adb 0.00%
src/backends/arinc653_conf/ocarina-backends-arinc653_conf.adb 8.11%
src/backends/arinc653_conf/ocarina-backends-arinc653_conf.ads 100.00%
src/backends/asn1_deployment/ocarina-backends-asn1-deployment.adb 3.91%
src/backends/asn1_deployment/ocarina-backends-asn1.adb 19.05%
src/backends/asn1_deployment/ocarina-backends-asn1.ads 100.00%
src/backends/ast_ada/ocarina-backends-ada_tree-debug.adb 0.00%
src/backends/ast_ada/ocarina-backends-ada_tree-generator.adb 73.82%
src/backends/ast_ada/ocarina-backends-ada_tree-nutils.adb 81.64%
src/backends/ast_ada/ocarina-backends-ada_tree-nutils.ads 100.00%
src/backends/ast_ada/ocarina-backends-ada_values.adb 28.66%
src/backends/ast_ada/ocarina-backends-ada_values.ads 100.00%
src/backends/ast_asn1/ocarina-backends-asn1_tree-debug.adb 0.00%
src/backends/ast_asn1/ocarina-backends-asn1_tree-generator.adb 0.00%
src/backends/ast_asn1/ocarina-backends-asn1_tree-nutils.adb 39.19%
src/backends/ast_asn1/ocarina-backends-asn1_tree-nutils.ads 100.00%
src/backends/ast_asn1/ocarina-backends-asn1_values.adb 1.74%
src/backends/ast_asn1/ocarina-backends-asn1_values.ads 100.00%
src/backends/ast_c/ocarina-backends-c_tree-debug.adb 0.00%
src/backends/ast_c/ocarina-backends-c_tree-generator.adb 93.33%
src/backends/ast_c/ocarina-backends-c_tree-nutils.adb 78.89%
src/backends/ast_c/ocarina-backends-c_tree-nutils.ads 100.00%
src/backends/ast_c/ocarina-backends-c_values.adb 16.43%
src/backends/ast_c/ocarina-backends-c_values.ads 100.00%
src/backends/ast_xml/ocarina-backends-xml_tree-debug.adb 0.00%
src/backends/ast_xml/ocarina-backends-xml_tree-generator.adb 95.43%
src/backends/ast_xml/ocarina-backends-xml_tree-nutils.adb 63.31%
src/backends/ast_xml/ocarina-backends-xml_tree-nutils.ads 100.00%
src/backends/ast_xml/ocarina-backends-xml_values.adb 20.26%
src/backends/ast_xml/ocarina-backends-xml_values.ads 100.00%
src/backends/bound-t/ocarina-backends-boundt.adb 85.14%
src/backends/cheddar/ocarina-backends-cheddar-main.adb 97.75%
src/backends/cheddar/ocarina-backends-cheddar-mapping.adb 96.04%
src/backends/cheddar/ocarina-backends-cheddar-mapping.ads 92.31%
src/backends/cheddar/ocarina-backends-cheddar.adb 82.76%
src/backends/cheddar/ocarina-backends-cheddar.ads 100.00%
src/backends/cheddar/ocarina-backends-pok_cheddar.adb 84.28%
src/backends/cheddar/ocarina-backends-pok_cheddar.ads 100.00%
src/backends/connection_matrix/ocarina-backends-connection_matrix-main.adb 92.23%
src/backends/connection_matrix/ocarina-backends-connection_matrix-main.ads 100.00%
src/backends/connection_matrix/ocarina-backends-connection_matrix.adb 95.24%
src/backends/connection_matrix/ocarina-backends-connection_matrix.ads 100.00%
src/backends/deos_conf/ocarina-backends-deos_conf-hm.adb 81.88%
src/backends/deos_conf/ocarina-backends-deos_conf-mapping.adb 97.28%
src/backends/deos_conf/ocarina-backends-deos_conf-naming.adb 88.37%
src/backends/deos_conf/ocarina-backends-deos_conf-partitions.adb 86.84%
src/backends/deos_conf/ocarina-backends-deos_conf-schedule.adb 80.00%
src/backends/deos_conf/ocarina-backends-deos_conf.adb 81.82%
src/backends/deos_conf/ocarina-backends-deos_conf.ads 100.00%
src/backends/functions_matrix/ocarina-backends-functions_matrix-main.adb 98.05%
src/backends/functions_matrix/ocarina-backends-functions_matrix-main.ads 100.00%
src/backends/functions_matrix/ocarina-backends-functions_matrix.adb 95.24%
src/backends/functions_matrix/ocarina-backends-functions_matrix.ads 100.00%
src/backends/lnt/ocarina-backends-lnt-components.adb 86.04%
src/backends/lnt/ocarina-backends-lnt-debug.adb 0.00%
src/backends/lnt/ocarina-backends-lnt-nutils.adb 76.54%
src/backends/lnt/ocarina-backends-lnt-nutils.ads 100.00%
src/backends/lnt/ocarina-backends-lnt-printer.adb 80.71%
src/backends/lnt/ocarina-backends-lnt-svl_generator.adb 97.69%
src/backends/lnt/ocarina-backends-lnt-tree_generator.adb 96.43%
src/backends/lnt/ocarina-backends-lnt-tree_generator_main.adb 99.15%
src/backends/lnt/ocarina-backends-lnt-tree_generator_port.adb 93.33%
src/backends/lnt/ocarina-backends-lnt-tree_generator_processor.adb 97.69%
src/backends/lnt/ocarina-backends-lnt-tree_generator_thread.adb 91.93%
src/backends/lnt/ocarina-backends-lnt-tree_generator_types.adb 100.00%
src/backends/lnt/ocarina-backends-lnt.adb 98.53%
src/backends/lnt/ocarina-backends-lnt.ads 100.00%
src/backends/mast/ocarina-backends-mast-main.adb 82.45%
src/backends/mast/ocarina-backends-mast.adb 83.33%
src/backends/mast/ocarina-backends-mast.ads 100.00%
src/backends/mast/ocarina-backends-mast_tree-debug.adb 0.00%
src/backends/mast/ocarina-backends-mast_tree-generator.adb 81.62%
src/backends/mast/ocarina-backends-mast_tree-nutils.adb 63.10%
src/backends/mast/ocarina-backends-mast_tree-nutils.ads 100.00%
src/backends/mast/ocarina-backends-mast_values.adb 20.26%
src/backends/mast/ocarina-backends-mast_values.ads 100.00%
src/backends/ocarina-backends-build_utils.adb 83.75%
src/backends/ocarina-backends-build_utils.ads 100.00%
src/backends/ocarina-backends-c_common-ba.adb 90.04%
src/backends/ocarina-backends-c_common-mapping.adb 41.32%
src/backends/ocarina-backends-c_common-subprograms.adb 85.67%
src/backends/ocarina-backends-c_common-types.adb 84.76%
src/backends/ocarina-backends-execution_tests.adb 0.44%
src/backends/ocarina-backends-execution_tests.ads 100.00%
src/backends/ocarina-backends-execution_utils.adb 0.00%
src/backends/ocarina-backends-execution_utils.ads 100.00%
src/backends/ocarina-backends-expander.adb 65.66%
src/backends/ocarina-backends-helper.adb 100.00%
src/backends/ocarina-backends-helper.ads 37.88%
src/backends/ocarina-backends-messages.adb 100.00%
src/backends/ocarina-backends-properties-arinc653.adb 93.62%
src/backends/ocarina-backends-properties-utils.adb 26.35%
src/backends/ocarina-backends-properties-utils.ads 100.00%
src/backends/ocarina-backends-properties.adb 64.05%
src/backends/ocarina-backends-replication_expander.adb 0.27%
src/backends/ocarina-backends-replication_properties.adb 0.00%
src/backends/ocarina-backends-utils.adb 65.50%
src/backends/ocarina-backends-xml_common-mapping.adb 66.67%
src/backends/ocarina-backends.adb 81.56%
src/backends/petri_nets/ocarina-backends-pn-components.adb 88.15%
src/backends/petri_nets/ocarina-backends-pn-debug.adb 7.69%
src/backends/petri_nets/ocarina-backends-pn-format-cami.adb 91.50%
src/backends/petri_nets/ocarina-backends-pn-format-tina.adb 90.22%
src/backends/petri_nets/ocarina-backends-pn-iutils.adb 88.29%
src/backends/petri_nets/ocarina-backends-pn-nutils.adb 98.18%
src/backends/petri_nets/ocarina-backends-pn-printer.adb 100.00%
src/backends/petri_nets/ocarina-backends-pn-utils.adb 100.00%
src/backends/petri_nets/ocarina-backends-pn.adb 91.43%
src/backends/po_hi_ada/ocarina-backends-po_hi_ada-activity.adb 77.31%
src/backends/po_hi_ada/ocarina-backends-po_hi_ada-deployment.adb 98.40%
src/backends/po_hi_ada/ocarina-backends-po_hi_ada-job.adb 60.59%
src/backends/po_hi_ada/ocarina-backends-po_hi_ada-main.adb 91.16%
src/backends/po_hi_ada/ocarina-backends-po_hi_ada-mapping.adb 88.89%
src/backends/po_hi_ada/ocarina-backends-po_hi_ada-marshallers.adb 89.83%
src/backends/po_hi_ada/ocarina-backends-po_hi_ada-naming.adb 89.26%
src/backends/po_hi_ada/ocarina-backends-po_hi_ada-runtime.adb 98.64%
src/backends/po_hi_ada/ocarina-backends-po_hi_ada-subprograms.adb 95.13%
src/backends/po_hi_ada/ocarina-backends-po_hi_ada-transport.adb 95.85%
src/backends/po_hi_ada/ocarina-backends-po_hi_ada-types.adb 83.23%
src/backends/po_hi_ada/ocarina-backends-po_hi_ada.adb 76.80%
src/backends/po_hi_ada/ocarina-backends-po_hi_ada.ads 100.00%
src/backends/po_hi_c/ocarina-backends-po_hi_c-activity.adb 95.28%
src/backends/po_hi_c/ocarina-backends-po_hi_c-deployment.adb 81.20%
src/backends/po_hi_c/ocarina-backends-po_hi_c-main.adb 87.31%
src/backends/po_hi_c/ocarina-backends-po_hi_c-marshallers.adb 91.14%
src/backends/po_hi_c/ocarina-backends-po_hi_c-naming.adb 75.62%
src/backends/po_hi_c/ocarina-backends-po_hi_c-request.adb 98.63%
src/backends/po_hi_c/ocarina-backends-po_hi_c-runtime.adb 89.12%
src/backends/po_hi_c/ocarina-backends-po_hi_c.adb 68.40%
src/backends/real/ocarina-backends-real-debug.adb 0.00%
src/backends/real/ocarina-backends-real.adb 72.78%
src/backends/real/ocarina-be_real.adb 83.22%
src/backends/stats/ocarina-backends-stats-main.adb 89.56%
src/backends/stats/ocarina-backends-stats-main.ads 100.00%
src/backends/stats/ocarina-backends-stats-mapping.adb 63.62%
src/backends/stats/ocarina-backends-stats.adb 95.24%
src/backends/stats/ocarina-backends-stats.ads 100.00%
src/backends/subprograms/ocarina-backends-subprograms.adb 59.67%
src/backends/subprograms/ocarina-backends-subprograms.ads 100.00%
...rc/backends/vxwork653_conf/ocarina-backends-vxworks653_conf-connections.adb 90.57%
src/backends/vxwork653_conf/ocarina-backends-vxworks653_conf-hm.adb 85.05%
src/backends/vxwork653_conf/ocarina-backends-vxworks653_conf-mapping.adb 98.10%
src/backends/vxwork653_conf/ocarina-backends-vxworks653_conf-naming.adb 95.05%
src/backends/vxwork653_conf/ocarina-backends-vxworks653_conf-partitions.adb 85.59%
src/backends/vxwork653_conf/ocarina-backends-vxworks653_conf-payloads.adb 79.12%
src/backends/vxwork653_conf/ocarina-backends-vxworks653_conf-schedule.adb 84.54%
src/backends/vxwork653_conf/ocarina-backends-vxworks653_conf.adb 82.86%
src/backends/vxwork653_conf/ocarina-backends-vxworks653_conf.ads 100.00%
src/backends/xtratum_conf/ocarina-backends-xtratum_conf-channels.adb 97.63%
...ackends/xtratum_conf/ocarina-backends-xtratum_conf-hardware_description.adb 94.95%
src/backends/xtratum_conf/ocarina-backends-xtratum_conf-mapping.adb 86.79%
src/backends/xtratum_conf/ocarina-backends-xtratum_conf-partition_table.adb 82.35%
src/backends/xtratum_conf/ocarina-backends-xtratum_conf-resident_sw.adb 96.97%
.../backends/xtratum_conf/ocarina-backends-xtratum_conf-system_description.adb 87.67%
src/backends/xtratum_conf/ocarina-backends-xtratum_conf-xm_hypervisor.adb 97.06%
src/backends/xtratum_conf/ocarina-backends-xtratum_conf.adb 91.67%
src/backends/xtratum_conf/ocarina-backends-xtratum_conf.ads 100.00%
src/core/common_files/charset.adb 88.89%
src/core/common_files/errors.adb 69.03%
src/core/common_files/errors.ads 100.00%
src/core/common_files/locations.adb 76.60%
src/core/common_files/ocarina-namet.adb 93.23%
src/core/common_files/ocarina-namet.ads 100.00%
src/core/common_files/ocarina-output.adb 86.05%
src/core/common_files/ocarina-types.adb 100.00%
src/core/common_files/outfiles.adb 86.67%
src/core/common_files/utils.adb 45.38%
src/core/common_files/utils.ads 100.00%
src/core/instance/ocarina-instances-annexes.adb 90.00%
src/core/instance/ocarina-instances-components-connections.adb 85.32%
src/core/instance/ocarina-instances-components-features.adb 78.33%
src/core/instance/ocarina-instances-components-modes.adb 71.51%
src/core/instance/ocarina-instances-components-subcomponents.adb 95.45%
src/core/instance/ocarina-instances-components-subprogram_calls.adb 81.97%
src/core/instance/ocarina-instances-components.adb 80.39%
src/core/instance/ocarina-instances-finder.adb 73.06%
src/core/instance/ocarina-instances-messages.adb 20.00%
src/core/instance/ocarina-instances-namespaces.adb 100.00%
src/core/instance/ocarina-instances-processor-properties.adb 66.48%
src/core/instance/ocarina-instances-properties.adb 60.06%
src/core/instance/ocarina-instances-queries.adb 66.96%
.../core/instance/ocarina-instances-real_checker-queries-access_predicates.adb 28.57%
...c/core/instance/ocarina-instances-real_checker-queries-bound_predicates.adb 85.71%
...rc/core/instance/ocarina-instances-real_checker-queries-call_predicates.adb 72.31%
...re/instance/ocarina-instances-real_checker-queries-connected_predicates.adb 92.59%
...core/instance/ocarina-instances-real_checker-queries-passing_predicates.adb 69.23%
.../instance/ocarina-instances-real_checker-queries-predecessor_predicates.adb 80.43%
...stance/ocarina-instances-real_checker-queries-provided_class_predicates.adb 100.00%
...e/instance/ocarina-instances-real_checker-queries-relational_predicates.adb 46.15%
...instance/ocarina-instances-real_checker-queries-subcomponent_predicates.adb 46.15%
src/core/instance/ocarina-instances-real_checker-queries.adb 56.07%
src/core/instance/ocarina-instances-real_checker-queries.ads 100.00%
src/core/instance/ocarina-instances-real_finder.adb 80.00%
src/core/instance/ocarina-instances.adb 81.77%
src/core/instance/ocarina-real_expander-flow_analysis.adb 89.47%
src/core/instance/ocarina-real_expander.adb 87.67%
src/core/mgmt/ocarina-files.adb 90.00%
src/core/mgmt/ocarina-files.ads 100.00%
src/core/mgmt/ocarina-options.adb 85.54%
src/core/mgmt/ocarina-options.ads 100.00%
src/core/mgmt/ocarina-parser.adb 90.91%
src/core/mgmt/ocarina.adb 88.89%
src/core/mgmt/ocarina.ads 100.00%
src/core/model/ocarina-analyzer-aadl-annexes.adb 90.00%
src/core/model/ocarina-analyzer-aadl-finder.adb 86.07%
src/core/model/ocarina-analyzer-aadl-legality_rules.adb 77.80%
src/core/model/ocarina-analyzer-aadl-links.adb 89.73%
src/core/model/ocarina-analyzer-aadl-names.adb 97.11%
src/core/model/ocarina-analyzer-aadl-naming_rules.adb 88.41%
src/core/model/ocarina-analyzer-aadl-naming_rules.ads 100.00%
src/core/model/ocarina-analyzer-aadl-queries.adb 48.43%
src/core/model/ocarina-analyzer-aadl-semantics.adb 89.36%
src/core/model/ocarina-analyzer-aadl.adb 92.41%
src/core/model/ocarina-analyzer-aadl_ba.adb 88.66%
src/core/model/ocarina-analyzer-aadl_ema-finder.adb 0.00%
src/core/model/ocarina-analyzer-aadl_ema-links.adb 0.00%
src/core/model/ocarina-analyzer-aadl_ema-naming_rules.adb 0.00%
src/core/model/ocarina-analyzer-aadl_ema.adb 20.59%
src/core/model/ocarina-analyzer-messages.adb 54.25%
src/core/model/ocarina-analyzer-real-finder.adb 67.37%
src/core/model/ocarina-analyzer-real-finder.ads 100.00%
src/core/model/ocarina-analyzer-real.adb 52.16%
src/core/model/ocarina-analyzer.adb 88.24%
src/core/model/ocarina-builder-aadl-annexes.adb 58.82%
src/core/model/ocarina-builder-aadl-components-arrays.adb 100.00%
src/core/model/ocarina-builder-aadl-components-connections.adb 96.97%
src/core/model/ocarina-builder-aadl-components-features.adb 89.47%
src/core/model/ocarina-builder-aadl-components-flows.adb 92.96%
src/core/model/ocarina-builder-aadl-components-modes.adb 95.24%
src/core/model/ocarina-builder-aadl-components-prototypes.adb 96.15%
src/core/model/ocarina-builder-aadl-components-subcomponents.adb 97.22%
src/core/model/ocarina-builder-aadl-components-subprogram_calls.adb 95.74%
src/core/model/ocarina-builder-aadl-components.adb 97.91%
src/core/model/ocarina-builder-aadl-namespaces.adb 92.54%
src/core/model/ocarina-builder-aadl-properties.adb 94.50%
src/core/model/ocarina-builder-aadl_ba-actions.adb 78.34%
src/core/model/ocarina-builder-aadl_ba-expressions.adb 59.13%
src/core/model/ocarina-builder-aadl_ba-specifications.adb 57.32%
src/core/model/ocarina-builder-aadl_ba-thread_dispatch.adb 84.44%
src/core/model/ocarina-builder-real.adb 80.00%
src/core/model/ocarina-processor-properties.adb 89.05%
src/core/tree/ocarina-aadl_values.adb 60.06%
src/core/tree/ocarina-aadl_values.ads 42.86%
src/core/tree/ocarina-annotations.adb 59.68%
src/core/tree/ocarina-ao4aadl_values.adb 0.36%
src/core/tree/ocarina-ao4aadl_values.ads 100.00%
src/core/tree/ocarina-ema_values.adb 0.79%
src/core/tree/ocarina-ema_values.ads 100.00%
src/core/tree/ocarina-me_aadl-aadl_instances-debug.adb 76.34%
src/core/tree/ocarina-me_aadl-aadl_instances-entities-properties.adb 31.11%
src/core/tree/ocarina-me_aadl-aadl_instances-entities.adb 63.92%
src/core/tree/ocarina-me_aadl-aadl_instances-nutils.adb 72.33%
src/core/tree/ocarina-me_aadl-aadl_instances-nutils.ads 0.00%
src/core/tree/ocarina-me_aadl-aadl_tree-debug.adb 65.85%
src/core/tree/ocarina-me_aadl-aadl_tree-entities-properties.adb 58.90%
src/core/tree/ocarina-me_aadl-aadl_tree-entities.adb 77.13%
src/core/tree/ocarina-me_aadl-aadl_tree-nutils.adb 52.16%
src/core/tree/ocarina-me_aadl-printers.adb 100.00%
src/core/tree/ocarina-me_aadl-tokens.adb 100.00%
src/core/tree/ocarina-me_aadl-tokens.ads 100.00%
src/core/tree/ocarina-me_aadl_ba-ba_tree-debug.adb 0.00%
src/core/tree/ocarina-me_aadl_ba-ba_tree-nutils.adb 34.38%
src/core/tree/ocarina-me_aadl_ba-tokens.adb 98.32%
src/core/tree/ocarina-me_aadl_ba-tokens.ads 100.00%
src/core/tree/ocarina-me_aadl_ema-ema_tokens.adb 92.11%
src/core/tree/ocarina-me_aadl_ema-ema_tokens.ads 100.00%
src/core/tree/ocarina-me_aadl_ema-ema_tree-debug.adb 0.00%
src/core/tree/ocarina-me_aadl_ema-ema_tree-nutils.adb 27.10%
src/core/tree/ocarina-me_aadl_ema-ema_tree-nutils.ads 100.00%
src/core/tree/ocarina-me_ao4aadl-ao4aadl_tree-debug.adb 0.00%
src/core/tree/ocarina-me_ao4aadl-ao4aadl_tree-nutils.adb 0.00%
src/core/tree/ocarina-me_ao4aadl-ao4aadl_tree-nutils.ads 100.00%
src/core/tree/ocarina-me_ao4aadl-tokens.adb 90.32%
src/core/tree/ocarina-me_ao4aadl-tokens.ads 100.00%
src/core/tree/ocarina-me_real-real_tree-debug.adb 6.48%
src/core/tree/ocarina-me_real-real_tree-nutils.adb 98.99%
src/core/tree/ocarina-me_real-real_tree-nutils.ads 100.00%
src/core/tree/ocarina-me_real-real_tree-utils.adb 66.56%
src/core/tree/ocarina-me_real-tokens.adb 91.57%
src/core/tree/ocarina-me_real-tokens.ads 100.00%
src/core/tree/ocarina-property_sets.adb 88.73%
src/core/tree/ocarina-real_values.adb 56.30%
src/core/tree/ocarina-real_values.ads 100.00%
src/frontends/aadl/ocarina-fe_aadl-lexer.adb 84.73%
src/frontends/aadl/ocarina-fe_aadl-lexer.ads 100.00%
src/frontends/aadl/ocarina-fe_aadl-parser-annexes.adb 39.81%
src/frontends/aadl/ocarina-fe_aadl-parser-components-arrays.adb 70.59%
src/frontends/aadl/ocarina-fe_aadl-parser-components-connections.adb 63.04%
src/frontends/aadl/ocarina-fe_aadl-parser-components-features.adb 72.12%
src/frontends/aadl/ocarina-fe_aadl-parser-components-flows.adb 70.83%
src/frontends/aadl/ocarina-fe_aadl-parser-components-modes.adb 65.04%
src/frontends/aadl/ocarina-fe_aadl-parser-components-prototypes.adb 78.95%
src/frontends/aadl/ocarina-fe_aadl-parser-components-subcomponents.adb 78.05%
src/frontends/aadl/ocarina-fe_aadl-parser-components-subprogram_calls.adb 64.12%
src/frontends/aadl/ocarina-fe_aadl-parser-components.adb 76.61%
src/frontends/aadl/ocarina-fe_aadl-parser-identifiers.adb 73.86%
src/frontends/aadl/ocarina-fe_aadl-parser-namespaces.adb 77.17%
src/frontends/aadl/ocarina-fe_aadl-parser-properties-values.adb 66.98%
src/frontends/aadl/ocarina-fe_aadl-parser-properties.adb 80.07%
src/frontends/aadl/ocarina-fe_aadl-parser.adb 85.37%
src/frontends/aadl/ocarina-fe_aadl-parser_errors.adb 75.65%
src/frontends/aadl/ocarina-fe_aadl.adb 100.00%
src/frontends/aadl_ba/ocarina-fe_aadl_ba-lexer.adb 42.65%
src/frontends/aadl_ba/ocarina-fe_aadl_ba-lexer.ads 100.00%
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-actions.adb 54.29%
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-expressions.adb 50.00%
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-identifiers.adb 55.56%
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-specifications.adb 47.85%
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-thread_dispatch.adb 64.15%
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser.adb 57.89%
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser_errors.adb 72.97%
src/frontends/aadl_ba/ocarina-fe_aadl_ba.adb 70.00%
src/frontends/aadl_ema/ocarina-fe_aadl_ema-lexer.adb 16.49%
src/frontends/aadl_ema/ocarina-fe_aadl_ema-parser.adb 8.22%
src/frontends/aadl_ema/ocarina-fe_aadl_ema-parser_errors.adb 0.00%
src/frontends/aadl_ema/ocarina-fe_aadl_ema.adb 100.00%
src/frontends/ao4aadl/ocarina-fe_ao4aadl-lexer.adb 0.76%
src/frontends/ao4aadl/ocarina-fe_ao4aadl-parser.adb 0.41%
src/frontends/ao4aadl/ocarina-fe_ao4aadl-parser_errors.adb 0.00%
src/frontends/ao4aadl/ocarina-fe_ao4aadl.adb 70.00%
src/frontends/real/ocarina-fe_real-lexer.adb 56.89%
src/frontends/real/ocarina-fe_real-lexer.ads 100.00%
src/frontends/real/ocarina-fe_real-parser.adb 74.19%
src/frontends/real/ocarina-fe_real-parser.ads 100.00%
src/frontends/real/ocarina-fe_real-parser_errors.adb 4.29%
src/frontends/real/ocarina-fe_real.adb 100.00%
src/main/ocarina-cmd_line.adb 82.20%
src/main/ocarina-scripts.adb 38.74%
src/main/ocarina_cmd.adb 79.27%
src/python/ocarina-utils.adb 11.24%
Project Totals (377 files) 64.81%
Loading