backends/po_hi_ada/ocarina-backends-po_hi_ada-job.adb
backends/po_hi_ada/ocarina-backends-po_hi_ada-activity.adb
backends/po_hi_ada/ocarina-backends-po_hi_ada-mapping.adb
backends/po_hi_ada/ocarina-backends-po_hi_ada-types.adb
backends/po_hi_ada/ocarina-backends-po_hi_ada-deployment.adb
backends/po_hi_ada/ocarina-backends-po_hi_ada-transport.adb
backends/po_hi_ada/ocarina-backends-po_hi_ada-subprograms.adb
backends/po_hi_ada/ocarina-backends-po_hi_ada-marshallers.adb
backends/po_hi_ada/ocarina-backends-po_hi_ada.adb
backends/po_hi_ada/ocarina-backends-po_hi_ada-naming.adb
backends/po_hi_ada/ocarina-backends-po_hi_ada-main.adb
backends/po_hi_ada/ocarina-backends-po_hi_ada-runtime.adb
backends/po_hi_ada/ocarina-backends-po_hi_ada.ads
backends/po_hi_c/ocarina-backends-po_hi_c-deployment.adb
backends/po_hi_c/ocarina-backends-po_hi_c-activity.adb
backends/po_hi_c/ocarina-backends-po_hi_c-marshallers.adb
backends/po_hi_c/ocarina-backends-po_hi_c-main.adb
backends/po_hi_c/ocarina-backends-po_hi_c.adb
backends/po_hi_c/ocarina-backends-po_hi_c-request.adb
backends/po_hi_c/ocarina-backends-po_hi_c-naming.adb
backends/po_hi_c/ocarina-backends-po_hi_c-runtime.adb
backends/arinc653/ocarina-backends-pok_c-deployment.adb
backends/arinc653/ocarina-backends-pok_c-activity.adb
backends/arinc653/ocarina-backends-pok_c-main.adb
backends/arinc653/ocarina-backends-pok_c-makefile.adb
backends/arinc653/ocarina-backends-pok_c-runtime.adb
backends/arinc653/ocarina-backends-pok_c-naming.adb
backends/arinc653/ocarina-backends-pok_c.adb
backends/arinc653/ocarina-backends-pok_c.ads
backends/lnt/ocarina-backends-lnt-tree_generator_processor.adb
backends/lnt/ocarina-backends-lnt-printer.adb
backends/lnt/ocarina-backends-lnt-components.adb
backends/lnt/ocarina-backends-lnt-tree_generator_main.adb
backends/lnt/ocarina-backends-lnt-tree_generator_thread.adb
backends/lnt/ocarina-backends-lnt-tree_generator_types.adb
backends/lnt/ocarina-backends-lnt-nutils.adb
backends/lnt/ocarina-backends-lnt-svl_generator.adb
backends/lnt/ocarina-backends-lnt-debug.adb
backends/lnt/ocarina-backends-lnt.adb
backends/lnt/ocarina-backends-lnt-tree_generator.adb
backends/lnt/ocarina-backends-lnt-tree_generator_port.adb
backends/lnt/ocarina-backends-lnt.ads
backends/lnt/ocarina-backends-lnt-nutils.ads
backends/ast_ada/ocarina-backends-ada_tree-generator.adb
backends/ast_ada/ocarina-backends-ada_tree-nutils.adb
backends/ast_ada/ocarina-backends-ada_values.adb
backends/ast_ada/ocarina-backends-ada_tree-debug.adb
backends/ast_ada/ocarina-backends-ada_tree-nutils.ads
backends/ast_ada/ocarina-backends-ada_values.ads
backends/aadl_pp/ocarina-be_aadl-properties-values.adb
backends/aadl_pp/ocarina-be_aadl-components.adb
backends/aadl_pp/ocarina-be_aadl_ba-actions.adb
backends/aadl_pp/ocarina-be_aadl_ba-expressions.adb
backends/aadl_pp/ocarina-be_aadl-properties.adb
backends/aadl_pp/ocarina-be_aadl_ba-specifications.adb
backends/aadl_pp/ocarina-be_aadl.adb
backends/aadl_pp/ocarina-be_aadl-namespaces.adb
backends/aadl_pp/ocarina-be_aadl-components-flows.adb
backends/aadl_pp/ocarina-be_aadl-components-features.adb
backends/aadl_pp/ocarina-be_aadl-components-modes.adb
backends/aadl_pp/ocarina-be_aadl_ba-thread_dispatch.adb
backends/aadl_pp/ocarina-be_aadl-components-connections.adb
backends/aadl_pp/ocarina-be_aadl-annexes.adb
backends/aadl_pp/ocarina-be_aadl_ba-identifiers.adb
backends/aadl_pp/ocarina-be_aadl-components-subcomponents.adb
backends/aadl_pp/ocarina-be_aadl-components-subprogram_calls.adb
backends/aadl_pp/ocarina-be_aadl-components-arrays.adb
backends/aadl_pp/ocarina-be_aadl_ba.adb
backends/aadl_pp/ocarina-be_aadl-components-prototypes.adb
backends/aadl_pp/ocarina-be_aadl-identifiers.adb
backends/ocarina-backends-c_common-ba.adb
backends/ast_c/ocarina-backends-c_tree-nutils.adb
backends/ast_c/ocarina-backends-c_tree-generator.adb
backends/ast_c/ocarina-backends-c_values.adb
backends/ast_c/ocarina-backends-c_tree-debug.adb
backends/ast_c/ocarina-backends-c_tree-nutils.ads
backends/ast_c/ocarina-backends-c_values.ads
backends/petri_nets/ocarina-backends-pn-components.adb
backends/petri_nets/ocarina-backends-pn-iutils.adb
backends/petri_nets/ocarina-backends-pn-format-cami.adb
backends/petri_nets/ocarina-backends-pn-format-tina.adb
backends/petri_nets/ocarina-backends-pn-debug.adb
backends/petri_nets/ocarina-backends-pn-printer.adb
backends/petri_nets/ocarina-backends-pn-nutils.adb
backends/petri_nets/ocarina-backends-pn.adb
backends/petri_nets/ocarina-backends-pn-utils.adb
backends/real/ocarina-backends-real.adb
backends/real/ocarina-be_real.adb
backends/real/ocarina-backends-real-debug.adb
backends/ocarina-backends-c_common-mapping.adb
backends/mast/ocarina-backends-mast_tree-generator.adb
backends/mast/ocarina-backends-mast-main.adb
backends/mast/ocarina-backends-mast_tree-nutils.adb
backends/mast/ocarina-backends-mast_values.adb
backends/mast/ocarina-backends-mast_tree-debug.adb
backends/mast/ocarina-backends-mast.adb
backends/mast/ocarina-backends-mast_tree-nutils.ads
backends/mast/ocarina-backends-mast.ads
backends/mast/ocarina-backends-mast_values.ads
backends/ocarina-backends-properties.adb
backends/ocarina-backends-utils.adb
backends/arinc653_conf/ocarina-backends-arinc653_conf-mapping.adb
backends/arinc653_conf/ocarina-backends-arinc653_conf-system_hm.adb
backends/arinc653_conf/ocarina-backends-arinc653_conf-partitions.adb
backends/arinc653_conf/ocarina-backends-arinc653_conf-scheduling.adb
backends/arinc653_conf/ocarina-backends-arinc653_conf-connections.adb
backends/arinc653_conf/ocarina-backends-arinc653_conf-memory.adb
backends/arinc653_conf/ocarina-backends-arinc653_conf-partition_hm.adb
backends/arinc653_conf/ocarina-backends-arinc653_conf-module_hm.adb
backends/arinc653_conf/ocarina-backends-arinc653_conf.adb
backends/arinc653_conf/ocarina-backends-arinc653_conf.ads
backends/ocarina-backends-build_utils.adb
backends/ocarina-backends-replication_expander.adb
backends/vxwork653_conf/ocarina-backends-vxworks653_conf-hm.adb
backends/vxwork653_conf/ocarina-backends-vxworks653_conf-naming.adb
backends/vxwork653_conf/ocarina-backends-vxworks653_conf-partitions.adb
backends/vxwork653_conf/ocarina-backends-vxworks653_conf-connections.adb
backends/vxwork653_conf/ocarina-backends-vxworks653_conf-mapping.adb
backends/vxwork653_conf/ocarina-backends-vxworks653_conf-schedule.adb
backends/vxwork653_conf/ocarina-backends-vxworks653_conf-payloads.adb
backends/vxwork653_conf/ocarina-backends-vxworks653_conf.adb
backends/vxwork653_conf/ocarina-backends-vxworks653_conf.ads
backends/xtratum_conf/ocarina-backends-xtratum_conf-partition_table.adb
backends/xtratum_conf/ocarina-backends-xtratum_conf-hardware_description.adb
backends/xtratum_conf/ocarina-backends-xtratum_conf-channels.adb
backends/xtratum_conf/ocarina-backends-xtratum_conf-system_description.adb
backends/xtratum_conf/ocarina-backends-xtratum_conf-xm_hypervisor.adb
backends/xtratum_conf/ocarina-backends-xtratum_conf-resident_sw.adb
backends/xtratum_conf/ocarina-backends-xtratum_conf-mapping.adb
backends/xtratum_conf/ocarina-backends-xtratum_conf.adb
backends/xtratum_conf/ocarina-backends-xtratum_conf.ads
backends/ocarina-backends-c_common-types.adb
backends/ast_asn1/ocarina-backends-asn1_values.adb
backends/ast_asn1/ocarina-backends-asn1_tree-nutils.adb
backends/ast_asn1/ocarina-backends-asn1_tree-generator.adb
backends/ast_asn1/ocarina-backends-asn1_tree-debug.adb
backends/ast_asn1/ocarina-backends-asn1_tree-nutils.ads
backends/ast_asn1/ocarina-backends-asn1_values.ads
backends/ast_xml/ocarina-backends-xml_tree-nutils.adb
backends/ast_xml/ocarina-backends-xml_values.adb
backends/ast_xml/ocarina-backends-xml_tree-generator.adb
backends/ast_xml/ocarina-backends-xml_tree-debug.adb
backends/ast_xml/ocarina-backends-xml_tree-nutils.ads
backends/ast_xml/ocarina-backends-xml_values.ads
backends/deos_conf/ocarina-backends-deos_conf-partitions.adb
backends/deos_conf/ocarina-backends-deos_conf-mapping.adb
backends/deos_conf/ocarina-backends-deos_conf-hm.adb
backends/deos_conf/ocarina-backends-deos_conf-schedule.adb
backends/deos_conf/ocarina-backends-deos_conf-naming.adb
backends/deos_conf/ocarina-backends-deos_conf.adb
backends/deos_conf/ocarina-backends-deos_conf.ads
backends/stats/ocarina-backends-stats-mapping.adb
backends/stats/ocarina-backends-stats-main.adb
backends/stats/ocarina-backends-stats.adb
backends/stats/ocarina-backends-stats.ads
backends/stats/ocarina-backends-stats-main.ads
backends/air_conf/ocarina-backends-air_conf-partitions.adb
backends/air_conf/ocarina-backends-air_conf-air_configuration.adb
backends/air_conf/ocarina-backends-air_conf-module.adb
backends/air_conf/ocarina-backends-air_conf-mapping.adb
backends/air_conf/ocarina-backends-air_conf.adb
backends/air_conf/ocarina-backends-air_conf.ads
backends/cheddar/ocarina-backends-cheddar-mapping.adb
backends/cheddar/ocarina-backends-pok_cheddar.adb
backends/cheddar/ocarina-backends-cheddar-main.adb
backends/cheddar/ocarina-backends-cheddar-mapping.ads
backends/cheddar/ocarina-backends-cheddar.adb
backends/cheddar/ocarina-backends-cheddar.ads
backends/cheddar/ocarina-backends-pok_cheddar.ads
backends/ocarina-backends-c_common-subprograms.adb
backends/ocarina-backends-execution_tests.adb
backends/aadl_xml/ocarina-backends-aadl_xml-main.adb
backends/aadl_xml/ocarina-backends-aadl_xml-mapping.adb
backends/aadl_xml/ocarina-backends-aadl_xml.adb
backends/aadl_xml/ocarina-backends-aadl_xml.ads
backends/ocarina-backends-expander.adb
backends/connection_matrix/ocarina-backends-connection_matrix-main.adb
backends/connection_matrix/ocarina-backends-connection_matrix.adb
backends/connection_matrix/ocarina-backends-connection_matrix.ads
backends/connection_matrix/ocarina-backends-connection_matrix-main.ads
backends/subprograms/ocarina-backends-subprograms.adb
backends/subprograms/ocarina-backends-subprograms.ads
backends/functions_matrix/ocarina-backends-functions_matrix-main.adb
backends/functions_matrix/ocarina-backends-functions_matrix.adb
backends/functions_matrix/ocarina-backends-functions_matrix.ads
backends/functions_matrix/ocarina-backends-functions_matrix-main.ads
backends/asn1_deployment/ocarina-backends-asn1-deployment.adb
backends/asn1_deployment/ocarina-backends-asn1.adb
backends/asn1_deployment/ocarina-backends-asn1.ads
backends/ocarina-backends-replication_properties.adb
backends/bound-t/ocarina-backends-boundt.adb
backends/ocarina-backends-properties-utils.adb
backends/ocarina-backends.adb
backends/alloy/ocarina-backends-alloy.adb
backends/ocarina-backends-execution_utils.adb
backends/ocarina-backends-helper.ads
backends/ocarina-backends-xml_common-mapping.adb
backends/ocarina-backends-properties-arinc653.adb
backends/ocarina-backends-messages.adb
backends/ocarina-backends-execution_tests.ads
backends/ocarina-backends-helper.adb
backends/ocarina-backends-execution_utils.ads
backends/ocarina-backends-build_utils.ads
backends/ocarina-backends-properties-utils.ads
core/model/ocarina-analyzer-aadl-links.adb
core/model/ocarina-analyzer-aadl_ba.adb
core/model/ocarina-analyzer-real.adb
core/model/ocarina-analyzer-aadl-semantics.adb
core/model/ocarina-processor-properties.adb
core/model/ocarina-analyzer-aadl_ema-naming_rules.adb
core/model/ocarina-analyzer-aadl-legality_rules.adb
core/model/ocarina-analyzer-aadl-finder.adb
core/model/ocarina-analyzer-aadl_ema-finder.adb
core/model/ocarina-analyzer-aadl-names.adb
core/model/ocarina-analyzer-aadl-queries.adb
core/model/ocarina-analyzer-aadl-naming_rules.adb
core/model/ocarina-analyzer-messages.adb
core/model/ocarina-builder-aadl_ba-actions.adb
core/model/ocarina-builder-aadl_ba-expressions.adb
core/model/ocarina-builder-aadl-properties.adb
core/model/ocarina-builder-aadl-components.adb
core/model/ocarina-builder-aadl_ba-specifications.adb
core/model/ocarina-builder-aadl-namespaces.adb
core/model/ocarina-builder-aadl-components-features.adb
core/model/ocarina-analyzer-real-finder.adb
core/model/ocarina-analyzer-aadl.adb
core/model/ocarina-builder-aadl-components-flows.adb
core/model/ocarina-analyzer-aadl-annexes.adb
core/model/ocarina-builder-aadl-annexes.adb
core/model/ocarina-builder-aadl-components-modes.adb
core/model/ocarina-builder-aadl-components-subprogram_calls.adb
core/model/ocarina-builder-real.adb
core/model/ocarina-builder-aadl_ba-thread_dispatch.adb
core/model/ocarina-builder-aadl-components-subcomponents.adb
core/model/ocarina-analyzer.adb
core/model/ocarina-analyzer-aadl_ema.adb
core/model/ocarina-builder-aadl-components-connections.adb
core/model/ocarina-builder-aadl-components-prototypes.adb
core/model/ocarina-builder-aadl-components-arrays.adb
core/model/ocarina-analyzer-aadl_ema-links.adb
core/model/ocarina-analyzer-real-finder.ads
core/model/ocarina-analyzer-aadl-naming_rules.ads
core/tree/ocarina-real_values.adb
core/tree/ocarina-ao4aadl_values.adb
core/tree/ocarina-aadl_values.adb
core/tree/ocarina-me_aadl-aadl_instances-nutils.adb
core/tree/ocarina-me_aadl-aadl_tree-entities-properties.adb
core/tree/ocarina-me_real-real_tree-utils.adb
core/tree/ocarina-ema_values.adb
core/tree/ocarina-me_aadl-aadl_tree-nutils.adb
core/tree/ocarina-me_aadl-aadl_tree-entities.adb
core/tree/ocarina-me_real-tokens.adb
core/tree/ocarina-me_aadl-aadl_tree-debug.adb
core/tree/ocarina-me_aadl_ba-ba_tree-debug.adb
core/tree/ocarina-me_aadl-tokens.adb
core/tree/ocarina-me_aadl_ba-ba_tree-nutils.adb
core/tree/ocarina-me_aadl_ema-ema_tree-nutils.adb
core/tree/ocarina-me_aadl-aadl_instances-debug.adb
core/tree/ocarina-me_aadl_ba-tokens.adb
core/tree/ocarina-me_aadl_ema-ema_tokens.adb
core/tree/ocarina-me_real-real_tree-debug.adb
core/tree/ocarina-me_real-real_tree-nutils.adb
core/tree/ocarina-me_aadl-aadl_instances-entities.adb
core/tree/ocarina-me_aadl_ema-ema_tree-debug.adb
core/tree/ocarina-me_ao4aadl-ao4aadl_tree-debug.adb
core/tree/ocarina-me_ao4aadl-tokens.adb
core/tree/ocarina-property_sets.adb
core/tree/ocarina-annotations.adb
core/tree/ocarina-me_ao4aadl-ao4aadl_tree-nutils.adb
core/tree/ocarina-me_aadl-aadl_instances-entities-properties.adb
core/tree/ocarina-aadl_values.ads
core/tree/ocarina-me_real-real_tree-nutils.ads
core/tree/ocarina-me_aadl_ema-ema_tokens.ads
core/tree/ocarina-me_aadl-tokens.ads
core/tree/ocarina-me_aadl-printers.adb
core/tree/ocarina-me_ao4aadl-tokens.ads
core/tree/ocarina-me_aadl_ba-tokens.ads
core/tree/ocarina-me_aadl_ema-ema_tree-nutils.ads
core/tree/ocarina-me_ao4aadl-ao4aadl_tree-nutils.ads
core/tree/ocarina-ema_values.ads
core/tree/ocarina-real_values.ads
core/tree/ocarina-ao4aadl_values.ads
core/tree/ocarina-me_real-tokens.ads
core/tree/ocarina-me_aadl-aadl_instances-nutils.ads
core/instance/ocarina-instances-properties.adb
core/instance/ocarina-instances-processor-properties.adb
core/instance/ocarina-instances-finder.adb
core/instance/ocarina-real_expander-flow_analysis.adb
core/instance/ocarina-instances-queries.adb
core/instance/ocarina-instances-real_checker-queries.adb
core/instance/ocarina-instances-components.adb
core/instance/ocarina-instances.adb
core/instance/ocarina-instances-components-features.adb
core/instance/ocarina-instances-components-modes.adb
core/instance/ocarina-instances-real_finder.adb
core/instance/ocarina-instances-components-subprogram_calls.adb
core/instance/ocarina-instances-components-connections.adb
core/instance/ocarina-real_expander.adb
core/instance/ocarina-instances-real_checker-queries-call_predicates.adb
core/instance/ocarina-instances-real_checker-queries-relational_predicates.adb
core/instance/ocarina-instances-real_checker-queries-predecessor_predicates.adb
core/instance/ocarina-instances-annexes.adb
core/instance/ocarina-instances-messages.adb
core/instance/ocarina-instances-namespaces.adb
core/instance/ocarina-instances-real_checker-queries-access_predicates.adb
core/instance/ocarina-instances-real_checker-queries-connected_predicates.adb
core/instance/ocarina-instances-real_checker-queries-passing_predicates.adb
core/instance/ocarina-instances-components-subcomponents.adb
core/instance/ocarina-instances-real_checker-queries-bound_predicates.adb
core/instance/ocarina-instances-real_checker-queries-subcomponent_predicates.adb
core/instance/ocarina-instances-real_checker-queries-provided_class_predicates.adb
core/instance/ocarina-instances-real_checker-queries.ads
core/common_files/ocarina-namet.adb
core/common_files/utils.adb
core/common_files/errors.adb
core/common_files/ocarina-output.adb
core/common_files/locations.adb
core/common_files/charset.adb
core/common_files/outfiles.adb
core/common_files/ocarina-types.adb
core/common_files/errors.ads
core/common_files/ocarina-namet.ads
core/common_files/utils.ads
core/mgmt/ocarina-files.adb
core/mgmt/ocarina-options.adb
core/mgmt/ocarina-parser.adb
core/mgmt/ocarina.adb
core/mgmt/ocarina-options.ads
core/mgmt/ocarina.ads
core/mgmt/ocarina-files.ads
frontends/aadl/ocarina-fe_aadl-parser-properties-values.adb
frontends/aadl/ocarina-fe_aadl-parser-properties.adb
frontends/aadl/ocarina-fe_aadl-lexer.adb
frontends/aadl/ocarina-fe_aadl-parser-components.adb
frontends/aadl/ocarina-fe_aadl-parser-namespaces.adb
frontends/aadl/ocarina-fe_aadl-parser-components-features.adb
frontends/aadl/ocarina-fe_aadl-parser-components-flows.adb
frontends/aadl/ocarina-fe_aadl-parser-components-modes.adb
frontends/aadl/ocarina-fe_aadl-parser-components-connections.adb
frontends/aadl/ocarina-fe_aadl-parser-identifiers.adb
frontends/aadl/ocarina-fe_aadl-parser.adb
frontends/aadl/ocarina-fe_aadl-parser-components-subprogram_calls.adb
frontends/aadl/ocarina-fe_aadl-parser_errors.adb
frontends/aadl/ocarina-fe_aadl-parser-annexes.adb
frontends/aadl/ocarina-fe_aadl-parser-components-arrays.adb
frontends/aadl/ocarina-fe_aadl-parser-components-prototypes.adb
frontends/aadl/ocarina-fe_aadl-parser-components-subcomponents.adb
frontends/aadl/ocarina-fe_aadl.adb
frontends/aadl/ocarina-fe_aadl-lexer.ads
frontends/aadl_ema/ocarina-fe_aadl_ema-parser.adb
frontends/aadl_ema/ocarina-fe_aadl_ema-lexer.adb
frontends/aadl_ema/ocarina-fe_aadl_ema-parser_errors.adb
frontends/aadl_ema/ocarina-fe_aadl_ema.adb
frontends/aadl_ba/ocarina-fe_aadl_ba-parser-actions.adb
frontends/aadl_ba/ocarina-fe_aadl_ba-parser-expressions.adb
frontends/aadl_ba/ocarina-fe_aadl_ba-lexer.adb
frontends/aadl_ba/ocarina-fe_aadl_ba-parser-specifications.adb
frontends/aadl_ba/ocarina-fe_aadl_ba-parser-identifiers.adb
frontends/aadl_ba/ocarina-fe_aadl_ba-parser-thread_dispatch.adb
frontends/aadl_ba/ocarina-fe_aadl_ba-parser.adb
frontends/aadl_ba/ocarina-fe_aadl_ba-parser_errors.adb
frontends/aadl_ba/ocarina-fe_aadl_ba.adb
frontends/aadl_ba/ocarina-fe_aadl_ba-lexer.ads
frontends/ao4aadl/ocarina-fe_ao4aadl-parser.adb
frontends/ao4aadl/ocarina-fe_ao4aadl-lexer.adb
frontends/ao4aadl/ocarina-fe_ao4aadl-parser_errors.adb
frontends/ao4aadl/ocarina-fe_ao4aadl.adb
frontends/real/ocarina-fe_real-parser.adb
frontends/real/ocarina-fe_real-lexer.adb
frontends/real/ocarina-fe_real-parser_errors.adb
frontends/real/ocarina-fe_real.adb
frontends/real/ocarina-fe_real-lexer.ads
frontends/real/ocarina-fe_real-parser.ads
main/ocarina_cmd.adb
main/ocarina-scripts.adb
main/ocarina-cmd_line.adb
python/ocarina-utils.adb