Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
O
Ocarina
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
2
Issues
2
List
Boards
Labels
Service Desk
Milestones
Merge Requests
0
Merge Requests
0
Operations
Operations
Incidents
Analytics
Analytics
Repository
Value Stream
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Commits
Issue Boards
Open sidebar
TASTE
Ocarina
Commits
c8496fae
Commit
c8496fae
authored
Jun 16, 2015
by
yoogx
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
* Update licence to GPLv3 + runtime exception
For issue #43
parent
d1a82084
Changes
614
Expand all
Hide whitespace changes
Inline
Side-by-side
Showing
614 changed files
with
9954 additions
and
10362 deletions
+9954
-10362
src/backends/ocarina-backends-aadl_xml-main.adb
src/backends/ocarina-backends-aadl_xml-main.adb
+15
-17
src/backends/ocarina-backends-aadl_xml-main.ads
src/backends/ocarina-backends-aadl_xml-main.ads
+17
-19
src/backends/ocarina-backends-aadl_xml-mapping.adb
src/backends/ocarina-backends-aadl_xml-mapping.adb
+15
-17
src/backends/ocarina-backends-aadl_xml-mapping.ads
src/backends/ocarina-backends-aadl_xml-mapping.ads
+17
-19
src/backends/ocarina-backends-aadl_xml.adb
src/backends/ocarina-backends-aadl_xml.adb
+15
-17
src/backends/ocarina-backends-aadl_xml.ads
src/backends/ocarina-backends-aadl_xml.ads
+17
-19
src/backends/ocarina-backends-ada_tree-debug.adb
src/backends/ocarina-backends-ada_tree-debug.adb
+15
-17
src/backends/ocarina-backends-ada_tree-debug.ads
src/backends/ocarina-backends-ada_tree-debug.ads
+15
-17
src/backends/ocarina-backends-ada_tree-generator-spark.adb
src/backends/ocarina-backends-ada_tree-generator-spark.adb
+15
-17
src/backends/ocarina-backends-ada_tree-generator-spark.ads
src/backends/ocarina-backends-ada_tree-generator-spark.ads
+17
-19
src/backends/ocarina-backends-ada_tree-generator.adb
src/backends/ocarina-backends-ada_tree-generator.adb
+15
-17
src/backends/ocarina-backends-ada_tree-generator.ads
src/backends/ocarina-backends-ada_tree-generator.ads
+17
-19
src/backends/ocarina-backends-ada_tree-nutils.adb
src/backends/ocarina-backends-ada_tree-nutils.adb
+15
-17
src/backends/ocarina-backends-ada_tree-nutils.ads
src/backends/ocarina-backends-ada_tree-nutils.ads
+15
-17
src/backends/ocarina-backends-ada_tree.ads
src/backends/ocarina-backends-ada_tree.ads
+17
-19
src/backends/ocarina-backends-ada_values.adb
src/backends/ocarina-backends-ada_values.adb
+15
-17
src/backends/ocarina-backends-ada_values.ads
src/backends/ocarina-backends-ada_values.ads
+15
-17
src/backends/ocarina-backends-alloy.adb
src/backends/ocarina-backends-alloy.adb
+16
-17
src/backends/ocarina-backends-alloy.ads
src/backends/ocarina-backends-alloy.ads
+17
-19
src/backends/ocarina-backends-arinc653_conf-connections.adb
src/backends/ocarina-backends-arinc653_conf-connections.adb
+15
-17
src/backends/ocarina-backends-arinc653_conf-connections.ads
src/backends/ocarina-backends-arinc653_conf-connections.ads
+17
-19
src/backends/ocarina-backends-arinc653_conf-mapping.adb
src/backends/ocarina-backends-arinc653_conf-mapping.adb
+15
-17
src/backends/ocarina-backends-arinc653_conf-mapping.ads
src/backends/ocarina-backends-arinc653_conf-mapping.ads
+15
-17
src/backends/ocarina-backends-arinc653_conf-memory.adb
src/backends/ocarina-backends-arinc653_conf-memory.adb
+15
-17
src/backends/ocarina-backends-arinc653_conf-memory.ads
src/backends/ocarina-backends-arinc653_conf-memory.ads
+17
-19
src/backends/ocarina-backends-arinc653_conf-module_hm.adb
src/backends/ocarina-backends-arinc653_conf-module_hm.adb
+15
-17
src/backends/ocarina-backends-arinc653_conf-module_hm.ads
src/backends/ocarina-backends-arinc653_conf-module_hm.ads
+17
-19
src/backends/ocarina-backends-arinc653_conf-partition_hm.adb
src/backends/ocarina-backends-arinc653_conf-partition_hm.adb
+15
-17
src/backends/ocarina-backends-arinc653_conf-partition_hm.ads
src/backends/ocarina-backends-arinc653_conf-partition_hm.ads
+17
-19
src/backends/ocarina-backends-arinc653_conf-partitions.adb
src/backends/ocarina-backends-arinc653_conf-partitions.adb
+15
-17
src/backends/ocarina-backends-arinc653_conf-partitions.ads
src/backends/ocarina-backends-arinc653_conf-partitions.ads
+17
-19
src/backends/ocarina-backends-arinc653_conf-scheduling.adb
src/backends/ocarina-backends-arinc653_conf-scheduling.adb
+15
-17
src/backends/ocarina-backends-arinc653_conf-scheduling.ads
src/backends/ocarina-backends-arinc653_conf-scheduling.ads
+17
-19
src/backends/ocarina-backends-arinc653_conf-system_hm.adb
src/backends/ocarina-backends-arinc653_conf-system_hm.adb
+15
-17
src/backends/ocarina-backends-arinc653_conf-system_hm.ads
src/backends/ocarina-backends-arinc653_conf-system_hm.ads
+17
-19
src/backends/ocarina-backends-arinc653_conf.adb
src/backends/ocarina-backends-arinc653_conf.adb
+15
-17
src/backends/ocarina-backends-arinc653_conf.ads
src/backends/ocarina-backends-arinc653_conf.ads
+17
-19
src/backends/ocarina-backends-asn1-deployment.adb
src/backends/ocarina-backends-asn1-deployment.adb
+15
-17
src/backends/ocarina-backends-asn1-deployment.ads
src/backends/ocarina-backends-asn1-deployment.ads
+17
-19
src/backends/ocarina-backends-asn1.adb
src/backends/ocarina-backends-asn1.adb
+15
-17
src/backends/ocarina-backends-asn1.ads
src/backends/ocarina-backends-asn1.ads
+17
-19
src/backends/ocarina-backends-asn1_tree-debug.adb
src/backends/ocarina-backends-asn1_tree-debug.adb
+15
-17
src/backends/ocarina-backends-asn1_tree-debug.ads
src/backends/ocarina-backends-asn1_tree-debug.ads
+15
-17
src/backends/ocarina-backends-asn1_tree-generator.adb
src/backends/ocarina-backends-asn1_tree-generator.adb
+15
-17
src/backends/ocarina-backends-asn1_tree-generator.ads
src/backends/ocarina-backends-asn1_tree-generator.ads
+17
-19
src/backends/ocarina-backends-asn1_tree-nutils.adb
src/backends/ocarina-backends-asn1_tree-nutils.adb
+15
-17
src/backends/ocarina-backends-asn1_tree-nutils.ads
src/backends/ocarina-backends-asn1_tree-nutils.ads
+15
-17
src/backends/ocarina-backends-asn1_tree.ads
src/backends/ocarina-backends-asn1_tree.ads
+17
-19
src/backends/ocarina-backends-asn1_values.adb
src/backends/ocarina-backends-asn1_values.adb
+15
-17
src/backends/ocarina-backends-asn1_values.ads
src/backends/ocarina-backends-asn1_values.ads
+15
-17
src/backends/ocarina-backends-boundt.adb
src/backends/ocarina-backends-boundt.adb
+15
-17
src/backends/ocarina-backends-boundt.ads
src/backends/ocarina-backends-boundt.ads
+17
-19
src/backends/ocarina-backends-build_utils.adb
src/backends/ocarina-backends-build_utils.adb
+15
-17
src/backends/ocarina-backends-build_utils.ads
src/backends/ocarina-backends-build_utils.ads
+15
-17
src/backends/ocarina-backends-c_common-mapping.adb
src/backends/ocarina-backends-c_common-mapping.adb
+15
-17
src/backends/ocarina-backends-c_common-mapping.ads
src/backends/ocarina-backends-c_common-mapping.ads
+15
-17
src/backends/ocarina-backends-c_common-subprograms.adb
src/backends/ocarina-backends-c_common-subprograms.adb
+14
-16
src/backends/ocarina-backends-c_common-subprograms.ads
src/backends/ocarina-backends-c_common-subprograms.ads
+17
-19
src/backends/ocarina-backends-c_common-types.adb
src/backends/ocarina-backends-c_common-types.adb
+15
-17
src/backends/ocarina-backends-c_common-types.ads
src/backends/ocarina-backends-c_common-types.ads
+17
-19
src/backends/ocarina-backends-c_common.ads
src/backends/ocarina-backends-c_common.ads
+17
-19
src/backends/ocarina-backends-c_tree-debug.adb
src/backends/ocarina-backends-c_tree-debug.adb
+15
-17
src/backends/ocarina-backends-c_tree-debug.ads
src/backends/ocarina-backends-c_tree-debug.ads
+15
-17
src/backends/ocarina-backends-c_tree-generator.adb
src/backends/ocarina-backends-c_tree-generator.adb
+15
-17
src/backends/ocarina-backends-c_tree-generator.ads
src/backends/ocarina-backends-c_tree-generator.ads
+17
-19
src/backends/ocarina-backends-c_tree-nutils.adb
src/backends/ocarina-backends-c_tree-nutils.adb
+15
-17
src/backends/ocarina-backends-c_tree-nutils.ads
src/backends/ocarina-backends-c_tree-nutils.ads
+14
-16
src/backends/ocarina-backends-c_tree.ads
src/backends/ocarina-backends-c_tree.ads
+17
-19
src/backends/ocarina-backends-c_values.adb
src/backends/ocarina-backends-c_values.adb
+15
-17
src/backends/ocarina-backends-c_values.ads
src/backends/ocarina-backends-c_values.ads
+15
-17
src/backends/ocarina-backends-carts-main.adb
src/backends/ocarina-backends-carts-main.adb
+15
-17
src/backends/ocarina-backends-carts-main.ads
src/backends/ocarina-backends-carts-main.ads
+17
-19
src/backends/ocarina-backends-carts-mapping.adb
src/backends/ocarina-backends-carts-mapping.adb
+15
-17
src/backends/ocarina-backends-carts-mapping.ads
src/backends/ocarina-backends-carts-mapping.ads
+17
-19
src/backends/ocarina-backends-carts.adb
src/backends/ocarina-backends-carts.adb
+15
-17
src/backends/ocarina-backends-carts.ads
src/backends/ocarina-backends-carts.ads
+17
-19
src/backends/ocarina-backends-cheddar-main.adb
src/backends/ocarina-backends-cheddar-main.adb
+15
-17
src/backends/ocarina-backends-cheddar-main.ads
src/backends/ocarina-backends-cheddar-main.ads
+17
-19
src/backends/ocarina-backends-cheddar-mapping.adb
src/backends/ocarina-backends-cheddar-mapping.adb
+15
-17
src/backends/ocarina-backends-cheddar-mapping.ads
src/backends/ocarina-backends-cheddar-mapping.ads
+17
-19
src/backends/ocarina-backends-cheddar.adb
src/backends/ocarina-backends-cheddar.adb
+14
-16
src/backends/ocarina-backends-cheddar.ads
src/backends/ocarina-backends-cheddar.ads
+17
-19
src/backends/ocarina-backends-connection_matrix-main.adb
src/backends/ocarina-backends-connection_matrix-main.adb
+15
-17
src/backends/ocarina-backends-connection_matrix-main.ads
src/backends/ocarina-backends-connection_matrix-main.ads
+17
-19
src/backends/ocarina-backends-connection_matrix.adb
src/backends/ocarina-backends-connection_matrix.adb
+15
-17
src/backends/ocarina-backends-connection_matrix.ads
src/backends/ocarina-backends-connection_matrix.ads
+17
-19
src/backends/ocarina-backends-deos_conf-hm.adb
src/backends/ocarina-backends-deos_conf-hm.adb
+31
-0
src/backends/ocarina-backends-deos_conf-hm.ads
src/backends/ocarina-backends-deos_conf-hm.ads
+31
-0
src/backends/ocarina-backends-deos_conf-mapping.adb
src/backends/ocarina-backends-deos_conf-mapping.adb
+31
-0
src/backends/ocarina-backends-deos_conf-mapping.ads
src/backends/ocarina-backends-deos_conf-mapping.ads
+31
-0
src/backends/ocarina-backends-deos_conf-naming.adb
src/backends/ocarina-backends-deos_conf-naming.adb
+31
-0
src/backends/ocarina-backends-deos_conf-naming.ads
src/backends/ocarina-backends-deos_conf-naming.ads
+31
-0
src/backends/ocarina-backends-deos_conf-partitions.adb
src/backends/ocarina-backends-deos_conf-partitions.adb
+15
-17
src/backends/ocarina-backends-deos_conf-partitions.ads
src/backends/ocarina-backends-deos_conf-partitions.ads
+31
-0
src/backends/ocarina-backends-deos_conf-schedule.adb
src/backends/ocarina-backends-deos_conf-schedule.adb
+31
-0
src/backends/ocarina-backends-deos_conf-schedule.ads
src/backends/ocarina-backends-deos_conf-schedule.ads
+31
-0
src/backends/ocarina-backends-deos_conf.adb
src/backends/ocarina-backends-deos_conf.adb
+15
-17
src/backends/ocarina-backends-deos_conf.ads
src/backends/ocarina-backends-deos_conf.ads
+17
-19
src/backends/ocarina-backends-execution_tests.adb
src/backends/ocarina-backends-execution_tests.adb
+15
-17
src/backends/ocarina-backends-execution_tests.ads
src/backends/ocarina-backends-execution_tests.ads
+15
-17
src/backends/ocarina-backends-execution_utils.adb
src/backends/ocarina-backends-execution_utils.adb
+15
-17
src/backends/ocarina-backends-execution_utils.ads
src/backends/ocarina-backends-execution_utils.ads
+15
-17
src/backends/ocarina-backends-expander.adb
src/backends/ocarina-backends-expander.adb
+15
-17
src/backends/ocarina-backends-expander.ads
src/backends/ocarina-backends-expander.ads
+17
-19
src/backends/ocarina-backends-functions_matrix-main.adb
src/backends/ocarina-backends-functions_matrix-main.adb
+15
-17
src/backends/ocarina-backends-functions_matrix-main.ads
src/backends/ocarina-backends-functions_matrix-main.ads
+17
-19
src/backends/ocarina-backends-functions_matrix.adb
src/backends/ocarina-backends-functions_matrix.adb
+15
-17
src/backends/ocarina-backends-functions_matrix.ads
src/backends/ocarina-backends-functions_matrix.ads
+17
-19
src/backends/ocarina-backends-mast-main.adb
src/backends/ocarina-backends-mast-main.adb
+15
-17
src/backends/ocarina-backends-mast-main.ads
src/backends/ocarina-backends-mast-main.ads
+17
-19
src/backends/ocarina-backends-mast.adb
src/backends/ocarina-backends-mast.adb
+15
-17
src/backends/ocarina-backends-mast.ads
src/backends/ocarina-backends-mast.ads
+17
-19
src/backends/ocarina-backends-mast_tree-debug.adb
src/backends/ocarina-backends-mast_tree-debug.adb
+15
-17
src/backends/ocarina-backends-mast_tree-debug.ads
src/backends/ocarina-backends-mast_tree-debug.ads
+15
-17
src/backends/ocarina-backends-mast_tree-generator.adb
src/backends/ocarina-backends-mast_tree-generator.adb
+15
-17
src/backends/ocarina-backends-mast_tree-generator.ads
src/backends/ocarina-backends-mast_tree-generator.ads
+17
-19
src/backends/ocarina-backends-mast_tree-nutils.adb
src/backends/ocarina-backends-mast_tree-nutils.adb
+15
-17
src/backends/ocarina-backends-mast_tree-nutils.ads
src/backends/ocarina-backends-mast_tree-nutils.ads
+15
-17
src/backends/ocarina-backends-mast_tree.ads
src/backends/ocarina-backends-mast_tree.ads
+17
-19
src/backends/ocarina-backends-mast_values.adb
src/backends/ocarina-backends-mast_values.adb
+15
-17
src/backends/ocarina-backends-mast_values.ads
src/backends/ocarina-backends-mast_values.ads
+15
-17
src/backends/ocarina-backends-messages.adb
src/backends/ocarina-backends-messages.adb
+15
-17
src/backends/ocarina-backends-messages.ads
src/backends/ocarina-backends-messages.ads
+17
-19
src/backends/ocarina-backends-pn-components.adb
src/backends/ocarina-backends-pn-components.adb
+15
-17
src/backends/ocarina-backends-pn-components.ads
src/backends/ocarina-backends-pn-components.ads
+15
-17
src/backends/ocarina-backends-pn-debug.adb
src/backends/ocarina-backends-pn-debug.adb
+15
-17
src/backends/ocarina-backends-pn-debug.ads
src/backends/ocarina-backends-pn-debug.ads
+15
-17
src/backends/ocarina-backends-pn-format-cami.adb
src/backends/ocarina-backends-pn-format-cami.adb
+15
-17
src/backends/ocarina-backends-pn-format-cami.ads
src/backends/ocarina-backends-pn-format-cami.ads
+17
-19
src/backends/ocarina-backends-pn-format-tina.adb
src/backends/ocarina-backends-pn-format-tina.adb
+15
-17
src/backends/ocarina-backends-pn-format-tina.ads
src/backends/ocarina-backends-pn-format-tina.ads
+17
-19
src/backends/ocarina-backends-pn-format.ads
src/backends/ocarina-backends-pn-format.ads
+17
-19
src/backends/ocarina-backends-pn-iutils.adb
src/backends/ocarina-backends-pn-iutils.adb
+15
-17
src/backends/ocarina-backends-pn-iutils.ads
src/backends/ocarina-backends-pn-iutils.ads
+15
-17
src/backends/ocarina-backends-pn-nutils.adb
src/backends/ocarina-backends-pn-nutils.adb
+15
-17
src/backends/ocarina-backends-pn-nutils.ads
src/backends/ocarina-backends-pn-nutils.ads
+17
-19
src/backends/ocarina-backends-pn-printer.adb
src/backends/ocarina-backends-pn-printer.adb
+15
-17
src/backends/ocarina-backends-pn-printer.ads
src/backends/ocarina-backends-pn-printer.ads
+15
-17
src/backends/ocarina-backends-pn-utils.adb
src/backends/ocarina-backends-pn-utils.adb
+17
-19
src/backends/ocarina-backends-pn-utils.ads
src/backends/ocarina-backends-pn-utils.ads
+17
-19
src/backends/ocarina-backends-pn.adb
src/backends/ocarina-backends-pn.adb
+15
-17
src/backends/ocarina-backends-pn.ads
src/backends/ocarina-backends-pn.ads
+17
-19
src/backends/ocarina-backends-po_hi_ada-activity.adb
src/backends/ocarina-backends-po_hi_ada-activity.adb
+15
-17
src/backends/ocarina-backends-po_hi_ada-activity.ads
src/backends/ocarina-backends-po_hi_ada-activity.ads
+17
-19
src/backends/ocarina-backends-po_hi_ada-deployment.adb
src/backends/ocarina-backends-po_hi_ada-deployment.adb
+15
-17
src/backends/ocarina-backends-po_hi_ada-deployment.ads
src/backends/ocarina-backends-po_hi_ada-deployment.ads
+17
-19
src/backends/ocarina-backends-po_hi_ada-main.adb
src/backends/ocarina-backends-po_hi_ada-main.adb
+15
-17
src/backends/ocarina-backends-po_hi_ada-main.ads
src/backends/ocarina-backends-po_hi_ada-main.ads
+17
-19
src/backends/ocarina-backends-po_hi_ada-mapping.adb
src/backends/ocarina-backends-po_hi_ada-mapping.adb
+15
-17
src/backends/ocarina-backends-po_hi_ada-mapping.ads
src/backends/ocarina-backends-po_hi_ada-mapping.ads
+15
-17
src/backends/ocarina-backends-po_hi_ada-marshallers.adb
src/backends/ocarina-backends-po_hi_ada-marshallers.adb
+15
-17
src/backends/ocarina-backends-po_hi_ada-marshallers.ads
src/backends/ocarina-backends-po_hi_ada-marshallers.ads
+17
-19
src/backends/ocarina-backends-po_hi_ada-naming.adb
src/backends/ocarina-backends-po_hi_ada-naming.adb
+15
-17
src/backends/ocarina-backends-po_hi_ada-naming.ads
src/backends/ocarina-backends-po_hi_ada-naming.ads
+17
-19
src/backends/ocarina-backends-po_hi_ada-runtime.adb
src/backends/ocarina-backends-po_hi_ada-runtime.adb
+15
-17
src/backends/ocarina-backends-po_hi_ada-runtime.ads
src/backends/ocarina-backends-po_hi_ada-runtime.ads
+15
-17
src/backends/ocarina-backends-po_hi_ada-subprograms.adb
src/backends/ocarina-backends-po_hi_ada-subprograms.adb
+15
-17
src/backends/ocarina-backends-po_hi_ada-subprograms.ads
src/backends/ocarina-backends-po_hi_ada-subprograms.ads
+17
-19
src/backends/ocarina-backends-po_hi_ada-transport.adb
src/backends/ocarina-backends-po_hi_ada-transport.adb
+15
-17
src/backends/ocarina-backends-po_hi_ada-transport.ads
src/backends/ocarina-backends-po_hi_ada-transport.ads
+17
-19
src/backends/ocarina-backends-po_hi_ada-types.adb
src/backends/ocarina-backends-po_hi_ada-types.adb
+15
-17
src/backends/ocarina-backends-po_hi_ada-types.ads
src/backends/ocarina-backends-po_hi_ada-types.ads
+17
-19
src/backends/ocarina-backends-po_hi_ada.adb
src/backends/ocarina-backends-po_hi_ada.adb
+15
-17
src/backends/ocarina-backends-po_hi_ada.ads
src/backends/ocarina-backends-po_hi_ada.ads
+17
-19
src/backends/ocarina-backends-po_hi_c-activity.adb
src/backends/ocarina-backends-po_hi_c-activity.adb
+14
-16
src/backends/ocarina-backends-po_hi_c-activity.ads
src/backends/ocarina-backends-po_hi_c-activity.ads
+17
-19
src/backends/ocarina-backends-po_hi_c-deployment.adb
src/backends/ocarina-backends-po_hi_c-deployment.adb
+14
-16
src/backends/ocarina-backends-po_hi_c-deployment.ads
src/backends/ocarina-backends-po_hi_c-deployment.ads
+17
-19
src/backends/ocarina-backends-po_hi_c-main.adb
src/backends/ocarina-backends-po_hi_c-main.adb
+14
-16
src/backends/ocarina-backends-po_hi_c-main.ads
src/backends/ocarina-backends-po_hi_c-main.ads
+17
-19
src/backends/ocarina-backends-po_hi_c-marshallers.adb
src/backends/ocarina-backends-po_hi_c-marshallers.adb
+15
-17
src/backends/ocarina-backends-po_hi_c-marshallers.ads
src/backends/ocarina-backends-po_hi_c-marshallers.ads
+17
-19
src/backends/ocarina-backends-po_hi_c-naming.adb
src/backends/ocarina-backends-po_hi_c-naming.adb
+15
-17
src/backends/ocarina-backends-po_hi_c-naming.ads
src/backends/ocarina-backends-po_hi_c-naming.ads
+17
-19
src/backends/ocarina-backends-po_hi_c-request.adb
src/backends/ocarina-backends-po_hi_c-request.adb
+15
-17
src/backends/ocarina-backends-po_hi_c-request.ads
src/backends/ocarina-backends-po_hi_c-request.ads
+17
-19
src/backends/ocarina-backends-po_hi_c-runtime.adb
src/backends/ocarina-backends-po_hi_c-runtime.adb
+15
-17
src/backends/ocarina-backends-po_hi_c-runtime.ads
src/backends/ocarina-backends-po_hi_c-runtime.ads
+14
-16
src/backends/ocarina-backends-po_hi_c.adb
src/backends/ocarina-backends-po_hi_c.adb
+15
-17
src/backends/ocarina-backends-po_hi_c.ads
src/backends/ocarina-backends-po_hi_c.ads
+15
-17
src/backends/ocarina-backends-po_hi_rtsj-activity.adb
src/backends/ocarina-backends-po_hi_rtsj-activity.adb
+15
-17
src/backends/ocarina-backends-po_hi_rtsj-activity.ads
src/backends/ocarina-backends-po_hi_rtsj-activity.ads
+17
-19
src/backends/ocarina-backends-po_hi_rtsj-deployment.adb
src/backends/ocarina-backends-po_hi_rtsj-deployment.adb
+15
-17
src/backends/ocarina-backends-po_hi_rtsj-deployment.ads
src/backends/ocarina-backends-po_hi_rtsj-deployment.ads
+17
-19
src/backends/ocarina-backends-po_hi_rtsj-generated_types.adb
src/backends/ocarina-backends-po_hi_rtsj-generated_types.adb
+15
-17
src/backends/ocarina-backends-po_hi_rtsj-generated_types.ads
src/backends/ocarina-backends-po_hi_rtsj-generated_types.ads
+17
-19
src/backends/ocarina-backends-po_hi_rtsj-main.adb
src/backends/ocarina-backends-po_hi_rtsj-main.adb
+15
-17
src/backends/ocarina-backends-po_hi_rtsj-main.ads
src/backends/ocarina-backends-po_hi_rtsj-main.ads
+17
-19
src/backends/ocarina-backends-po_hi_rtsj-mapping.adb
src/backends/ocarina-backends-po_hi_rtsj-mapping.adb
+15
-17
src/backends/ocarina-backends-po_hi_rtsj-mapping.ads
src/backends/ocarina-backends-po_hi_rtsj-mapping.ads
+15
-17
src/backends/ocarina-backends-po_hi_rtsj-naming.adb
src/backends/ocarina-backends-po_hi_rtsj-naming.adb
+15
-17
src/backends/ocarina-backends-po_hi_rtsj-naming.ads
src/backends/ocarina-backends-po_hi_rtsj-naming.ads
+17
-19
src/backends/ocarina-backends-po_hi_rtsj-runtime.adb
src/backends/ocarina-backends-po_hi_rtsj-runtime.adb
+15
-17
src/backends/ocarina-backends-po_hi_rtsj-runtime.ads
src/backends/ocarina-backends-po_hi_rtsj-runtime.ads
+15
-17
src/backends/ocarina-backends-po_hi_rtsj-subprograms.adb
src/backends/ocarina-backends-po_hi_rtsj-subprograms.adb
+15
-17
src/backends/ocarina-backends-po_hi_rtsj-subprograms.ads
src/backends/ocarina-backends-po_hi_rtsj-subprograms.ads
+17
-19
src/backends/ocarina-backends-po_hi_rtsj-transport_high_level.adb
...ends/ocarina-backends-po_hi_rtsj-transport_high_level.adb
+15
-17
src/backends/ocarina-backends-po_hi_rtsj-transport_high_level.ads
...ends/ocarina-backends-po_hi_rtsj-transport_high_level.ads
+17
-19
src/backends/ocarina-backends-po_hi_rtsj.adb
src/backends/ocarina-backends-po_hi_rtsj.adb
+15
-17
src/backends/ocarina-backends-po_hi_rtsj.ads
src/backends/ocarina-backends-po_hi_rtsj.ads
+17
-19
src/backends/ocarina-backends-pok_c-activity.adb
src/backends/ocarina-backends-pok_c-activity.adb
+15
-17
src/backends/ocarina-backends-pok_c-activity.ads
src/backends/ocarina-backends-pok_c-activity.ads
+17
-19
src/backends/ocarina-backends-pok_c-deployment.adb
src/backends/ocarina-backends-pok_c-deployment.adb
+15
-17
src/backends/ocarina-backends-pok_c-deployment.ads
src/backends/ocarina-backends-pok_c-deployment.ads
+17
-19
src/backends/ocarina-backends-pok_c-main.adb
src/backends/ocarina-backends-pok_c-main.adb
+15
-17
src/backends/ocarina-backends-pok_c-main.ads
src/backends/ocarina-backends-pok_c-main.ads
+17
-19
src/backends/ocarina-backends-pok_c-makefile.adb
src/backends/ocarina-backends-pok_c-makefile.adb
+15
-17
src/backends/ocarina-backends-pok_c-makefile.ads
src/backends/ocarina-backends-pok_c-makefile.ads
+17
-19
src/backends/ocarina-backends-pok_c-naming.adb
src/backends/ocarina-backends-pok_c-naming.adb
+14
-16
src/backends/ocarina-backends-pok_c-naming.ads
src/backends/ocarina-backends-pok_c-naming.ads
+17
-19
src/backends/ocarina-backends-pok_c-runtime.adb
src/backends/ocarina-backends-pok_c-runtime.adb
+15
-17
src/backends/ocarina-backends-pok_c-runtime.ads
src/backends/ocarina-backends-pok_c-runtime.ads
+15
-17
src/backends/ocarina-backends-pok_c.adb
src/backends/ocarina-backends-pok_c.adb
+15
-17
src/backends/ocarina-backends-pok_c.ads
src/backends/ocarina-backends-pok_c.ads
+17
-19
src/backends/ocarina-backends-pok_cheddar.adb
src/backends/ocarina-backends-pok_cheddar.adb
+15
-17
src/backends/ocarina-backends-pok_cheddar.ads
src/backends/ocarina-backends-pok_cheddar.ads
+17
-19
src/backends/ocarina-backends-properties-arinc653.adb
src/backends/ocarina-backends-properties-arinc653.adb
+14
-16
src/backends/ocarina-backends-properties-arinc653.ads
src/backends/ocarina-backends-properties-arinc653.ads
+15
-17
src/backends/ocarina-backends-properties-utils.adb
src/backends/ocarina-backends-properties-utils.adb
+15
-17
src/backends/ocarina-backends-properties-utils.ads
src/backends/ocarina-backends-properties-utils.ads
+15
-17
src/backends/ocarina-backends-properties.adb
src/backends/ocarina-backends-properties.adb
+14
-16
src/backends/ocarina-backends-properties.ads
src/backends/ocarina-backends-properties.ads
+14
-16
src/backends/ocarina-backends-real-debug.adb
src/backends/ocarina-backends-real-debug.adb
+17
-19
src/backends/ocarina-backends-real-debug.ads
src/backends/ocarina-backends-real-debug.ads
+17
-19
src/backends/ocarina-backends-real.adb
src/backends/ocarina-backends-real.adb
+15
-17
src/backends/ocarina-backends-real.ads
src/backends/ocarina-backends-real.ads
+15
-17
src/backends/ocarina-backends-rtsj_tree-debug.adb
src/backends/ocarina-backends-rtsj_tree-debug.adb
+15
-17
src/backends/ocarina-backends-rtsj_tree-debug.ads
src/backends/ocarina-backends-rtsj_tree-debug.ads
+15
-17
src/backends/ocarina-backends-rtsj_tree-generator.adb
src/backends/ocarina-backends-rtsj_tree-generator.adb
+15
-17
src/backends/ocarina-backends-rtsj_tree-generator.ads
src/backends/ocarina-backends-rtsj_tree-generator.ads
+17
-19
src/backends/ocarina-backends-rtsj_tree-nutils.adb
src/backends/ocarina-backends-rtsj_tree-nutils.adb
+15
-17
src/backends/ocarina-backends-rtsj_tree-nutils.ads
src/backends/ocarina-backends-rtsj_tree-nutils.ads
+15
-17
src/backends/ocarina-backends-rtsj_tree.ads
src/backends/ocarina-backends-rtsj_tree.ads
+17
-19
src/backends/ocarina-backends-rtsj_values.adb
src/backends/ocarina-backends-rtsj_values.adb
+15
-17
src/backends/ocarina-backends-rtsj_values.ads
src/backends/ocarina-backends-rtsj_values.ads
+15
-17
src/backends/ocarina-backends-stats-main.adb
src/backends/ocarina-backends-stats-main.adb
+15
-17
src/backends/ocarina-backends-stats-main.ads
src/backends/ocarina-backends-stats-main.ads
+17
-19
src/backends/ocarina-backends-stats-mapping.adb
src/backends/ocarina-backends-stats-mapping.adb
+15
-17
src/backends/ocarina-backends-stats-mapping.ads
src/backends/ocarina-backends-stats-mapping.ads
+17
-19
src/backends/ocarina-backends-stats.adb
src/backends/ocarina-backends-stats.adb
+15
-17
src/backends/ocarina-backends-stats.ads
src/backends/ocarina-backends-stats.ads
+17
-19
src/backends/ocarina-backends-subprograms.adb
src/backends/ocarina-backends-subprograms.adb
+15
-17
src/backends/ocarina-backends-subprograms.ads
src/backends/ocarina-backends-subprograms.ads
+17
-19
src/backends/ocarina-backends-utils.adb
src/backends/ocarina-backends-utils.adb
+15
-17
src/backends/ocarina-backends-utils.ads
src/backends/ocarina-backends-utils.ads
+15
-17
src/backends/ocarina-backends-vxworks653_conf-connections.adb
...backends/ocarina-backends-vxworks653_conf-connections.adb
+30
-1
src/backends/ocarina-backends-vxworks653_conf-connections.ads
...backends/ocarina-backends-vxworks653_conf-connections.ads
+31
-0
src/backends/ocarina-backends-vxworks653_conf-hm.adb
src/backends/ocarina-backends-vxworks653_conf-hm.adb
+31
-0
src/backends/ocarina-backends-vxworks653_conf-hm.ads
src/backends/ocarina-backends-vxworks653_conf-hm.ads
+31
-0
src/backends/ocarina-backends-vxworks653_conf-mapping.adb
src/backends/ocarina-backends-vxworks653_conf-mapping.adb
+31
-0
src/backends/ocarina-backends-vxworks653_conf-mapping.ads
src/backends/ocarina-backends-vxworks653_conf-mapping.ads
+31
-0
src/backends/ocarina-backends-vxworks653_conf-naming.adb
src/backends/ocarina-backends-vxworks653_conf-naming.adb
+31
-0
src/backends/ocarina-backends-vxworks653_conf-naming.ads
src/backends/ocarina-backends-vxworks653_conf-naming.ads
+31
-0
src/backends/ocarina-backends-vxworks653_conf-partitions.adb
src/backends/ocarina-backends-vxworks653_conf-partitions.adb
+31
-2
src/backends/ocarina-backends-vxworks653_conf-partitions.ads
src/backends/ocarina-backends-vxworks653_conf-partitions.ads
+31
-0
src/backends/ocarina-backends-vxworks653_conf-payloads.adb
src/backends/ocarina-backends-vxworks653_conf-payloads.adb
+30
-1
src/backends/ocarina-backends-vxworks653_conf-payloads.ads
src/backends/ocarina-backends-vxworks653_conf-payloads.ads
+31
-0
src/backends/ocarina-backends-vxworks653_conf-schedule.adb
src/backends/ocarina-backends-vxworks653_conf-schedule.adb
+31
-0
src/backends/ocarina-backends-vxworks653_conf-schedule.ads
src/backends/ocarina-backends-vxworks653_conf-schedule.ads
+31
-0
src/backends/ocarina-backends-vxworks653_conf.adb
src/backends/ocarina-backends-vxworks653_conf.adb
+31
-0
src/backends/ocarina-backends-vxworks653_conf.ads
src/backends/ocarina-backends-vxworks653_conf.ads
+31
-0
src/backends/ocarina-backends-xml_common-mapping.adb
src/backends/ocarina-backends-xml_common-mapping.adb
+15
-17
src/backends/ocarina-backends-xml_common-mapping.ads
src/backends/ocarina-backends-xml_common-mapping.ads
+17
-19
src/backends/ocarina-backends-xml_common.ads
src/backends/ocarina-backends-xml_common.ads
+17
-19
src/backends/ocarina-backends-xml_tree-debug.adb
src/backends/ocarina-backends-xml_tree-debug.adb
+15
-17
src/backends/ocarina-backends-xml_tree-debug.ads
src/backends/ocarina-backends-xml_tree-debug.ads
+15
-17
src/backends/ocarina-backends-xml_tree-generator.adb
src/backends/ocarina-backends-xml_tree-generator.adb
+15
-17
src/backends/ocarina-backends-xml_tree-generator.ads
src/backends/ocarina-backends-xml_tree-generator.ads
+17
-19
src/backends/ocarina-backends-xml_tree-nutils.adb
src/backends/ocarina-backends-xml_tree-nutils.adb
+15
-17
src/backends/ocarina-backends-xml_tree-nutils.ads
src/backends/ocarina-backends-xml_tree-nutils.ads
+15
-17
src/backends/ocarina-backends-xml_tree.ads
src/backends/ocarina-backends-xml_tree.ads
+17
-19
src/backends/ocarina-backends-xml_values.adb
src/backends/ocarina-backends-xml_values.adb
+15
-17
src/backends/ocarina-backends-xml_values.ads
src/backends/ocarina-backends-xml_values.ads
+15
-17
src/backends/ocarina-backends-xtratum_conf-channels.adb
src/backends/ocarina-backends-xtratum_conf-channels.adb
+15
-17
src/backends/ocarina-backends-xtratum_conf-channels.ads
src/backends/ocarina-backends-xtratum_conf-channels.ads
+17
-19
src/backends/ocarina-backends-xtratum_conf-hardware_description.adb
...ds/ocarina-backends-xtratum_conf-hardware_description.adb
+15
-17
src/backends/ocarina-backends-xtratum_conf-hardware_description.ads
...ds/ocarina-backends-xtratum_conf-hardware_description.ads
+17
-19
src/backends/ocarina-backends-xtratum_conf-mapping.adb
src/backends/ocarina-backends-xtratum_conf-mapping.adb
+15
-17
src/backends/ocarina-backends-xtratum_conf-mapping.ads
src/backends/ocarina-backends-xtratum_conf-mapping.ads
+15
-17
src/backends/ocarina-backends-xtratum_conf-partition_table.adb
...ackends/ocarina-backends-xtratum_conf-partition_table.adb
+15
-17
src/backends/ocarina-backends-xtratum_conf-partition_table.ads
...ackends/ocarina-backends-xtratum_conf-partition_table.ads
+17
-19
src/backends/ocarina-backends-xtratum_conf-resident_sw.adb
src/backends/ocarina-backends-xtratum_conf-resident_sw.adb
+15
-17
src/backends/ocarina-backends-xtratum_conf-resident_sw.ads
src/backends/ocarina-backends-xtratum_conf-resident_sw.ads
+17
-19
src/backends/ocarina-backends-xtratum_conf-system_description.adb
...ends/ocarina-backends-xtratum_conf-system_description.adb
+15
-17
src/backends/ocarina-backends-xtratum_conf-system_description.ads
...ends/ocarina-backends-xtratum_conf-system_description.ads
+17
-19
src/backends/ocarina-backends-xtratum_conf-xm_hypervisor.adb
src/backends/ocarina-backends-xtratum_conf-xm_hypervisor.adb
+15
-17
src/backends/ocarina-backends-xtratum_conf-xm_hypervisor.ads
src/backends/ocarina-backends-xtratum_conf-xm_hypervisor.ads
+17
-19
src/backends/ocarina-backends-xtratum_conf.adb
src/backends/ocarina-backends-xtratum_conf.adb
+15
-17
src/backends/ocarina-backends-xtratum_conf.ads
src/backends/ocarina-backends-xtratum_conf.ads
+17
-19
src/backends/ocarina-backends.adb
src/backends/ocarina-backends.adb
+15
-17
src/backends/ocarina-backends.ads
src/backends/ocarina-backends.ads
+15
-17
src/backends/ocarina-be_aadl-annexes.adb
src/backends/ocarina-be_aadl-annexes.adb
+15
-17
src/backends/ocarina-be_aadl-annexes.ads
src/backends/ocarina-be_aadl-annexes.ads
+17
-19
src/backends/ocarina-be_aadl-components-arrays.adb
src/backends/ocarina-be_aadl-components-arrays.adb
+15
-17
src/backends/ocarina-be_aadl-components-arrays.ads
src/backends/ocarina-be_aadl-components-arrays.ads
+17
-19
src/backends/ocarina-be_aadl-components-connections.adb
src/backends/ocarina-be_aadl-components-connections.adb
+15
-17
src/backends/ocarina-be_aadl-components-connections.ads
src/backends/ocarina-be_aadl-components-connections.ads
+17
-19
src/backends/ocarina-be_aadl-components-features.adb
src/backends/ocarina-be_aadl-components-features.adb
+15
-17
src/backends/ocarina-be_aadl-components-features.ads
src/backends/ocarina-be_aadl-components-features.ads
+17
-19
src/backends/ocarina-be_aadl-components-flows.adb
src/backends/ocarina-be_aadl-components-flows.adb
+15
-17
src/backends/ocarina-be_aadl-components-flows.ads
src/backends/ocarina-be_aadl-components-flows.ads
+17
-19
src/backends/ocarina-be_aadl-components-modes.adb
src/backends/ocarina-be_aadl-components-modes.adb
+15
-17
src/backends/ocarina-be_aadl-components-modes.ads
src/backends/ocarina-be_aadl-components-modes.ads
+17
-19
src/backends/ocarina-be_aadl-components-prototypes.adb
src/backends/ocarina-be_aadl-components-prototypes.adb
+15
-17
src/backends/ocarina-be_aadl-components-prototypes.ads
src/backends/ocarina-be_aadl-components-prototypes.ads
+17
-19
src/backends/ocarina-be_aadl-components-subcomponents.adb
src/backends/ocarina-be_aadl-components-subcomponents.adb
+15
-17
src/backends/ocarina-be_aadl-components-subcomponents.ads
src/backends/ocarina-be_aadl-components-subcomponents.ads
+17
-19
src/backends/ocarina-be_aadl-components-subprogram_calls.adb
src/backends/ocarina-be_aadl-components-subprogram_calls.adb
+15
-17
src/backends/ocarina-be_aadl-components-subprogram_calls.ads
src/backends/ocarina-be_aadl-components-subprogram_calls.ads
+17
-19
src/backends/ocarina-be_aadl-components.adb
src/backends/ocarina-be_aadl-components.adb
+15
-17
src/backends/ocarina-be_aadl-components.ads
src/backends/ocarina-be_aadl-components.ads
+17
-19
src/backends/ocarina-be_aadl-identifiers.adb
src/backends/ocarina-be_aadl-identifiers.adb
+15
-17
src/backends/ocarina-be_aadl-identifiers.ads
src/backends/ocarina-be_aadl-identifiers.ads
+17
-19
src/backends/ocarina-be_aadl-namespaces.adb
src/backends/ocarina-be_aadl-namespaces.adb
+15
-17
src/backends/ocarina-be_aadl-namespaces.ads
src/backends/ocarina-be_aadl-namespaces.ads
+15
-17
src/backends/ocarina-be_aadl-properties-values.adb
src/backends/ocarina-be_aadl-properties-values.adb
+15
-17
src/backends/ocarina-be_aadl-properties-values.ads
src/backends/ocarina-be_aadl-properties-values.ads
+17
-19
src/backends/ocarina-be_aadl-properties.adb
src/backends/ocarina-be_aadl-properties.adb
+15
-17
src/backends/ocarina-be_aadl-properties.ads
src/backends/ocarina-be_aadl-properties.ads
+17
-19
src/backends/ocarina-be_aadl.adb
src/backends/ocarina-be_aadl.adb
+15
-17
src/backends/ocarina-be_aadl.ads
src/backends/ocarina-be_aadl.ads
+15
-17
src/backends/ocarina-be_aadl_ba-actions.adb
src/backends/ocarina-be_aadl_ba-actions.adb
+15
-17
src/backends/ocarina-be_aadl_ba-actions.ads
src/backends/ocarina-be_aadl_ba-actions.ads
+17
-19
src/backends/ocarina-be_aadl_ba-expressions.adb
src/backends/ocarina-be_aadl_ba-expressions.adb
+15
-17
src/backends/ocarina-be_aadl_ba-expressions.ads
src/backends/ocarina-be_aadl_ba-expressions.ads
+17
-19
src/backends/ocarina-be_aadl_ba-identifiers.adb
src/backends/ocarina-be_aadl_ba-identifiers.adb
+15
-17
src/backends/ocarina-be_aadl_ba-identifiers.ads
src/backends/ocarina-be_aadl_ba-identifiers.ads
+17
-19
src/backends/ocarina-be_aadl_ba-specifications.adb
src/backends/ocarina-be_aadl_ba-specifications.adb
+15
-17
src/backends/ocarina-be_aadl_ba-specifications.ads
src/backends/ocarina-be_aadl_ba-specifications.ads
+17
-19
src/backends/ocarina-be_aadl_ba-thread_dispatch.adb
src/backends/ocarina-be_aadl_ba-thread_dispatch.adb
+15
-17
src/backends/ocarina-be_aadl_ba-thread_dispatch.ads
src/backends/ocarina-be_aadl_ba-thread_dispatch.ads
+17
-19
src/backends/ocarina-be_aadl_ba.adb
src/backends/ocarina-be_aadl_ba.adb
+15
-17
src/backends/ocarina-be_aadl_ba.ads
src/backends/ocarina-be_aadl_ba.ads
+15
-17
src/backends/ocarina-be_real.adb
src/backends/ocarina-be_real.adb
+15
-17
src/backends/ocarina-be_real.ads
src/backends/ocarina-be_real.ads
+17
-19
src/config/ocarina-configuration.ads
src/config/ocarina-configuration.ads
+17
-19
src/core/common_files/charset.adb
src/core/common_files/charset.adb
+15
-17
src/core/common_files/charset.ads
src/core/common_files/charset.ads
+17
-19
src/core/common_files/errors.adb
src/core/common_files/errors.adb
+14
-16
src/core/common_files/errors.ads
src/core/common_files/errors.ads
+14
-16
src/core/common_files/locations.adb
src/core/common_files/locations.adb
+15
-17
src/core/common_files/locations.ads
src/core/common_files/locations.ads
+15
-17
src/core/common_files/ocarina-namet.adb
src/core/common_files/ocarina-namet.adb
+16
-18
src/core/common_files/ocarina-namet.ads
src/core/common_files/ocarina-namet.ads
+15
-17
src/core/common_files/ocarina-output.adb
src/core/common_files/ocarina-output.adb
+16
-18
src/core/common_files/ocarina-output.ads
src/core/common_files/ocarina-output.ads
+15
-17
src/core/common_files/ocarina-types.adb
src/core/common_files/ocarina-types.adb
+16
-18
src/core/common_files/ocarina-types.ads
src/core/common_files/ocarina-types.ads
+16
-18
src/core/common_files/outfiles.adb
src/core/common_files/outfiles.adb
+15
-17
src/core/common_files/outfiles.ads
src/core/common_files/outfiles.ads
+17
-19
src/core/common_files/utils.adb
src/core/common_files/utils.adb
+15
-17
src/core/common_files/utils.ads
src/core/common_files/utils.ads
+15
-17
src/core/instance/ocarina-instances-components-connections.adb
...ore/instance/ocarina-instances-components-connections.adb
+15
-17
src/core/instance/ocarina-instances-components-connections.ads
...ore/instance/ocarina-instances-components-connections.ads
+17
-19
src/core/instance/ocarina-instances-components-features.adb
src/core/instance/ocarina-instances-components-features.adb
+15
-17
src/core/instance/ocarina-instances-components-features.ads
src/core/instance/ocarina-instances-components-features.ads
+17
-19
src/core/instance/ocarina-instances-components-modes.adb
src/core/instance/ocarina-instances-components-modes.adb
+15
-17
src/core/instance/ocarina-instances-components-modes.ads
src/core/instance/ocarina-instances-components-modes.ads
+15
-17
src/core/instance/ocarina-instances-components-subcomponents.adb
...e/instance/ocarina-instances-components-subcomponents.adb
+14
-16
src/core/instance/ocarina-instances-components-subcomponents.ads
...e/instance/ocarina-instances-components-subcomponents.ads
+17
-19
src/core/instance/ocarina-instances-components-subprogram_calls.adb
...nstance/ocarina-instances-components-subprogram_calls.adb
+15
-17
src/core/instance/ocarina-instances-components-subprogram_calls.ads
...nstance/ocarina-instances-components-subprogram_calls.ads
+17
-19
src/core/instance/ocarina-instances-components.adb
src/core/instance/ocarina-instances-components.adb
+14
-16
src/core/instance/ocarina-instances-components.ads
src/core/instance/ocarina-instances-components.ads
+17
-19
src/core/instance/ocarina-instances-finder.adb
src/core/instance/ocarina-instances-finder.adb
+15
-17
src/core/instance/ocarina-instances-finder.ads
src/core/instance/ocarina-instances-finder.ads
+15
-17
src/core/instance/ocarina-instances-messages.adb
src/core/instance/ocarina-instances-messages.adb
+14
-16
src/core/instance/ocarina-instances-messages.ads
src/core/instance/ocarina-instances-messages.ads
+17
-19
src/core/instance/ocarina-instances-namespaces.adb
src/core/instance/ocarina-instances-namespaces.adb
+15
-17
src/core/instance/ocarina-instances-namespaces.ads
src/core/instance/ocarina-instances-namespaces.ads
+17
-19
src/core/instance/ocarina-instances-processor-properties.adb
src/core/instance/ocarina-instances-processor-properties.adb
+14
-16
src/core/instance/ocarina-instances-processor-properties.ads
src/core/instance/ocarina-instances-processor-properties.ads
+17
-19
src/core/instance/ocarina-instances-processor.ads
src/core/instance/ocarina-instances-processor.ads
+17
-19
src/core/instance/ocarina-instances-properties.adb
src/core/instance/ocarina-instances-properties.adb
+15
-17
src/core/instance/ocarina-instances-properties.ads
src/core/instance/ocarina-instances-properties.ads
+17
-19
src/core/instance/ocarina-instances-queries.adb
src/core/instance/ocarina-instances-queries.adb
+15
-17
src/core/instance/ocarina-instances-queries.ads
src/core/instance/ocarina-instances-queries.ads
+15
-17
src/core/instance/ocarina-instances-real_checker-queries-access_predicates.adb
...rina-instances-real_checker-queries-access_predicates.adb
+15
-17
src/core/instance/ocarina-instances-real_checker-queries-access_predicates.ads
...rina-instances-real_checker-queries-access_predicates.ads
+17
-19
src/core/instance/ocarina-instances-real_checker-queries-bound_predicates.adb
...arina-instances-real_checker-queries-bound_predicates.adb
+15
-17
src/core/instance/ocarina-instances-real_checker-queries-bound_predicates.ads
...arina-instances-real_checker-queries-bound_predicates.ads
+17
-19
src/core/instance/ocarina-instances-real_checker-queries-call_predicates.adb
...carina-instances-real_checker-queries-call_predicates.adb
+15
-17
src/core/instance/ocarina-instances-real_checker-queries-call_predicates.ads
...carina-instances-real_checker-queries-call_predicates.ads
+17
-19
src/core/instance/ocarina-instances-real_checker-queries-connected_predicates.adb
...a-instances-real_checker-queries-connected_predicates.adb
+15
-17
src/core/instance/ocarina-instances-real_checker-queries-connected_predicates.ads
...a-instances-real_checker-queries-connected_predicates.ads
+17
-19
src/core/instance/ocarina-instances-real_checker-queries-passing_predicates.adb
...ina-instances-real_checker-queries-passing_predicates.adb
+15
-17
src/core/instance/ocarina-instances-real_checker-queries-passing_predicates.ads
...ina-instances-real_checker-queries-passing_predicates.ads
+17
-19
src/core/instance/ocarina-instances-real_checker-queries-predecessor_predicates.adb
...instances-real_checker-queries-predecessor_predicates.adb
+15
-17
src/core/instance/ocarina-instances-real_checker-queries-predecessor_predicates.ads
...instances-real_checker-queries-predecessor_predicates.ads
+17
-19
src/core/instance/ocarina-instances-real_checker-queries-predicates.adb
...nce/ocarina-instances-real_checker-queries-predicates.adb
+15
-17
src/core/instance/ocarina-instances-real_checker-queries-predicates.ads
...nce/ocarina-instances-real_checker-queries-predicates.ads
+17
-19
src/core/instance/ocarina-instances-real_checker-queries-provided_class_predicates.adb
...tances-real_checker-queries-provided_class_predicates.adb
+15
-17
src/core/instance/ocarina-instances-real_checker-queries-provided_class_predicates.ads
...tances-real_checker-queries-provided_class_predicates.ads
+17
-19
src/core/instance/ocarina-instances-real_checker-queries-relational_predicates.adb
...-instances-real_checker-queries-relational_predicates.adb
+15
-17
src/core/instance/ocarina-instances-real_checker-queries-relational_predicates.ads
...-instances-real_checker-queries-relational_predicates.ads
+15
-17
src/core/instance/ocarina-instances-real_checker-queries-subcomponent_predicates.adb
...nstances-real_checker-queries-subcomponent_predicates.adb
+15
-17
src/core/instance/ocarina-instances-real_checker-queries-subcomponent_predicates.ads
...nstances-real_checker-queries-subcomponent_predicates.ads
+17
-19
src/core/instance/ocarina-instances-real_checker-queries.adb
src/core/instance/ocarina-instances-real_checker-queries.adb
+15
-17
src/core/instance/ocarina-instances-real_checker-queries.ads
src/core/instance/ocarina-instances-real_checker-queries.ads
+15
-17
src/core/instance/ocarina-instances-real_checker.ads
src/core/instance/ocarina-instances-real_checker.ads
+17
-19
src/core/instance/ocarina-instances-real_finder.adb
src/core/instance/ocarina-instances-real_finder.adb
+15
-17
src/core/instance/ocarina-instances-real_finder.ads
src/core/instance/ocarina-instances-real_finder.ads
+17
-19
src/core/instance/ocarina-instances.adb
src/core/instance/ocarina-instances.adb
+14
-16
src/core/instance/ocarina-instances.ads
src/core/instance/ocarina-instances.ads
+15
-17
src/core/instance/ocarina-real_expander-flow_analysis.adb
src/core/instance/ocarina-real_expander-flow_analysis.adb
+15
-17
src/core/instance/ocarina-real_expander-flow_analysis.ads
src/core/instance/ocarina-real_expander-flow_analysis.ads
+17
-19
src/core/instance/ocarina-real_expander.adb
src/core/instance/ocarina-real_expander.adb
+15
-17
src/core/instance/ocarina-real_expander.ads
src/core/instance/ocarina-real_expander.ads
+17
-19
src/core/mgmt/ocarina-files.adb
src/core/mgmt/ocarina-files.adb
+15
-17
src/core/mgmt/ocarina-files.ads
src/core/mgmt/ocarina-files.ads
+15
-17
src/core/mgmt/ocarina-options.adb
src/core/mgmt/ocarina-options.adb
+15
-17
src/core/mgmt/ocarina-options.ads
src/core/mgmt/ocarina-options.ads
+14
-16
src/core/mgmt/ocarina-parser.adb
src/core/mgmt/ocarina-parser.adb
+15
-17
src/core/mgmt/ocarina-parser.ads
src/core/mgmt/ocarina-parser.ads
+17
-19
src/core/mgmt/ocarina.adb
src/core/mgmt/ocarina.adb
+15
-17
src/core/mgmt/ocarina.ads
src/core/mgmt/ocarina.ads
+17
-19
src/core/model/ocarina-analyzer-aadl-finder.adb
src/core/model/ocarina-analyzer-aadl-finder.adb
+14
-16
src/core/model/ocarina-analyzer-aadl-finder.ads
src/core/model/ocarina-analyzer-aadl-finder.ads
+15
-17
src/core/model/ocarina-analyzer-aadl-legality_rules.adb
src/core/model/ocarina-analyzer-aadl-legality_rules.adb
+15
-17
src/core/model/ocarina-analyzer-aadl-legality_rules.ads
src/core/model/ocarina-analyzer-aadl-legality_rules.ads
+15
-17
src/core/model/ocarina-analyzer-aadl-links.adb
src/core/model/ocarina-analyzer-aadl-links.adb
+14
-16
src/core/model/ocarina-analyzer-aadl-links.ads
src/core/model/ocarina-analyzer-aadl-links.ads
+15
-17
src/core/model/ocarina-analyzer-aadl-names.adb
src/core/model/ocarina-analyzer-aadl-names.adb
+15
-17
src/core/model/ocarina-analyzer-aadl-names.ads
src/core/model/ocarina-analyzer-aadl-names.ads
+17
-19
src/core/model/ocarina-analyzer-aadl-naming_rules.adb
src/core/model/ocarina-analyzer-aadl-naming_rules.adb
+15
-17
src/core/model/ocarina-analyzer-aadl-naming_rules.ads
src/core/model/ocarina-analyzer-aadl-naming_rules.ads
+15
-17
src/core/model/ocarina-analyzer-aadl-queries.adb
src/core/model/ocarina-analyzer-aadl-queries.adb
+14
-16
src/core/model/ocarina-analyzer-aadl-queries.ads
src/core/model/ocarina-analyzer-aadl-queries.ads
+15
-17
src/core/model/ocarina-analyzer-aadl-semantics.adb
src/core/model/ocarina-analyzer-aadl-semantics.adb
+14
-16
src/core/model/ocarina-analyzer-aadl-semantics.ads
src/core/model/ocarina-analyzer-aadl-semantics.ads
+15
-17
src/core/model/ocarina-analyzer-aadl.adb
src/core/model/ocarina-analyzer-aadl.adb
+15
-17
src/core/model/ocarina-analyzer-aadl.ads
src/core/model/ocarina-analyzer-aadl.ads
+17
-19
src/core/model/ocarina-analyzer-messages.adb
src/core/model/ocarina-analyzer-messages.adb
+15
-17
src/core/model/ocarina-analyzer-messages.ads
src/core/model/ocarina-analyzer-messages.ads
+15
-17
src/core/model/ocarina-analyzer-real-finder.adb
src/core/model/ocarina-analyzer-real-finder.adb
+15
-17
src/core/model/ocarina-analyzer-real-finder.ads
src/core/model/ocarina-analyzer-real-finder.ads
+17
-19
src/core/model/ocarina-analyzer-real.adb
src/core/model/ocarina-analyzer-real.adb
+15
-17
src/core/model/ocarina-analyzer-real.ads
src/core/model/ocarina-analyzer-real.ads
+15
-17
src/core/model/ocarina-analyzer.adb
src/core/model/ocarina-analyzer.adb
+15
-17
src/core/model/ocarina-analyzer.ads
src/core/model/ocarina-analyzer.ads
+17
-19
src/core/model/ocarina-builder-aadl-annexes.adb
src/core/model/ocarina-builder-aadl-annexes.adb
+15
-17
src/core/model/ocarina-builder-aadl-annexes.ads
src/core/model/ocarina-builder-aadl-annexes.ads
+15
-17
src/core/model/ocarina-builder-aadl-components-arrays.adb
src/core/model/ocarina-builder-aadl-components-arrays.adb
+15
-17
src/core/model/ocarina-builder-aadl-components-arrays.ads
src/core/model/ocarina-builder-aadl-components-arrays.ads
+17
-19
src/core/model/ocarina-builder-aadl-components-connections.adb
...ore/model/ocarina-builder-aadl-components-connections.adb
+15
-17
src/core/model/ocarina-builder-aadl-components-connections.ads
...ore/model/ocarina-builder-aadl-components-connections.ads
+15
-17
src/core/model/ocarina-builder-aadl-components-features.adb
src/core/model/ocarina-builder-aadl-components-features.adb
+15
-17
src/core/model/ocarina-builder-aadl-components-features.ads
src/core/model/ocarina-builder-aadl-components-features.ads
+15
-17
src/core/model/ocarina-builder-aadl-components-flows.adb
src/core/model/ocarina-builder-aadl-components-flows.adb
+15
-17
src/core/model/ocarina-builder-aadl-components-flows.ads
src/core/model/ocarina-builder-aadl-components-flows.ads
+15
-17
src/core/model/ocarina-builder-aadl-components-modes.adb
src/core/model/ocarina-builder-aadl-components-modes.adb
+15
-17
src/core/model/ocarina-builder-aadl-components-modes.ads
src/core/model/ocarina-builder-aadl-components-modes.ads
+15
-17
src/core/model/ocarina-builder-aadl-components-prototypes.adb
...core/model/ocarina-builder-aadl-components-prototypes.adb
+15
-17
src/core/model/ocarina-builder-aadl-components-prototypes.ads
...core/model/ocarina-builder-aadl-components-prototypes.ads
+15
-17
src/core/model/ocarina-builder-aadl-components-subcomponents.adb
...e/model/ocarina-builder-aadl-components-subcomponents.adb
+15
-17
src/core/model/ocarina-builder-aadl-components-subcomponents.ads
...e/model/ocarina-builder-aadl-components-subcomponents.ads
+17
-19
src/core/model/ocarina-builder-aadl-components-subprogram_calls.adb
...odel/ocarina-builder-aadl-components-subprogram_calls.adb
+15
-17
src/core/model/ocarina-builder-aadl-components-subprogram_calls.ads
...odel/ocarina-builder-aadl-components-subprogram_calls.ads
+15
-17
src/core/model/ocarina-builder-aadl-components.adb
src/core/model/ocarina-builder-aadl-components.adb
+15
-17
src/core/model/ocarina-builder-aadl-components.ads
src/core/model/ocarina-builder-aadl-components.ads
+15
-17
src/core/model/ocarina-builder-aadl-namespaces.adb
src/core/model/ocarina-builder-aadl-namespaces.adb
+15
-17
src/core/model/ocarina-builder-aadl-namespaces.ads
src/core/model/ocarina-builder-aadl-namespaces.ads
+15
-17
src/core/model/ocarina-builder-aadl-properties.adb
src/core/model/ocarina-builder-aadl-properties.adb
+15
-17
src/core/model/ocarina-builder-aadl-properties.ads
src/core/model/ocarina-builder-aadl-properties.ads
+15
-17
src/core/model/ocarina-builder-aadl.ads
src/core/model/ocarina-builder-aadl.ads
+17
-19
src/core/model/ocarina-builder-aadl_ba-actions.adb
src/core/model/ocarina-builder-aadl_ba-actions.adb
+15
-17
src/core/model/ocarina-builder-aadl_ba-actions.ads
src/core/model/ocarina-builder-aadl_ba-actions.ads
+15
-17
src/core/model/ocarina-builder-aadl_ba-expressions.adb
src/core/model/ocarina-builder-aadl_ba-expressions.adb
+15
-17
src/core/model/ocarina-builder-aadl_ba-expressions.ads
src/core/model/ocarina-builder-aadl_ba-expressions.ads
+15
-17
src/core/model/ocarina-builder-aadl_ba-specifications.adb
src/core/model/ocarina-builder-aadl_ba-specifications.adb
+15
-17
src/core/model/ocarina-builder-aadl_ba-specifications.ads
src/core/model/ocarina-builder-aadl_ba-specifications.ads
+15
-17
src/core/model/ocarina-builder-aadl_ba-thread_dispatch.adb
src/core/model/ocarina-builder-aadl_ba-thread_dispatch.adb
+15
-17
src/core/model/ocarina-builder-aadl_ba-thread_dispatch.ads
src/core/model/ocarina-builder-aadl_ba-thread_dispatch.ads
+15
-17
src/core/model/ocarina-builder-aadl_ba.ads
src/core/model/ocarina-builder-aadl_ba.ads
+17
-19
src/core/model/ocarina-builder-real.adb
src/core/model/ocarina-builder-real.adb
+15
-17
src/core/model/ocarina-builder-real.ads
src/core/model/ocarina-builder-real.ads
+17
-19
src/core/model/ocarina-builder.ads
src/core/model/ocarina-builder.ads
+17
-19
src/core/model/ocarina-processor-properties.adb
src/core/model/ocarina-processor-properties.adb
+14
-16
src/core/model/ocarina-processor-properties.ads
src/core/model/ocarina-processor-properties.ads
+17
-19
src/core/model/ocarina-processor.ads
src/core/model/ocarina-processor.ads
+17
-19
src/core/tree/ocarina-aadl_values.adb
src/core/tree/ocarina-aadl_values.adb
+15
-17
src/core/tree/ocarina-aadl_values.ads
src/core/tree/ocarina-aadl_values.ads
+15
-17
src/core/tree/ocarina-annotations.adb
src/core/tree/ocarina-annotations.adb
+15
-17
src/core/tree/ocarina-annotations.ads
src/core/tree/ocarina-annotations.ads
+15
-17
src/core/tree/ocarina-me_aadl-aadl_instances-debug.adb
src/core/tree/ocarina-me_aadl-aadl_instances-debug.adb
+15
-17
src/core/tree/ocarina-me_aadl-aadl_instances-debug.ads
src/core/tree/ocarina-me_aadl-aadl_instances-debug.ads
+15
-17
src/core/tree/ocarina-me_aadl-aadl_instances-entities-properties.adb
...ee/ocarina-me_aadl-aadl_instances-entities-properties.adb
+15
-17
src/core/tree/ocarina-me_aadl-aadl_instances-entities-properties.ads
...ee/ocarina-me_aadl-aadl_instances-entities-properties.ads
+17
-19
src/core/tree/ocarina-me_aadl-aadl_instances-entities.adb
src/core/tree/ocarina-me_aadl-aadl_instances-entities.adb
+15
-17
src/core/tree/ocarina-me_aadl-aadl_instances-entities.ads
src/core/tree/ocarina-me_aadl-aadl_instances-entities.ads
+15
-17
src/core/tree/ocarina-me_aadl-aadl_instances-nutils.adb
src/core/tree/ocarina-me_aadl-aadl_instances-nutils.adb
+15
-17
src/core/tree/ocarina-me_aadl-aadl_instances-nutils.ads
src/core/tree/ocarina-me_aadl-aadl_instances-nutils.ads
+15
-17
src/core/tree/ocarina-me_aadl-aadl_instances.ads
src/core/tree/ocarina-me_aadl-aadl_instances.ads
+17
-19
src/core/tree/ocarina-me_aadl-aadl_tree-debug.adb
src/core/tree/ocarina-me_aadl-aadl_tree-debug.adb
+15
-17
src/core/tree/ocarina-me_aadl-aadl_tree-debug.ads
src/core/tree/ocarina-me_aadl-aadl_tree-debug.ads
+15
-17
src/core/tree/ocarina-me_aadl-aadl_tree-entities-properties.adb
...re/tree/ocarina-me_aadl-aadl_tree-entities-properties.adb
+14
-16
src/core/tree/ocarina-me_aadl-aadl_tree-entities-properties.ads
...re/tree/ocarina-me_aadl-aadl_tree-entities-properties.ads
+14
-16
src/core/tree/ocarina-me_aadl-aadl_tree-entities.adb
src/core/tree/ocarina-me_aadl-aadl_tree-entities.adb
+15
-17
src/core/tree/ocarina-me_aadl-aadl_tree-entities.ads
src/core/tree/ocarina-me_aadl-aadl_tree-entities.ads
+15
-17
src/core/tree/ocarina-me_aadl-aadl_tree-nutils.adb
src/core/tree/ocarina-me_aadl-aadl_tree-nutils.adb
+15
-17
src/core/tree/ocarina-me_aadl-aadl_tree-nutils.ads
src/core/tree/ocarina-me_aadl-aadl_tree-nutils.ads
+15
-17
src/core/tree/ocarina-me_aadl-aadl_tree.ads
src/core/tree/ocarina-me_aadl-aadl_tree.ads
+17
-19
src/core/tree/ocarina-me_aadl-printers.adb
src/core/tree/ocarina-me_aadl-printers.adb
+17
-19
src/core/tree/ocarina-me_aadl-printers.ads
src/core/tree/ocarina-me_aadl-printers.ads
+17
-19
src/core/tree/ocarina-me_aadl-tokens.adb
src/core/tree/ocarina-me_aadl-tokens.adb
+15
-17
src/core/tree/ocarina-me_aadl-tokens.ads
src/core/tree/ocarina-me_aadl-tokens.ads
+15
-17
src/core/tree/ocarina-me_aadl.ads
src/core/tree/ocarina-me_aadl.ads
+15
-17
src/core/tree/ocarina-me_aadl_ba-ba_tree-debug.adb
src/core/tree/ocarina-me_aadl_ba-ba_tree-debug.adb
+15
-17
src/core/tree/ocarina-me_aadl_ba-ba_tree-debug.ads
src/core/tree/ocarina-me_aadl_ba-ba_tree-debug.ads
+15
-17
src/core/tree/ocarina-me_aadl_ba-ba_tree-nutils.adb
src/core/tree/ocarina-me_aadl_ba-ba_tree-nutils.adb
+15
-17
src/core/tree/ocarina-me_aadl_ba-ba_tree-nutils.ads
src/core/tree/ocarina-me_aadl_ba-ba_tree-nutils.ads
+15
-17
src/core/tree/ocarina-me_aadl_ba-ba_tree.ads
src/core/tree/ocarina-me_aadl_ba-ba_tree.ads
+17
-19
src/core/tree/ocarina-me_aadl_ba-tokens.adb
src/core/tree/ocarina-me_aadl_ba-tokens.adb
+15
-17
src/core/tree/ocarina-me_aadl_ba-tokens.ads
src/core/tree/ocarina-me_aadl_ba-tokens.ads
+15
-17
src/core/tree/ocarina-me_aadl_ba.ads
src/core/tree/ocarina-me_aadl_ba.ads
+15
-17
src/core/tree/ocarina-me_real-real_tree-debug.adb
src/core/tree/ocarina-me_real-real_tree-debug.adb
+15
-17
src/core/tree/ocarina-me_real-real_tree-debug.ads
src/core/tree/ocarina-me_real-real_tree-debug.ads
+15
-17
src/core/tree/ocarina-me_real-real_tree-nutils.adb
src/core/tree/ocarina-me_real-real_tree-nutils.adb
+15
-17
src/core/tree/ocarina-me_real-real_tree-nutils.ads
src/core/tree/ocarina-me_real-real_tree-nutils.ads
+15
-17
src/core/tree/ocarina-me_real-real_tree-utils.adb
src/core/tree/ocarina-me_real-real_tree-utils.adb
+15
-17
src/core/tree/ocarina-me_real-real_tree-utils.ads
src/core/tree/ocarina-me_real-real_tree-utils.ads
+15
-17
src/core/tree/ocarina-me_real-real_tree.ads
src/core/tree/ocarina-me_real-real_tree.ads
+17
-19
src/core/tree/ocarina-me_real-tokens.adb
src/core/tree/ocarina-me_real-tokens.adb
+15
-17
src/core/tree/ocarina-me_real-tokens.ads
src/core/tree/ocarina-me_real-tokens.ads
+15
-17
src/core/tree/ocarina-me_real.ads
src/core/tree/ocarina-me_real.ads
+17
-19
src/core/tree/ocarina-property_sets.adb
src/core/tree/ocarina-property_sets.adb
+15
-17
src/core/tree/ocarina-property_sets.ads
src/core/tree/ocarina-property_sets.ads
+15
-17
src/core/tree/ocarina-real_values.adb
src/core/tree/ocarina-real_values.adb
+15
-17
src/core/tree/ocarina-real_values.ads
src/core/tree/ocarina-real_values.ads
+15
-17
src/frontends/aadl/ocarina-fe_aadl-lexer.adb
src/frontends/aadl/ocarina-fe_aadl-lexer.adb
+15
-17
src/frontends/aadl/ocarina-fe_aadl-lexer.ads
src/frontends/aadl/ocarina-fe_aadl-lexer.ads
+15
-17
src/frontends/aadl/ocarina-fe_aadl-parser-annexes.adb
src/frontends/aadl/ocarina-fe_aadl-parser-annexes.adb
+15
-17
src/frontends/aadl/ocarina-fe_aadl-parser-annexes.ads
src/frontends/aadl/ocarina-fe_aadl-parser-annexes.ads
+17
-19
src/frontends/aadl/ocarina-fe_aadl-parser-components-arrays.adb
...ontends/aadl/ocarina-fe_aadl-parser-components-arrays.adb
+15
-17
src/frontends/aadl/ocarina-fe_aadl-parser-components-arrays.ads
...ontends/aadl/ocarina-fe_aadl-parser-components-arrays.ads
+17
-19
src/frontends/aadl/ocarina-fe_aadl-parser-components-connections.adb
...ds/aadl/ocarina-fe_aadl-parser-components-connections.adb
+15
-17
src/frontends/aadl/ocarina-fe_aadl-parser-components-connections.ads
...ds/aadl/ocarina-fe_aadl-parser-components-connections.ads
+17
-19
src/frontends/aadl/ocarina-fe_aadl-parser-components-features.adb
...tends/aadl/ocarina-fe_aadl-parser-components-features.adb
+15
-17
src/frontends/aadl/ocarina-fe_aadl-parser-components-features.ads
...tends/aadl/ocarina-fe_aadl-parser-components-features.ads
+17
-19
src/frontends/aadl/ocarina-fe_aadl-parser-components-flows.adb
...rontends/aadl/ocarina-fe_aadl-parser-components-flows.adb
+15
-17
src/frontends/aadl/ocarina-fe_aadl-parser-components-flows.ads
...rontends/aadl/ocarina-fe_aadl-parser-components-flows.ads
+17
-19
src/frontends/aadl/ocarina-fe_aadl-parser-components-modes.adb
...rontends/aadl/ocarina-fe_aadl-parser-components-modes.adb
+15
-17
src/frontends/aadl/ocarina-fe_aadl-parser-components-modes.ads
...rontends/aadl/ocarina-fe_aadl-parser-components-modes.ads
+17
-19
src/frontends/aadl/ocarina-fe_aadl-parser-components-prototypes.adb
...nds/aadl/ocarina-fe_aadl-parser-components-prototypes.adb
+15
-17
src/frontends/aadl/ocarina-fe_aadl-parser-components-prototypes.ads
...nds/aadl/ocarina-fe_aadl-parser-components-prototypes.ads
+17
-19
src/frontends/aadl/ocarina-fe_aadl-parser-components-subcomponents.adb
.../aadl/ocarina-fe_aadl-parser-components-subcomponents.adb
+15
-17
src/frontends/aadl/ocarina-fe_aadl-parser-components-subcomponents.ads
.../aadl/ocarina-fe_aadl-parser-components-subcomponents.ads
+17
-19
src/frontends/aadl/ocarina-fe_aadl-parser-components-subprogram_calls.adb
...dl/ocarina-fe_aadl-parser-components-subprogram_calls.adb
+15
-17
src/frontends/aadl/ocarina-fe_aadl-parser-components-subprogram_calls.ads
...dl/ocarina-fe_aadl-parser-components-subprogram_calls.ads
+17
-19
src/frontends/aadl/ocarina-fe_aadl-parser-components.adb
src/frontends/aadl/ocarina-fe_aadl-parser-components.adb
+15
-17
src/frontends/aadl/ocarina-fe_aadl-parser-components.ads
src/frontends/aadl/ocarina-fe_aadl-parser-components.ads
+17
-19
src/frontends/aadl/ocarina-fe_aadl-parser-identifiers.adb
src/frontends/aadl/ocarina-fe_aadl-parser-identifiers.adb
+15
-17
src/frontends/aadl/ocarina-fe_aadl-parser-identifiers.ads
src/frontends/aadl/ocarina-fe_aadl-parser-identifiers.ads
+15
-17
src/frontends/aadl/ocarina-fe_aadl-parser-namespaces.adb
src/frontends/aadl/ocarina-fe_aadl-parser-namespaces.adb
+15
-17
src/frontends/aadl/ocarina-fe_aadl-parser-namespaces.ads
src/frontends/aadl/ocarina-fe_aadl-parser-namespaces.ads
+17
-19
src/frontends/aadl/ocarina-fe_aadl-parser-properties-values.adb
...ontends/aadl/ocarina-fe_aadl-parser-properties-values.adb
+14
-16
src/frontends/aadl/ocarina-fe_aadl-parser-properties-values.ads
...ontends/aadl/ocarina-fe_aadl-parser-properties-values.ads
+15
-17
src/frontends/aadl/ocarina-fe_aadl-parser-properties.adb
src/frontends/aadl/ocarina-fe_aadl-parser-properties.adb
+14
-16
src/frontends/aadl/ocarina-fe_aadl-parser-properties.ads
src/frontends/aadl/ocarina-fe_aadl-parser-properties.ads
+15
-17
src/frontends/aadl/ocarina-fe_aadl-parser.adb
src/frontends/aadl/ocarina-fe_aadl-parser.adb
+15
-17
src/frontends/aadl/ocarina-fe_aadl-parser.ads
src/frontends/aadl/ocarina-fe_aadl-parser.ads
+15
-17
src/frontends/aadl/ocarina-fe_aadl-parser_errors.adb
src/frontends/aadl/ocarina-fe_aadl-parser_errors.adb
+15
-17
src/frontends/aadl/ocarina-fe_aadl-parser_errors.ads
src/frontends/aadl/ocarina-fe_aadl-parser_errors.ads
+15
-17
src/frontends/aadl/ocarina-fe_aadl.adb
src/frontends/aadl/ocarina-fe_aadl.adb
+15
-17
src/frontends/aadl/ocarina-fe_aadl.ads
src/frontends/aadl/ocarina-fe_aadl.ads
+17
-19
src/frontends/aadl_ba/ocarina-fe_aadl_ba-lexer.adb
src/frontends/aadl_ba/ocarina-fe_aadl_ba-lexer.adb
+15
-17
src/frontends/aadl_ba/ocarina-fe_aadl_ba-lexer.ads
src/frontends/aadl_ba/ocarina-fe_aadl_ba-lexer.ads
+15
-17
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-actions.adb
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-actions.adb
+15
-17
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-actions.ads
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-actions.ads
+17
-19
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-expressions.adb
...ontends/aadl_ba/ocarina-fe_aadl_ba-parser-expressions.adb
+15
-17
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-expressions.ads
...ontends/aadl_ba/ocarina-fe_aadl_ba-parser-expressions.ads
+15
-17
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-identifiers.adb
...ontends/aadl_ba/ocarina-fe_aadl_ba-parser-identifiers.adb
+15
-17
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-identifiers.ads
...ontends/aadl_ba/ocarina-fe_aadl_ba-parser-identifiers.ads
+17
-19
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-specifications.adb
...ends/aadl_ba/ocarina-fe_aadl_ba-parser-specifications.adb
+15
-17
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-specifications.ads
...ends/aadl_ba/ocarina-fe_aadl_ba-parser-specifications.ads
+17
-19
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-thread_dispatch.adb
...nds/aadl_ba/ocarina-fe_aadl_ba-parser-thread_dispatch.adb
+15
-17
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser-thread_dispatch.ads
...nds/aadl_ba/ocarina-fe_aadl_ba-parser-thread_dispatch.ads
+17
-19
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser.adb
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser.adb
+15
-17
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser.ads
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser.ads
+15
-17
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser_errors.adb
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser_errors.adb
+15
-17
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser_errors.ads
src/frontends/aadl_ba/ocarina-fe_aadl_ba-parser_errors.ads
+15
-17
src/frontends/aadl_ba/ocarina-fe_aadl_ba.adb
src/frontends/aadl_ba/ocarina-fe_aadl_ba.adb
+15
-17
src/frontends/aadl_ba/ocarina-fe_aadl_ba.ads
src/frontends/aadl_ba/ocarina-fe_aadl_ba.ads
+17
-19
src/frontends/real/ocarina-fe_real-lexer.adb
src/frontends/real/ocarina-fe_real-lexer.adb
+15
-17
src/frontends/real/ocarina-fe_real-lexer.ads
src/frontends/real/ocarina-fe_real-lexer.ads
+15
-17
src/frontends/real/ocarina-fe_real-parser.adb
src/frontends/real/ocarina-fe_real-parser.adb
+15
-17
src/frontends/real/ocarina-fe_real-parser.ads
src/frontends/real/ocarina-fe_real-parser.ads
+17
-19
src/frontends/real/ocarina-fe_real-parser_errors.adb
src/frontends/real/ocarina-fe_real-parser_errors.adb
+15
-17
src/frontends/real/ocarina-fe_real-parser_errors.ads
src/frontends/real/ocarina-fe_real-parser_errors.ads
+15
-17
src/frontends/real/ocarina-fe_real.adb
src/frontends/real/ocarina-fe_real.adb
+15
-17
src/frontends/real/ocarina-fe_real.ads
src/frontends/real/ocarina-fe_real.ads
+17
-19
src/main/ocarina-scripts.adb
src/main/ocarina-scripts.adb
+14
-16
src/main/ocarina-scripts.ads
src/main/ocarina-scripts.ads
+15
-17
src/main/ocarina_cmd.adb
src/main/ocarina_cmd.adb
+14
-16
src/python/ocarina-lmp.adb
src/python/ocarina-lmp.adb
+14
-16
src/python/ocarina-lmp.ads
src/python/ocarina-lmp.ads
+14
-16
src/python/ocarina-python.adb
src/python/ocarina-python.adb
+15
-17
src/python/ocarina-python.ads
src/python/ocarina-python.ads
+17
-19
src/python/ocarina-python_cmd.adb
src/python/ocarina-python_cmd.adb
+14
-16
src/python/ocarina-python_cmd.ads
src/python/ocarina-python_cmd.ads
+17
-19
src/python/ocarina-utils.adb
src/python/ocarina-utils.adb
+14
-16
src/python/ocarina-utils.ads
src/python/ocarina-utils.ads
+14
-16
src/transfo/ocarina-transfo-fusions-scheduler.adb
src/transfo/ocarina-transfo-fusions-scheduler.adb
+15
-17
src/transfo/ocarina-transfo-fusions-scheduler.ads
src/transfo/ocarina-transfo-fusions-scheduler.ads
+15
-17
src/transfo/ocarina-transfo-fusions.adb
src/transfo/ocarina-transfo-fusions.adb
+15
-17
src/transfo/ocarina-transfo-fusions.ads
src/transfo/ocarina-transfo-fusions.ads
+15
-17
src/transfo/ocarina-transfo-move.adb
src/transfo/ocarina-transfo-move.adb
+15
-17
src/transfo/ocarina-transfo-move.ads
src/transfo/ocarina-transfo-move.ads
+17
-19
src/transfo/ocarina-transfo-optim-eval.adb
src/transfo/ocarina-transfo-optim-eval.adb
+15
-17
src/transfo/ocarina-transfo-optim-eval.ads
src/transfo/ocarina-transfo-optim-eval.ads
+15
-17
src/transfo/ocarina-transfo-optim.adb
src/transfo/ocarina-transfo-optim.adb
+15
-17
src/transfo/ocarina-transfo-optim.ads
src/transfo/ocarina-transfo-optim.ads
+17
-19
src/transfo/ocarina-transfo.adb
src/transfo/ocarina-transfo.adb
+15
-17
src/transfo/ocarina-transfo.ads
src/transfo/ocarina-transfo.ads
+15
-17
No files found.
src/backends/ocarina-backends-aadl_xml-main.adb
View file @
c8496fae
...
...
@@ -6,25 +6,23 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2011-201
4
ESA & ISAE. --
-- Copyright (C) 2011-201
5
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify --
-- it under terms of the GNU General Public License as published by the --
-- Free Software Foundation; either version 2, or (at your option) any --
-- later version. Ocarina is distributed in the hope that it will be --
-- useful, but WITHOUT ANY WARRANTY; without even the implied warranty of --
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General --
-- Public License for more details. You should have received a copy of the --
-- GNU General Public License distributed with Ocarina; see file COPYING. --
-- If not, write to the Free Software Foundation, 51 Franklin Street, Fifth --
-- Floor, Boston, MA 02111-1301, USA. --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- ware Foundation; either version 3, or (at your option) any later ver- --
-- sion. Ocarina is distributed in the hope that it will be useful, but --
-- WITHOUT ANY WARRANTY; without even the implied warranty of --
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. --
-- --
-- As a special exception, if other files instantiate generics from this --
-- unit, or you link this unit with other files to produce an executable, --
-- this unit does not by itself cause the resulting executable to be --
-- covered by the GNU General Public License. This exception does not --
-- however invalidate any other reasons why the executable file might be --
-- covered by the GNU Public License. --
-- As a special exception under Section 7 of GPL version 3, you are granted --
-- additional permissions described in the GCC Runtime Library Exception, --
-- version 3.1, as published by the Free Software Foundation. --
-- --
-- You should have received a copy of the GNU General Public License and --
-- a copy of the GCC Runtime Library Exception along with this program; --
-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
-- <http://www.gnu.org/licenses/>. --
-- --
-- Ocarina is maintained by the TASTE project --
-- (taste-users@lists.tuxfamily.org) --
...
...
src/backends/ocarina-backends-aadl_xml-main.ads
View file @
c8496fae
...
...
@@ -6,25 +6,23 @@
-- --
-- S p e c --
-- --
-- Copyright (C) 2011-2012 ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify --
-- it under terms of the GNU General Public License as published by the --
-- Free Software Foundation; either version 2, or (at your option) any --
-- later version. Ocarina is distributed in the hope that it will be --
-- useful, but WITHOUT ANY WARRANTY; without even the implied warranty of --
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General --
-- Public License for more details. You should have received a copy of the --
-- GNU General Public License distributed with Ocarina; see file COPYING. --
-- If not, write to the Free Software Foundation, 51 Franklin Street, Fifth --
-- Floor, Boston, MA 02111-1301, USA. --
-- --
-- As a special exception, if other files instantiate generics from this --
-- unit, or you link this unit with other files to produce an executable, --
-- this unit does not by itself cause the resulting executable to be --
-- covered by the GNU General Public License. This exception does not --
-- however invalidate any other reasons why the executable file might be --
-- covered by the GNU Public License. --
-- Copyright (C) 2011-2015 ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- ware Foundation; either version 3, or (at your option) any later ver- --
-- sion. Ocarina is distributed in the hope that it will be useful, but --
-- WITHOUT ANY WARRANTY; without even the implied warranty of --
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. --
-- --
-- As a special exception under Section 7 of GPL version 3, you are granted --
-- additional permissions described in the GCC Runtime Library Exception, --
-- version 3.1, as published by the Free Software Foundation. --
-- --
-- You should have received a copy of the GNU General Public License and --
-- a copy of the GCC Runtime Library Exception along with this program; --
-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
-- <http://www.gnu.org/licenses/>. --
-- --
-- Ocarina is maintained by the TASTE project --
-- (taste-users@lists.tuxfamily.org) --
...
...
src/backends/ocarina-backends-aadl_xml-mapping.adb
View file @
c8496fae
...
...
@@ -6,25 +6,23 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2011-201
4
ESA & ISAE. --
-- Copyright (C) 2011-201
5
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify --
-- it under terms of the GNU General Public License as published by the --
-- Free Software Foundation; either version 2, or (at your option) any --
-- later version. Ocarina is distributed in the hope that it will be --
-- useful, but WITHOUT ANY WARRANTY; without even the implied warranty of --
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General --
-- Public License for more details. You should have received a copy of the --
-- GNU General Public License distributed with Ocarina; see file COPYING. --
-- If not, write to the Free Software Foundation, 51 Franklin Street, Fifth --
-- Floor, Boston, MA 02111-1301, USA. --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- ware Foundation; either version 3, or (at your option) any later ver- --
-- sion. Ocarina is distributed in the hope that it will be useful, but --
-- WITHOUT ANY WARRANTY; without even the implied warranty of --
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. --
-- --
-- As a special exception, if other files instantiate generics from this --
-- unit, or you link this unit with other files to produce an executable, --
-- this unit does not by itself cause the resulting executable to be --
-- covered by the GNU General Public License. This exception does not --
-- however invalidate any other reasons why the executable file might be --
-- covered by the GNU Public License. --
-- As a special exception under Section 7 of GPL version 3, you are granted --
-- additional permissions described in the GCC Runtime Library Exception, --
-- version 3.1, as published by the Free Software Foundation. --
-- --
-- You should have received a copy of the GNU General Public License and --
-- a copy of the GCC Runtime Library Exception along with this program; --
-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
-- <http://www.gnu.org/licenses/>. --
-- --
-- Ocarina is maintained by the TASTE project --
-- (taste-users@lists.tuxfamily.org) --
...
...
src/backends/ocarina-backends-aadl_xml-mapping.ads
View file @
c8496fae
...
...
@@ -6,25 +6,23 @@
-- --
-- S p e c --
-- --
-- Copyright (C) 2011-2012 ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify --
-- it under terms of the GNU General Public License as published by the --
-- Free Software Foundation; either version 2, or (at your option) any --
-- later version. Ocarina is distributed in the hope that it will be --
-- useful, but WITHOUT ANY WARRANTY; without even the implied warranty of --
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General --
-- Public License for more details. You should have received a copy of the --
-- GNU General Public License distributed with Ocarina; see file COPYING. --
-- If not, write to the Free Software Foundation, 51 Franklin Street, Fifth --
-- Floor, Boston, MA 02111-1301, USA. --
-- --
-- As a special exception, if other files instantiate generics from this --
-- unit, or you link this unit with other files to produce an executable, --
-- this unit does not by itself cause the resulting executable to be --
-- covered by the GNU General Public License. This exception does not --
-- however invalidate any other reasons why the executable file might be --
-- covered by the GNU Public License. --
-- Copyright (C) 2011-2015 ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- ware Foundation; either version 3, or (at your option) any later ver- --
-- sion. Ocarina is distributed in the hope that it will be useful, but --
-- WITHOUT ANY WARRANTY; without even the implied warranty of --
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. --
-- --
-- As a special exception under Section 7 of GPL version 3, you are granted --
-- additional permissions described in the GCC Runtime Library Exception, --
-- version 3.1, as published by the Free Software Foundation. --
-- --
-- You should have received a copy of the GNU General Public License and --
-- a copy of the GCC Runtime Library Exception along with this program; --
-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
-- <http://www.gnu.org/licenses/>. --
-- --
-- Ocarina is maintained by the TASTE project --
-- (taste-users@lists.tuxfamily.org) --
...
...
src/backends/ocarina-backends-aadl_xml.adb
View file @
c8496fae
...
...
@@ -6,25 +6,23 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2011-201
4
ESA & ISAE. --
-- Copyright (C) 2011-201
5
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify --
-- it under terms of the GNU General Public License as published by the --
-- Free Software Foundation; either version 2, or (at your option) any --
-- later version. Ocarina is distributed in the hope that it will be --
-- useful, but WITHOUT ANY WARRANTY; without even the implied warranty of --
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General --
-- Public License for more details. You should have received a copy of the --
-- GNU General Public License distributed with Ocarina; see file COPYING. --
-- If not, write to the Free Software Foundation, 51 Franklin Street, Fifth --
-- Floor, Boston, MA 02111-1301, USA. --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- ware Foundation; either version 3, or (at your option) any later ver- --
-- sion. Ocarina is distributed in the hope that it will be useful, but --
-- WITHOUT ANY WARRANTY; without even the implied warranty of --
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. --
-- --
-- As a special exception, if other files instantiate generics from this --
-- unit, or you link this unit with other files to produce an executable, --
-- this unit does not by itself cause the resulting executable to be --
-- covered by the GNU General Public License. This exception does not --
-- however invalidate any other reasons why the executable file might be --
-- covered by the GNU Public License. --
-- As a special exception under Section 7 of GPL version 3, you are granted --
-- additional permissions described in the GCC Runtime Library Exception, --
-- version 3.1, as published by the Free Software Foundation. --
-- --
-- You should have received a copy of the GNU General Public License and --
-- a copy of the GCC Runtime Library Exception along with this program; --
-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
-- <http://www.gnu.org/licenses/>. --
-- --
-- Ocarina is maintained by the TASTE project --
-- (taste-users@lists.tuxfamily.org) --
...
...
src/backends/ocarina-backends-aadl_xml.ads
View file @
c8496fae
...
...
@@ -6,25 +6,23 @@
-- --
-- S p e c --
-- --
-- Copyright (C) 2011-2012 ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify --
-- it under terms of the GNU General Public License as published by the --
-- Free Software Foundation; either version 2, or (at your option) any --
-- later version. Ocarina is distributed in the hope that it will be --
-- useful, but WITHOUT ANY WARRANTY; without even the implied warranty of --
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General --
-- Public License for more details. You should have received a copy of the --
-- GNU General Public License distributed with Ocarina; see file COPYING. --
-- If not, write to the Free Software Foundation, 51 Franklin Street, Fifth --
-- Floor, Boston, MA 02111-1301, USA. --
-- --
-- As a special exception, if other files instantiate generics from this --
-- unit, or you link this unit with other files to produce an executable, --
-- this unit does not by itself cause the resulting executable to be --
-- covered by the GNU General Public License. This exception does not --
-- however invalidate any other reasons why the executable file might be --
-- covered by the GNU Public License. --
-- Copyright (C) 2011-2015 ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- ware Foundation; either version 3, or (at your option) any later ver- --
-- sion. Ocarina is distributed in the hope that it will be useful, but --
-- WITHOUT ANY WARRANTY; without even the implied warranty of --
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. --
-- --
-- As a special exception under Section 7 of GPL version 3, you are granted --
-- additional permissions described in the GCC Runtime Library Exception, --
-- version 3.1, as published by the Free Software Foundation. --
-- --
-- You should have received a copy of the GNU General Public License and --
-- a copy of the GCC Runtime Library Exception along with this program; --
-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
-- <http://www.gnu.org/licenses/>. --
-- --
-- Ocarina is maintained by the TASTE project --
-- (taste-users@lists.tuxfamily.org) --
...
...
src/backends/ocarina-backends-ada_tree-debug.adb
View file @
c8496fae
...
...
@@ -6,25 +6,23 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2006-2009 Telecom ParisTech, 2010-201
4
ESA & ISAE. --
-- Copyright (C) 2006-2009 Telecom ParisTech, 2010-201
5
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify --
-- it under terms of the GNU General Public License as published by the --
-- Free Software Foundation; either version 2, or (at your option) any --
-- later version. Ocarina is distributed in the hope that it will be --
-- useful, but WITHOUT ANY WARRANTY; without even the implied warranty of --
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General --
-- Public License for more details. You should have received a copy of the --
-- GNU General Public License distributed with Ocarina; see file COPYING. --
-- If not, write to the Free Software Foundation, 51 Franklin Street, Fifth --
-- Floor, Boston, MA 02111-1301, USA. --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- ware Foundation; either version 3, or (at your option) any later ver- --
-- sion. Ocarina is distributed in the hope that it will be useful, but --
-- WITHOUT ANY WARRANTY; without even the implied warranty of --
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. --
-- --
-- As a special exception, if other files instantiate generics from this --
-- unit, or you link this unit with other files to produce an executable, --
-- this unit does not by itself cause the resulting executable to be --
-- covered by the GNU General Public License. This exception does not --
-- however invalidate any other reasons why the executable file might be --
-- covered by the GNU Public License. --
-- As a special exception under Section 7 of GPL version 3, you are granted --
-- additional permissions described in the GCC Runtime Library Exception, --
-- version 3.1, as published by the Free Software Foundation. --
-- --
-- You should have received a copy of the GNU General Public License and --
-- a copy of the GCC Runtime Library Exception along with this program; --
-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
-- <http://www.gnu.org/licenses/>. --
-- --
-- Ocarina is maintained by the TASTE project --
-- (taste-users@lists.tuxfamily.org) --
...
...
src/backends/ocarina-backends-ada_tree-debug.ads
View file @
c8496fae
...
...
@@ -6,25 +6,23 @@
-- --
-- S p e c --
-- --
-- Copyright (C) 2006-2009 Telecom ParisTech, 2010-201
4
ESA & ISAE. --
-- Copyright (C) 2006-2009 Telecom ParisTech, 2010-201
5
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify --
-- it under terms of the GNU General Public License as published by the --
-- Free Software Foundation; either version 2, or (at your option) any --
-- later version. Ocarina is distributed in the hope that it will be --
-- useful, but WITHOUT ANY WARRANTY; without even the implied warranty of --
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General --
-- Public License for more details. You should have received a copy of the --
-- GNU General Public License distributed with Ocarina; see file COPYING. --
-- If not, write to the Free Software Foundation, 51 Franklin Street, Fifth --
-- Floor, Boston, MA 02111-1301, USA. --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
-- ware Foundation; either version 3, or (at your option) any later ver- --
-- sion. Ocarina is distributed in the hope that it will be useful, but --
-- WITHOUT ANY WARRANTY; without even the implied warranty of --
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. --
-- --
-- As a special exception, if other files instantiate generics from this --
-- unit, or you link this unit with other files to produce an executable, --
-- this unit does not by itself cause the resulting executable to be --
-- covered by the GNU General Public License. This exception does not --
-- however invalidate any other reasons why the executable file might be --
-- covered by the GNU Public License. --
-- As a special exception under Section 7 of GPL version 3, you are granted --
-- additional permissions described in the GCC Runtime Library Exception, --
-- version 3.1, as published by the Free Software Foundation. --
-- --
-- You should have received a copy of the GNU General Public License and --
-- a copy of the GCC Runtime Library Exception along with this program; --
-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
-- <http://www.gnu.org/licenses/>. --
-- --
-- Ocarina is maintained by the TASTE project --
-- (taste-users@lists.tuxfamily.org) --
...
...
src/backends/ocarina-backends-ada_tree-generator-spark.adb
View file @
c8496fae
...
...
@@ -6,25 +6,23 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2009 Telecom ParisTech, 2010-201
4
ESA & ISAE. --
-- Copyright (C) 2009 Telecom ParisTech, 2010-201
5
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify --
-- it under terms of the GNU General Public License as published by the --
-- Free Software Foundation; either version 2, or (at your option) any --
-- later version. Ocarina is distributed in the hope that it will be --
-- useful, but WITHOUT ANY WARRANTY; without even the implied warranty of --
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General --
-- Public License for more details. You should have received a copy of the --
-- GNU General Public License distributed with Ocarina; see file COPYING. --
-- If not, write to the Free Software Foundation, 51 Franklin Street, Fifth --
-- Floor, Boston, MA 02111-1301, USA. --
-- Ocarina is free software; you can redistribute it and/or modify under --