Test ran at 2025-02-24 01:03:02.010087+00:00 SOLUTION: cheddar=3.3.0: Cheddar is a real time scheduling analysis tool. Origin: source archive Cheddar-3.3-src.tar.gz at http://beru.univ-brest.fr/svn/CHEDDAR/releases/Cheddar-3.3-src.tar.gz with hash sha256:aea10b3cf91eec749b09d3c22ba2a97c4d8a1360ef0d95efb7349c0121cb4a16 Properties: Post_Fetch run: bash -c -x sed -i.bak -e/CHEDDAR_DIR/s/.src// -es/required_packages[a-z/]*// '-e/^end/s@^@package Install is for Artifacts (".") use ("../graphical_editor/glade_files"); end Install;@' gpr/*.gpr (from ${CRATE_ROOT}/.) Post_Fetch run: sed -i.bk2 -e1s/^/with "gtkada";with "ocarina-config"; with "xmlada";/ gpr/cheddar.gpr (from ${CRATE_ROOT}/.) Author: Lab-STICC Configuration: no modifiers Description: Cheddar is a real time scheduling analysis tool. Environment: CHEDDAR_DIR=${CRATE_ROOT} Environment: CHEDDAR_INSTALL_PATH=${CRATE_ROOT}/graphical_editor/ Executable: cheddar License: GPL-3.0-only Long_Description: To run cheddar you should set CHEDDAR_INSTALL_PATH or change current working directory to the crate root. Maintainer: Maxim Reznik Maintainers_Logins: reznikmm Name: cheddar Project_File: gpr/cheddar.gpr Tag: realtime Tag: model Tag: simulator Tag: analyzer Version: 3.3.0 Website: http://beru.univ-brest.fr/cheddar Dependencies (direct): gtkada* ocarina_lib=1.1.0-20070603 xmlada* Dependencies (solution): gnat=14.2.1 (gnat_native) gtkada=25.0.1 libgtk3=3.24.43 make=4.4.1 ocarina_lib=1.1.0-20070603 pkg_config=2.3.0 xmlada=25.0.0 Dependencies (graph): cheddar=3.3.0 --> gtkada=25.0.1 (*) cheddar=3.3.0 --> ocarina_lib=1.1.0-20070603 (=1.1.0-20070603) cheddar=3.3.0 --> xmlada=25.0.0 (*) gtkada=25.0.1 --> libgtk3=3.24.43 (>=3.24.24) gtkada=25.0.1 --> make=4.4.1 (*) gtkada=25.0.1 --> pkg_config=2.3.0 (*) xmlada=25.0.0 --> gnat=14.2.1 (gnat_native) (>=11) LOG: Spawning: alr -d -n get --build cheddar=3.3.0 Note: Deploying cheddar=3.3.0... #=#=# ##O#-# 0.0% 0.0% 0.1% 0.2% 0.3% 0.6% 1.0% # 2.0% ## 3.8% ##### 7.2% ######## 11.2% ########### 15.3% ############# 19.4% ################ 23.0% ################### 27.1% ##################### 30.3% ######################## 34.4% ########################### 38.5% ############################## 42.5% ################################# 46.7% ################################### 49.8% ###################################### 53.6% ######################################### 57.2% ########################################### 60.8% ############################################## 64.7% ################################################ 68.0% #################################################### 72.4% ###################################################### 76.1% ######################################################### 80.2% ########################################################### 83.1% ############################################################## 86.7% ################################################################# 90.6% #################################################################### 94.5% ####################################################################### 98.8% ######################################################################## 100.0% Note: Deploying libgtk3=3.24.43... The system package 'gtk+3' is about to be installed. This action might require admin privileges and impact your system installation. Do you want Alire to install this system package? Using default: Yes ==> Downloading https://ghcr.io/v2/homebrew/core/gtkx3/manifests/3.24.43 ==> Fetching dependencies for gtk+3: dbus, libxfixes, libxi, libxtst, at-spi2-core, fribidi, gdk-pixbuf, gsettings-desktop-schemas, hicolor-icon-theme, libepoxy and pango ==> Downloading https://ghcr.io/v2/homebrew/core/dbus/manifests/1.14.10 ==> Fetching dbus ==> Downloading https://ghcr.io/v2/homebrew/core/dbus/blobs/sha256:f1435a361d873e109e1ca1d5ee6860afe9b1cfc2f8f34861ccbdd0072e1ee2c1 ==> Downloading https://ghcr.io/v2/homebrew/core/libxfixes/manifests/6.0.1 ==> Fetching libxfixes ==> Downloading https://ghcr.io/v2/homebrew/core/libxfixes/blobs/sha256:50d2927a1b3705cccad6057873681f1605786646c2dbd8af9bac2dcfbd1b49d6 ==> Downloading https://ghcr.io/v2/homebrew/core/libxi/manifests/1.8.2 ==> Fetching libxi ==> Downloading https://ghcr.io/v2/homebrew/core/libxi/blobs/sha256:474b22f2f4b4bf6945a3ce00400213838ba390542393cdba26c807f39694401b ==> Downloading https://ghcr.io/v2/homebrew/core/libxtst/manifests/1.2.5 ==> Fetching libxtst ==> Downloading https://ghcr.io/v2/homebrew/core/libxtst/blobs/sha256:aaefda085ce2cd52a2fccada770bc3280c75128ecbd66f92ea7afa25c11631c8 ==> Downloading https://ghcr.io/v2/homebrew/core/at-spi2-core/manifests/2.54.1 ==> Fetching at-spi2-core ==> Downloading https://ghcr.io/v2/homebrew/core/at-spi2-core/blobs/sha256:242f10012d6f91d57a00cc89f493c36ac8397855c6e1054dfa53fb1de56b1d41 ==> Downloading https://ghcr.io/v2/homebrew/core/fribidi/manifests/1.0.16 ==> Fetching fribidi ==> Downloading https://ghcr.io/v2/homebrew/core/fribidi/blobs/sha256:0b03218a59bba62ca5a27b1a59d8c63f40478e3a957192121e1b2c593fcdb80c ==> Downloading https://ghcr.io/v2/homebrew/core/gdk-pixbuf/manifests/2.42.12 ==> Fetching gdk-pixbuf ==> Downloading https://ghcr.io/v2/homebrew/core/gdk-pixbuf/blobs/sha256:25939bb8cc913348f52c3c72ad16089b15cd2293397b3a9a4bcec90dbd409987 ==> Downloading https://ghcr.io/v2/homebrew/core/gsettings-desktop-schemas/manifests/47.1 ==> Fetching gsettings-desktop-schemas ==> Downloading https://ghcr.io/v2/homebrew/core/gsettings-desktop-schemas/blobs/sha256:e42eec92d68e461084cf34eed8eb1a306213860d6ed4ebabecb9a34aa489fb5d ==> Downloading https://ghcr.io/v2/homebrew/core/hicolor-icon-theme/manifests/0.18 ==> Fetching hicolor-icon-theme ==> Downloading https://ghcr.io/v2/homebrew/core/hicolor-icon-theme/blobs/sha256:76779247990b538d304e98b042fde85677491e428d0381a59383264ce8ef199f ==> Downloading https://ghcr.io/v2/homebrew/core/libepoxy/manifests/1.5.10 ==> Fetching libepoxy ==> Downloading https://ghcr.io/v2/homebrew/core/libepoxy/blobs/sha256:512616ae9cffdb0a7055c058775769b7bdb72c09bf6a31120db83db9b2937b8f ==> Downloading https://ghcr.io/v2/homebrew/core/pango/manifests/1.56.1 ==> Fetching pango ==> Downloading https://ghcr.io/v2/homebrew/core/pango/blobs/sha256:10d30603c08a15d21c900460daed6d3393c7b3f11a1efcfaa95dfbc045023f30 ==> Fetching gtk+3 ==> Downloading https://ghcr.io/v2/homebrew/core/gtkx3/blobs/sha256:b3981b071d6b1214820c5be272256d1058a5f7db57fccb70da713516e2bad714 ==> Installing dependencies for gtk+3: dbus, libxfixes, libxi, libxtst, at-spi2-core, fribidi, gdk-pixbuf, gsettings-desktop-schemas, hicolor-icon-theme, libepoxy and pango ==> Installing gtk+3 dependency: dbus ==> Downloading https://ghcr.io/v2/homebrew/core/dbus/manifests/1.14.10 Already downloaded: /Users/runner/Library/Caches/Homebrew/downloads/2dee97539c09d15349d9935f14c299bce3e52d11fd6d399a05a5190d0e7a1028--dbus-1.14.10.bottle_manifest.json ==> Pouring dbus--1.14.10.arm64_sonoma.bottle.tar.gz ==> /opt/homebrew/Cellar/dbus/1.14.10/bin/dbus-uuidgen --ensure=/opt/homebrew/va 🍺 /opt/homebrew/Cellar/dbus/1.14.10: 78 files, 2.6MB ==> Installing gtk+3 dependency: libxfixes ==> Downloading https://ghcr.io/v2/homebrew/core/libxfixes/manifests/6.0.1 Already downloaded: /Users/runner/Library/Caches/Homebrew/downloads/b78eeb464b4c153eb6e75a04ba240b4972cdc642e77e9c5085e186630c2c4862--libxfixes-6.0.1.bottle_manifest.json ==> Pouring libxfixes--6.0.1.arm64_sonoma.bottle.tar.gz 🍺 /opt/homebrew/Cellar/libxfixes/6.0.1: 13 files, 147.1KB ==> Installing gtk+3 dependency: libxi ==> Downloading https://ghcr.io/v2/homebrew/core/libxi/manifests/1.8.2 Already downloaded: /Users/runner/Library/Caches/Homebrew/downloads/089cbc546059463acb4a311e70491ca9665a8c04ab7683bc3c0803ee15b4d698--libxi-1.8.2.bottle_manifest.json ==> Pouring libxi--1.8.2.arm64_sonoma.bottle.tar.gz 🍺 /opt/homebrew/Cellar/libxi/1.8.2: 86 files, 701.3KB ==> Installing gtk+3 dependency: libxtst ==> Downloading https://ghcr.io/v2/homebrew/core/libxtst/manifests/1.2.5 Already downloaded: /Users/runner/Library/Caches/Homebrew/downloads/255b29f533b7064a6e692de37b3d9a41d73033506bec841e9900dbf2eb337a4c--libxtst-1.2.5.bottle_manifest.json ==> Pouring libxtst--1.2.5.arm64_sonoma.bottle.tar.gz 🍺 /opt/homebrew/Cellar/libxtst/1.2.5: 23 files, 195KB ==> Installing gtk+3 dependency: at-spi2-core ==> Downloading https://ghcr.io/v2/homebrew/core/at-spi2-core/manifests/2.54.1 Already downloaded: /Users/runner/Library/Caches/Homebrew/downloads/8f25c743f8dafe4531a2462e9ba7d197964903280c9a3a55fd994047217c8b2f--at-spi2-core-2.54.1.bottle_manifest.json ==> Pouring at-spi2-core--2.54.1.arm64_sonoma.bottle.tar.gz 🍺 /opt/homebrew/Cellar/at-spi2-core/2.54.1: 200 files, 4.3MB ==> Installing gtk+3 dependency: fribidi ==> Downloading https://ghcr.io/v2/homebrew/core/fribidi/manifests/1.0.16 Already downloaded: /Users/runner/Library/Caches/Homebrew/downloads/9b4a81e7d1c2fe7c2d8ed4194565744f65bab0238c00f7f3f521f5aec2b8697f--fribidi-1.0.16.bottle_manifest.json ==> Pouring fribidi--1.0.16.arm64_sonoma.bottle.tar.gz 🍺 /opt/homebrew/Cellar/fribidi/1.0.16: 68 files, 568.0KB ==> Installing gtk+3 dependency: gdk-pixbuf ==> Downloading https://ghcr.io/v2/homebrew/core/gdk-pixbuf/manifests/2.42.12 Already downloaded: /Users/runner/Library/Caches/Homebrew/downloads/51502ca3ad1b3a076e2aec3be882089fbd1c2257b822a0d3c155e23e68a7e70e--gdk-pixbuf-2.42.12.bottle_manifest.json ==> Pouring gdk-pixbuf--2.42.12.arm64_sonoma.bottle.tar.gz ==> /opt/homebrew/Cellar/gdk-pixbuf/2.42.12/bin/gdk-pixbuf-query-loaders --updat 🍺 /opt/homebrew/Cellar/gdk-pixbuf/2.42.12: 152 files, 4.0MB ==> Installing gtk+3 dependency: gsettings-desktop-schemas ==> Downloading https://ghcr.io/v2/homebrew/core/gsettings-desktop-schemas/manifests/47.1 Already downloaded: /Users/runner/Library/Caches/Homebrew/downloads/b9f3c8eeef1a3151b2cd6cb6dce3b01d95d82745f2ee8424be217a14d76461e1--gsettings-desktop-schemas-47.1.bottle_manifest.json ==> Pouring gsettings-desktop-schemas--47.1.arm64_sonoma.bottle.tar.gz ==> /opt/homebrew/opt/glib/bin/glib-compile-schemas /opt/homebrew/share/glib-2.0 🍺 /opt/homebrew/Cellar/gsettings-desktop-schemas/47.1: 106 files, 5.4MB ==> Installing gtk+3 dependency: hicolor-icon-theme ==> Downloading https://ghcr.io/v2/homebrew/core/hicolor-icon-theme/manifests/0.18 Already downloaded: /Users/runner/Library/Caches/Homebrew/downloads/70835c74d449476f69c535127dcf54e7bc83475b0e28f15db78ccf6c2dfe3e7a--hicolor-icon-theme-0.18.bottle_manifest.json ==> Pouring hicolor-icon-theme--0.18.all.bottle.tar.gz 🍺 /opt/homebrew/Cellar/hicolor-icon-theme/0.18: 8 files, 80.8KB ==> Installing gtk+3 dependency: libepoxy ==> Downloading https://ghcr.io/v2/homebrew/core/libepoxy/manifests/1.5.10 Already downloaded: /Users/runner/Library/Caches/Homebrew/downloads/fd91321dc6032305294ad3c7c3851bc80f1505f18512e4753036c509ba4b4e2c--libepoxy-1.5.10.bottle_manifest.json ==> Pouring libepoxy--1.5.10.arm64_sonoma.bottle.tar.gz 🍺 /opt/homebrew/Cellar/libepoxy/1.5.10: 11 files, 2.6MB ==> Installing gtk+3 dependency: pango ==> Downloading https://ghcr.io/v2/homebrew/core/pango/manifests/1.56.1 Already downloaded: /Users/runner/Library/Caches/Homebrew/downloads/75e1e6e5c9a7d9f4128b8a936564740ec555add0e80ba8ec1830271c72a675e1--pango-1.56.1.bottle_manifest.json ==> Pouring pango--1.56.1.arm64_sonoma.bottle.tar.gz 🍺 /opt/homebrew/Cellar/pango/1.56.1: 69 files, 3.4MB ==> Installing gtk+3 ==> Pouring gtk+3--3.24.43.arm64_sonoma.bottle.tar.gz ==> /opt/homebrew/opt/glib/bin/glib-compile-schemas /opt/homebrew/share/glib-2.0 ==> /opt/homebrew/Cellar/gtk+3/3.24.43/bin/gtk3-update-icon-cache -f -t /opt/hom ==> /opt/homebrew/Cellar/gtk+3/3.24.43/bin/gtk-query-immodules-3.0 > /opt/homebr 🍺 /opt/homebrew/Cellar/gtk+3/3.24.43: 749 files, 56.4MB Note: Deploying ocarina_lib=1.1.0-20070603... #=#=# 0.7% # 2.3% ### 5.4% ######## 11.6% ########### 15.4% ################################## 48.6% ############################################# 63.5% ####################################################################### 100.0% ######################################################################## 100.0% Note: Deploying gtkada=25.0.1... #=#=# ##O#-# ##=O#- # # #=O#- # # #=O#- # # #=O=# # # #=O=# # # -#O=-# # # -#O=- # # Note: Running post-fetch actions for ocarina_lib=1.1.0-20070603... checking build system type... arm-apple-darwin23.6.0 checking host system type... arm-apple-darwin23.6.0 checking target system type... arm-apple-darwin23.6.0 checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for gawk... no checking for mawk... no checking for nawk... no checking for awk... awk checking whether make sets $(MAKE)... yes checking for mv... mv checking for rm... rm checking for cp... cp checking for grep... grep checking for chmod... chmod checking for ranlib... ranlib checking for style of include used by make... GNU checking for gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking dependency style of gcc... none checking for gnatmake... gnatmake checking for gnatgcc... no checking for adagcc... no checking for gcc... gcc checking for gnatchop... gnatchop checking if the Ada compiler works... yes checking for gnatclean... gnatclean checking for python version... ./configure: line 4065: /bin/false: No such file or directory checking for python platform... ./configure: line 4084: /bin/false: No such file or directory checking for python script directory... ${prefix}/lib/python/site-packages checking for python extension module directory... ${exec_prefix}/lib/python/site-packages checking for polyorb-config... no configure: WARNING: PolyORB 2.2 or later is not installed on your system. The Ocarina PlyORB runtime will not be installed on your system. checking XmlAda... no ./configure: line 4408: svn: command not found configure: creating ./config.status config.status: creating Makefile config.status: creating doc/Makefile config.status: creating projects/ocarina-config.gpr config.status: creating projects/Makefile config.status: creating resources/Makefile config.status: creating resources/behavioural_properties/Makefile config.status: creating resources/runtime/Makefile config.status: creating resources/runtime/polyorb/Makefile config.status: creating examples/Makefile config.status: creating examples/bbs/Makefile config.status: creating examples/bintree/Makefile config.status: creating examples/man_in_the_middle/Makefile config.status: creating examples/producer_consumer/Makefile config.status: creating examples/ring/Makefile config.status: creating examples/shared/Makefile config.status: creating examples/hybrid_subprogram/Makefile config.status: creating examples/priorities/Makefile config.status: creating examples/multiple_call_seq/Makefile config.status: creating examples/multicast/Makefile config.status: creating examples/import/Makefile config.status: creating src/main/Makefile config.status: creating src/config/Makefile config.status: creating src/config/ocarina-configuration.adb config.status: creating src/aadl/Makefile config.status: creating src/dia/Makefile config.status: creating src/dumper/Makefile config.status: creating src/core/Makefile config.status: creating src/pn/Makefile config.status: creating src/checker/Makefile config.status: creating src/gaia/Makefile config.status: creating src/generators/Makefile config.status: creating src/Makefile config.status: creating support/Makefile config.status: creating tools/Makefile config.status: creating tools/gendoc.py config.status: creating tools/compare.py config.status: creating ocarina-config config.status: executing depfiles commands configure: Including the following Ocarina modules: aadl dumper generators pn gaia Note: Running post-fetch actions for gtkada=25.0.1... checking build system type... arm-apple-darwin23.6.0 checking host system type... arm-apple-darwin23.6.0 checking target system type... arm-apple-darwin23.6.0 checking for pkg-config... /opt/homebrew/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking for clang... clang checking whether we are using the GNU Objective C compiler... yes checking whether clang accepts -g... yes checking for gprbuild... /Users/runner/.local/share/alire/toolchains/gprbuild_24.0.1_6f6b6658/bin/gprbuild checking for gprinstall... /Users/runner/.local/share/alire/toolchains/gprbuild_24.0.1_6f6b6658/bin/gprinstall checking that your gnat compiler works with a simple example... yes checking whether NLS is requested... yes checking for gettext in libc... no checking for bindtextdomain in -lintl... yes checking for gettext in libintl... checking for gettext in -lintl... yes yes checking for GTK... yes checking for pkg-config... (cached) /opt/homebrew/bin/pkg-config checking pkg-config is at least version 0.16... yes checking for GTK+ - version >= 3.24.24... yes (version 3.24.43) checking for GMODULE... yes checking for FONTCONFIG... yes configure: creating ./config.status config.status: creating Makefile config.status: creating gtkada_shared.gpr config.status: creating po/Makefile config.status: creating docs/gtkada_rm/html/static/index.html configure: --------- Summary for Gtkada 18.0w ----------------- configure: Shared libraries: yes (default: static) configure: -------------------------------------------- gnatprep -DGETTEXT_INTL=True -DHAVE_GETTEXT=True src/gtkada-intl.gpb src/gtkada-intl.adb Note: Running post-fetch actions for cheddar=3.3.0... + sed -i.bak -e/CHEDDAR_DIR/s/.src// '-es/required_packages[a-z/]*//' '-e/^end/s@^@package Install is for Artifacts (".") use ("../graphical_editor/glade_files"); end Install;@' gpr/F2TInitialSolutionPreprocessing.gpr gpr/F2T_exhaustive.gpr gpr/F2T_paes.gpr gpr/T2P_T2C_paes_mils.gpr gpr/T2P_and_security_exhaustive.gpr gpr/T2P_and_security_paes.gpr gpr/aadl2aadl.gpr gpr/aadl2xml.gpr gpr/architectureGeneration.gpr gpr/build_schedule_from_xml.gpr gpr/cPaes.gpr gpr/cacheAnalysis.gpr gpr/callCheddar.gpr gpr/callCheddar_securityAnalysis.gpr gpr/cheddar.gpr gpr/cheddarKernel.gpr gpr/cheddarLite.gpr gpr/cnn.gpr gpr/cut.gpr gpr/deadline2energy_exhaustive.gpr gpr/designPattern.gpr gpr/design_pattern_repository.gpr gpr/dfg.gpr gpr/energy_paes.gpr gpr/feasibilityInterval.gpr gpr/feasibilityProcessorUtilization.gpr gpr/frameworkExamples.gpr gpr/hierarchical.gpr gpr/kernel.gpr gpr/kernelWithParsers.gpr gpr/kl_partitioning.gpr gpr/mcs.gpr gpr/merge.gpr gpr/mils.gpr gpr/mosar.gpr gpr/noc.gpr gpr/optimizations.gpr gpr/paes.gpr gpr/parse_xml_schedule.gpr gpr/ppcparchitecturegeneration.gpr gpr/priorityAssignment.gpr gpr/produce_arinc_pst.gpr gpr/prolog.gpr gpr/read_write.gpr gpr/response_time.gpr gpr/scc.gpr gpr/scheduling_anomalies.gpr gpr/scm.gpr gpr/spacewire_generation.gpr gpr/spacewire_transformation.gpr gpr/test_cairo1.gpr gpr/unittest.gpr gpr/v2architecturetov3architecture.gpr gpr/v2eventtabletov3eventtable.gpr gpr/vs.gpr gpr/xml2aadl.gpr gpr/xml2xml.gpr gpr/xmllint.gpr Note: Building cheddar=3.3.0/gpr/cheddar.gpr... Setup [mkdir] object directory for project GtkAda [mkdir] library directory for project GtkAda [mkdir] object directory for project Ocarina.Core [mkdir] library directory for project Ocarina.Core [mkdir] object directory for project Ocarina.AADL [mkdir] library directory for project Ocarina.AADL [mkdir] object directory for project Ocarina.Dumper [mkdir] library directory for project Ocarina.Dumper [mkdir] object directory for project Ocarina.Checker [mkdir] library directory for project Ocarina.Checker [mkdir] object directory for project Ocarina.Generators [mkdir] library directory for project Ocarina.Generators [mkdir] object directory for project Ocarina.PN [mkdir] library directory for project Ocarina.PN [mkdir] object directory for project Ocarina.Gaia [mkdir] library directory for project Ocarina.Gaia [mkdir] object directory for project Ocarina.Config [mkdir] library directory for project Ocarina.Config Compile [Ada] cheddar.adb [Ada] schema-validators-xsd_grammar.adb [Ada] schema-validators.adb [Ada] schema-decimal.adb [Ada] schema-readers.adb [Ada] schema-dom_readers.adb [Ada] schema-schema_readers.adb [Ada] schema-date_time.adb [Ada] schema-simple_types.adb [Ada] schema.adb [Ada] dom-core-comments.ads [Ada] dom-core-character_datas.adb [Ada] dom-core-documents.adb [Ada] dom-core-document_types.adb [Ada] dom-core-cdata_sections.ads [Ada] dom-core-elements.adb [Ada] dom.ads [Ada] dom-core-document_fragments.ads [Ada] dom-core-processing_instructions.ads [Ada] dom-core-entity_references.ads [Ada] dom-core.adb [Ada] dom-core-nodes.adb [Ada] dom-core-texts.adb [Ada] dom-core-notations.adb [Ada] dom-readers.adb [Ada] dom-core-attrs.adb [Ada] input_sources-http.adb [Ada] input_sources-socket.adb [Ada] input_sources-file.adb [Ada] input_sources.adb [Ada] input_sources-strings.adb [Ada] sax-utils.adb [Ada] sax-htable.adb [Ada] sax-symbols.adb [Ada] sax-locators.adb [Ada] sax-attributes.adb [Ada] sax.ads [Ada] sax-encodings.ads [Ada] sax-pointers.adb [Ada] sax-state_machines.adb [Ada] sax-exceptions.adb [Ada] sax-models.adb [Ada] sax-readers.adb [Ada] unicode-names-cuneiform.ads [Ada] unicode-names-sora_sompeng.ads [Ada] unicode-names-mro.ads [Ada] unicode-names-bassa_vah.ads [Ada] unicode-names-ipa_extensions.ads [Ada] unicode-names-optical_chars_recognition.ads [Ada] unicode-names-misc_math_symbols_a.ads [Ada] unicode-names-ethiopic_extended_a.ads [Ada] unicode-names-inscriptional_pahlavi.ads [Ada] unicode-names-combining_half_marks.ads [Ada] unicode-names-lycian.ads [Ada] unicode-names-combining_diacritical_sup.ads [Ada] unicode-names-ancient_greek_numbers.ads [Ada] unicode-ces-utf16.adb [Ada] unicode-names-pahawh_hmong.ads [Ada] unicode-names-balinese.ads [Ada] unicode-names-miscellaneous_symbols.ads [Ada] unicode-names-vertical_forms.ads [Ada] unicode-names-lao.ads [Ada] unicode-names-mende_kikakui.ads [Ada] unicode-names-nabataean.ads [Ada] unicode-names-coptic.ads [Ada] unicode-names-thai.ads [Ada] unicode-ccs-windows_1251.adb [Ada] unicode-names-khmer.ads [Ada] unicode-names-block_elements.ads [Ada] unicode-names-georgian.ads [Ada] unicode-names-misc_math_symbols_b.ads [Ada] unicode-names-sup_math_operators.ads [Ada] unicode-names-myanmar.ads [Ada] unicode-names-ethiopic.ads [Ada] unicode-encodings.adb [Ada] unicode-ccs-windows_1252.adb [Ada] unicode-names-imperial_aramaic.ads [Ada] unicode-names-mathematical_operators.ads [Ada] unicode-names-cyrillic_extended_a.ads [Ada] unicode-names-musical_symbols.ads [Ada] unicode-names-supplemental_punctuation.ads [Ada] unicode-names-old_north_arabian.ads [Ada] unicode-names-enclosed_ideographic_sup.ads [Ada] unicode.adb [Ada] unicode-names-braille_patterns.ads [Ada] unicode-names-geometric_shapes_extended.ads [Ada] unicode-names-saurashtra.ads [Ada] unicode-names-kayah_li.ads [Ada] unicode-names-greek_and_coptic.ads [Ada] unicode-names-hebrew.ads [Ada] unicode-names-new_tai_lue.ads [Ada] unicode-names-tifinagh.ads [Ada] unicode-names-tirhuta.ads [Ada] unicode-names-old_south_arabian.ads [Ada] unicode-names-cyrillic_extended_b.ads [Ada] unicode-names-tags.ads [Ada] unicode-names-cuneiform_num_punctuation.ads [Ada] unicode-names-sinhala_archaic_numbers.ads [Ada] unicode-names-enclosed_alphanumerics.ads [Ada] unicode-names-pau_cin_hau.ads [Ada] unicode-names-meroitic_cursive.ads [Ada] unicode-names-cjk_letters_months.ads [Ada] unicode-names-sundanese.ads [Ada] unicode-names-kangxi_radicals.ads [Ada] unicode-names-telugu.ads [Ada] unicode-names-devanagari.ads [Ada] unicode-names-palmyrene.ads [Ada] unicode-names-rejang.ads [Ada] unicode-names-canadian_aboriginal_ext.ads [Ada] unicode-names-shavian.ads [Ada] unicode-names-hangul_compatibility_jamo.ads [Ada] unicode-names-math_alphanumeric_symb.ads [Ada] unicode-names-syriac.ads [Ada] unicode-names-ol_chiki.ads [Ada] unicode-names-modifier_tone_letters.ads [Ada] unicode-names-linear_b_ideograms.ads [Ada] unicode-names-samaritan.ads [Ada] unicode-names-alpha_presentation_forms.ads [Ada] unicode-names-dingbats.ads [Ada] unicode-names-oriya.ads [Ada] unicode-names-glagolitic.ads [Ada] unicode-names-cjk_compatibility.ads [Ada] unicode-names-greek_extended.ads [Ada] unicode-names-limbu.ads [Ada] unicode-names-katakana_phonetic_ext.ads [Ada] unicode-names-modi.ads [Ada] unicode-names-latin_extended_a.ads [Ada] unicode-names-buginese.ads [Ada] unicode-names-manichaean.ads [Ada] unicode-names-ogham.ads [Ada] unicode-names-lepcha.ads [Ada] unicode-names-latin_extended_c.ads [Ada] unicode-names-nko.ads [Ada] unicode-names-egyptian_hieroglyphs.ads [Ada] unicode-names-mongolian.ads [Ada] unicode-names-counting_rod_numerals.ads [Ada] unicode-names-bopomofo.ads [Ada] unicode-names-bopomofo_extended.ads [Ada] unicode-names-kaithi.ads [Ada] unicode-names-latin_extended_b.ads [Ada] unicode-names-cyrillic_supplement.ads [Ada] unicode-names-old_persian.ads [Ada] unicode-names-ornamental_dingbats.ads [Ada] unicode-names-variation_selectors.ads [Ada] unicode-names-thaana.ads [Ada] unicode-names-bengali.ads [Ada] unicode-names-hangul_jamo_extended_b.ads [Ada] unicode-names-transport_and_map_symbols.ads [Ada] unicode-names-supplemental_arrows_a.ads [Ada] unicode-names-tai_tham.ads [Ada] unicode-names-cjk_radicals_supplement.ads [Ada] unicode-names-latin_1_supplement.ads [Ada] unicode-names-multani.ads [Ada] unicode-names-rumi_numeral_symbols.ads [Ada] unicode-names-khudawadi.ads [Ada] unicode-names-runic.ads [Ada] unicode-names-ancient_greek_music.ads [Ada] unicode-names-armenian.ads [Ada] unicode-names-tamil.ads [Ada] unicode-names-latin_extended_additional.ads [Ada] unicode-names-combining_diacritical.ads [Ada] unicode-names-tai_xuan_jing_symbols.ads [Ada] unicode-names-phonetic_extensions.ads [Ada] unicode-names.ads [Ada] unicode-names-hangul_jamo_extended_a.ads [Ada] unicode-names-supplemental_arrows_b.ads [Ada] unicode-names-tai_viet.ads [Ada] unicode-names-latin_extended_e.ads [Ada] unicode-names-misc_symbols_and_arrows.ads [Ada] unicode-names-small_form_variants.ads [Ada] unicode-names-avestan.ads [Ada] unicode-names-latin_extended_d.ads [Ada] unicode-names-sutton_signwriting.ads [Ada] unicode-names-supplemental_arrows_c.ads [Ada] unicode-names-ahom.ads [Ada] unicode-names-ethiopic_supplement.ads [Ada] unicode-names-vai.ads [Ada] unicode-names-georgian_supplement.ads [Ada] unicode-names-sup_symbols_pictographs.ads [Ada] unicode-names-domino_tiles.ads [Ada] unicode-names-katakana.ads [Ada] unicode-names-cjk_strokes.ads [Ada] unicode-names-arabic_present_formsb.ads [Ada] unicode-ces-utf8.adb [Ada] unicode-names-batak.ads [Ada] unicode-names-ugaritic.ads [Ada] unicode-names-common_indic_number_forms.ads [Ada] unicode-names-playing_cards.ads [Ada] unicode-names-mahajani.ads [Ada] unicode-names-phags_pa.ads [Ada] unicode-names-yi_radicals.ads [Ada] unicode-names-bamum.ads [Ada] unicode-names-vedic_extensions.ads [Ada] unicode-names-khojki.ads [Ada] unicode-names-elbasan.ads [Ada] unicode-names-tagalog.ads [Ada] unicode-ccs-iso_8859_4.adb [Ada] unicode-ccs.adb [Ada] unicode-names-box_drawing.ads [Ada] unicode-names-alchemical_symbols.ads [Ada] unicode-names-variation_selectors_sup.ads [Ada] unicode-names-buhid.ads [Ada] unicode-names-arabic_present_formsa.ads [Ada] unicode-names-cham.ads [Ada] unicode-names-caucasian_albanian.ads [Ada] unicode-names-osmanya.ads [Ada] unicode-names-shorthand_format_controls.ads [Ada] unicode-names-cjk_symbols_and_punct.ads [Ada] unicode-names-miscellaneous_technical.ads [Ada] unicode-names-tai_le.ads [Ada] unicode-names-kanbun.ads [Ada] unicode-names-general_punctuation.ads [Ada] unicode-ccs-iso_8859_1.adb [Ada] unicode-names-kana_supplement.ads [Ada] unicode-names-spacing_modifier_letters.ads [Ada] unicode-names-ancient_symbols.ads [Ada] unicode-names-early_dynastic_cuneiform.ads [Ada] unicode-names-syloti_nagri.ads [Ada] unicode-names-psalter_pahlavi.ads [Ada] unicode-names-hatran.ads [Ada] unicode-names-letterlike_symbols.ads [Ada] unicode-names-emoticons.ads [Ada] unicode-names-takri.ads [Ada] unicode-names-specials.ads [Ada] unicode-names-kharoshthi.ads [Ada] unicode-names-kannada.ads [Ada] unicode-ccs-iso_8859_2.adb [Ada] unicode-names-old_permic.ads [Ada] unicode-names-cherokee.ads [Ada] unicode-names-geometric_shapes.ads [Ada] unicode-ces-basic_8bit.adb [Ada] unicode-names-cherokee_supplement.ads [Ada] unicode-names-enclosed_alphanum_sup.ads [Ada] unicode-names-bamum_supplement.ads [Ada] unicode-names-number_forms.ads [Ada] unicode-names-basic_latin.ads [Ada] unicode-names-old_italic.ads [Ada] unicode-names-old_turkic.ads [Ada] unicode-names-duployan.ads [Ada] unicode-names-inscriptional_parthian.ads [Ada] unicode-names-arabic_supplement.ads [Ada] unicode-names-coptic_epact_numbers.ads [Ada] unicode-names-combining_diacritical_ext.ads [Ada] unicode-names-khmer_symbols.ads [Ada] unicode-ccs-iso_8859_3.adb [Ada] unicode-ces.adb [Ada] unicode-names-sundanese_supplement.ads [Ada] unicode-names-half_full_width_forms.ads [Ada] unicode-names-gothic.ads [Ada] unicode-names-myanmar_extended_a.ads [Ada] unicode-names-lydian.ads [Ada] unicode-names-arabic_extended_a.ads [Ada] unicode-names-tagbanwa.ads [Ada] unicode-names-cjk_compat_ideo_sup.ads [Ada] unicode-names-combining_diacritical_sym.ads [Ada] unicode-names-phaistos_disc.ads [Ada] unicode-names-linear_b_syllabary.ads [Ada] unicode-names-linear_a.ads [Ada] unicode-names-arabic.ads [Ada] unicode-names-ideograph_descr_chars.ads [Ada] unicode-names-cypriot_syllabary.ads [Ada] unicode-names-phoenician.ads [Ada] unicode-names-siddham.ads [Ada] unicode-names-hangul_jamo.ads [Ada] unicode-names-myanmar_extended_b.ads [Ada] unicode-names-byzantine_musical_symbols.ads [Ada] unicode-names-anatolian_hieroglyphs.ads [Ada] unicode-names-chakma.ads [Ada] unicode-names-warang_citi.ads [Ada] unicode-names-sharada.ads [Ada] unicode-names-cjk_compat_ideographs.ads [Ada] unicode-names-mahjong_tiles.ads [Ada] unicode-names-control_pictures.ads [Ada] unicode-names-sinhala.ads [Ada] unicode-names-aegean_numbers.ads [Ada] unicode-names-grantha.ads [Ada] unicode-ccs-iso_8859_15.adb [Ada] unicode-names-phonetic_ext_sup.ads [Ada] unicode-names-yi_syllables.ads [Ada] unicode-names-gurmukhi.ads [Ada] unicode-names-cyrillic.ads [Ada] unicode-names-yijing_hexagram_symbols.ads [Ada] unicode-names-carian.ads [Ada] unicode-names-javanese.ads [Ada] unicode-names-misc_symbols_pictographs.ads [Ada] unicode-names-meetei_mayek_extensions.ads [Ada] unicode-names-tibetan.ads [Ada] unicode-names-lisu.ads [Ada] unicode-names-ethiopic_extended.ads [Ada] unicode-names-miao.ads [Ada] unicode-names-brahmi.ads [Ada] unicode-names-arabic_math_alpha_symb.ads [Ada] unicode-names-gujarati.ads [Ada] unicode-names-malayalam.ads [Ada] unicode-names-old_hungarian.ads [Ada] unicode-names-arrows.ads [Ada] unicode-names-mandaic.ads [Ada] unicode-ces-utf32.adb [Ada] unicode-names-cjk_compatibility_forms.ads [Ada] unicode-names-currency_symbols.ads [Ada] unicode-names-meetei_mayek.ads [Ada] unicode-names-deseret.ads [Ada] unicode-names-hanunoo.ads [Ada] unicode-names-canadian_aboriginal.ads [Ada] unicode-names-hiragana.ads [Ada] unicode-names-devanagari_extended.ads [Ada] unicode-names-super_and_sub_scripts.ads [Ada] unicode-names-meroitic_hieroglyphs.ads [Ada] gaia-pn-generator.adb [Ada] gaia-pn-nutils.adb [Ada] gaia-pn-debug.adb gaia-pn-generator.adb:37:06: warning: unnecessary with of ancestor [-gnatwr] [Ada] gaia-pn.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] gaia-pn-printer.adb gaia-pn-nutils.adb:48:07: warning: use clause for package "Namet" has no effect [-gnatwu] gaia-pn-nutils.adb:136:07: warning: use clause for package "AADL_Values" has no effect [-gnatwu] gaia-pn-nutils.adb:170:07: warning: use clause for package "AADL_Values" has no effect [-gnatwu] gaia-pn-nutils.adb:491:07: warning: use clause for package "AADL_Values" has no effect [-gnatwu] gaia-pn-nutils.adb:515:29: warning: formal parameter "N" is not modified [-gnatwk] gaia-pn-nutils.adb:515:29: warning: mode could be "in" instead of "in out" [-gnatwk] gaia-pn-nutils.adb:596:07: warning: use clause for package "AADL_Values" has no effect [-gnatwu] gaia-pn-nutils.adb:616:07: warning: use clause for package "AADL_Values" has no effect [-gnatwu] gaia-pn-nutils.adb:638:07: warning: use clause for package "AADL_Values" has no effect [-gnatwu] gaia-pn-nutils.adb:658:07: warning: use clause for package "AADL_Values" has no effect [-gnatwu] gaia-pn-nutils.adb:678:07: warning: use clause for package "AADL_Values" has no effect [-gnatwu] gaia-pn-nutils.adb:778:07: warning: use clause for package "AADL_Values" has no effect [-gnatwu] gaia-pn-nutils.adb:811:07: warning: use clause for package "Namet" has no effect [-gnatwu] gaia-pn-nutils.adb:812:07: warning: use clause for package "AADL_Values" has no effect [-gnatwu] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] gaia-pn-nodes.adb gaia-pn.adb:1575:45: (style) misplaced "then" [-gnatyi] gaia-pn.adb:1745:07: warning: use clause for package "Utils" has no effect [-gnatwu] gaia-pn.adb:1798:07: warning: use clause for package "Mgmt" has no effect [-gnatwu] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] gaia.ads [Ada] gaia-utils.adb gaia-pn-printer.adb:206:07: warning: use clause for package "OAV" has no effect [-gnatwu] gaia-pn-printer.adb:225:07: warning: use clause for package "OAV" has no effect [-gnatwu] gaia-pn-printer.adb:287:07: warning: use clause for package "OAV" has no effect [-gnatwu] gaia-pn-printer.adb:298:07: warning: use clause for package "OAV" has no effect [-gnatwu] gaia-pn-printer.adb:605:07: warning: use clause for package "Mgmt" has no effect [-gnatwu] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] gaia-processor-debug.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] gaia-configuration.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] gaia-mgmt.adb [Ada] gaia-messages.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] gaia-processor-messages.adb [Ada] gaia-processor-entities-features.adb gaia-processor-messages.adb:83:07: warning: use clause for package "Debug" has no effect [-gnatwu] gaia-processor-messages.adb:132:07: warning: use clause for package "Debug" has no effect [-gnatwu] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] gaia-generator.adb [Ada] gaia-processor-entities-connections.adb [Ada] gaia-processor-entities-components.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] gaia-processor-entities-namespaces.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] gaia-translator.adb gaia-processor-entities-namespaces.adb:53:43: (style) "in" should be omitted [-gnatyI] gaia-processor-entities-namespaces.ads:37:43: (style) "in" should be omitted [-gnatyI] [Ada] gaia-processor-entities.ads gaia-processor-entities-components.adb:46:06: warning: unnecessary with of ancestor [-gnatwr] gaia-processor-entities-components.adb:169:07: warning: use clause for package "Messages" has no effect [-gnatwu] gaia-processor-entities-components.adb:170:07: warning: use clause for package "ON" has no effect [-gnatwu] gaia-processor-entities-components.adb:204:07: warning: use clause for package "Processor" has no effect [-gnatwu] gaia-processor-entities-components.adb:306:52: (style) misplaced "then" [-gnatyi] gaia-processor-entities-components.adb:315:62: (style) misplaced "then" [-gnatyi] gaia-processor-entities-components.adb:364:20: warning: redundant conversion, expression is of type "Unsigned_Long_Long" [-gnatwr] gaia-processor-entities-components.adb:456:57: (style) misplaced "then" [-gnatyi] gaia-processor-entities-components.adb:739:14: warning: redundant conversion, expression is of type "Unsigned_Long_Long" [-gnatwr] gaia-processor-entities-components.adb:748:14: warning: redundant conversion, expression is of type "Unsigned_Long_Long" [-gnatwr] gaia-processor-entities-components.adb:761:14: warning: redundant conversion, expression is of type "Unsigned_Long_Long" [-gnatwr] gaia-processor-entities-components.adb:841:07: warning: use clause for package "Namet" has no effect [-gnatwu] gaia-processor-entities-components.adb:843:07: warning: use clause for package "Messages" has no effect [-gnatwu] gaia-processor-entities-components.adb:857:16: warning: redundant conversion, expression is of type "Unsigned_Long_Long" [-gnatwr] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] gaia-processor-nodes.adb [Ada] gaia-processor.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] gaia-processor-nodes-utils.adb gaia-processor-nodes-utils.adb:259:07: warning: use clause for package "ON" has no effect [-gnatwu] gaia-processor-nodes-utils.adb:472:07: warning: use clause for package "ON" has no effect [-gnatwu] gaia-processor-nodes-utils.adb:473:07: warning: use clause for package "Entities" has no effect [-gnatwu] gaia-processor-nodes-utils.ads:34:06: warning: unnecessary with of ancestor [-gnatwr] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] gaia-processor-entities-subprogram_calls.adb gaia-processor.adb:162:07: warning: use clause for package "Output" has no effect [-gnatwu] gaia-processor.adb:168:07: warning: use clause for package "Processor" has no effect [-gnatwu] gaia-processor.adb:222:24: (style) redundant parentheses [-gnatyz] gaia-processor.adb:233:21: (style) redundant parentheses [-gnatyz] gaia-processor.adb:297:07: warning: use clause for package "Processor" has no effect [-gnatwu] gaia-processor.adb:356:07: warning: use clause for package "Namet" has no effect [-gnatwu] gaia-processor.adb:358:07: warning: use clause for package "Processor" has no effect [-gnatwu] gaia-processor.adb:420:45: (style) misplaced "then" [-gnatyi] gaia-processor.adb:505:13: warning: redundant conversion, expression is of type "Unsigned_Long_Long" [-gnatwr] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] gaia-processor-entities-namespaces.ads:37:43: (style) "in" should be omitted [-gnatyI] [Ada] ocarina-pn-debug.adb gaia-processor-entities-subprogram_calls.adb:161:20: (style) redundant parentheses [-gnatyz] [Ada] ocarina-pn-printer.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-pn-printer-components.adb ocarina-pn-printer.adb:94:07: warning: use clause for package "OAV" has no effect [-gnatwu] ocarina-pn-printer.adb:118:07: warning: use clause for package "OAV" has no effect [-gnatwu] ocarina-pn-printer.adb:196:07: warning: use clause for package "OAV" has no effect [-gnatwu] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-pn-nodes.adb ocarina-pn-printer-components.adb:37:06: warning: unnecessary with of ancestor [-gnatwr] ocarina-pn-printer-components.adb:53:07: warning: use clause for package "Printer" has no effect [-gnatwu] ocarina-pn-printer-components.adb:110:07: warning: use clause for package "Printer" has no effect [-gnatwu] ocarina-pn-printer-components.adb:111:07: warning: use clause for package "Nodes" has no effect [-gnatwu] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-pn-root.adb [Ada] ocarina-pn-utils.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-pn-components.adb ocarina-pn-components.adb:92:07: warning: use clause for package "Queries" has no effect [-gnatwu] ocarina-pn-components.adb:127:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-pn-components.adb:528:07: warning: use clause for package "ONU" has no effect [-gnatwu] ocarina-pn-components.adb:529:07: warning: use clause for package "OPU" has no effect [-gnatwu] ocarina-pn-components.adb:641:07: warning: use clause for package "ONU" has no effect [-gnatwu] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-pn-nutils.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-pn.adb ocarina-pn-nutils.adb:80:07: warning: use clause for package "Nodes" has no effect [-gnatwu] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-pn-messages.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-checker-queries-relational_predicates.adb [Ada] ocarina-checker.ads [Ada] ocarina-checker-queries-operators.adb [Ada] ocarina-checker-queries-dummy_predicates.adb [Ada] ocarina-checker-queries-subcomponent_predicates.adb [Ada] ocarina-checker-queries-bound_predicates.adb [Ada] ocarina-checker-queries-predicates.adb [Ada] ocarina-checker-queries.adb [Ada] ocarina-checker_testsuite.adb [Ada] ocarina-generators-po_hi_ada-handlers.adb ocarina-checker-queries.adb:144:41: (style) misplaced "then" [-gnatyi] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-po_qos_ada-runtime.adb ocarina-checker_testsuite.adb:148:42: (style) misplaced "then" [-gnatyi] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-po_qos_ada-main.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-po_hi_ada-marshallers.adb [Ada] ocarina-generators-c_tree-nutils.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-utils.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-properties.adb ocarina-generators-c_tree-nutils.adb:1365:63: (style) misplaced "then" [-gnatyi] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-c_tree-debug.adb ocarina-generators-properties.adb:448:57: (style) misplaced "then" [-gnatyi] ocarina-generators-properties.adb:465:20: (style) space required [-gnatyt] ocarina-generators-properties.adb:781:51: (style) bad casing of "Property_Name" declared at ocarina-nodes.ads:1833 [-gnatyr] ocarina-generators-properties.adb:924:10: warning: redundant conversion, expression is of type "Unsigned_Long_Long" [-gnatwr] ocarina-generators-properties.adb:943:10: warning: redundant conversion, expression is of type "Unsigned_Long_Long" [-gnatwr] ocarina-generators-properties.adb:962:10: warning: redundant conversion, expression is of type "Unsigned_Long_Long" [-gnatwr] [Ada] ocarina-generators-po_hi_ada.adb ocarina-generators-po_hi_ada.adb:58:04: warning: use clause for package "Generator" has no effect [-gnatwu] ocarina-generators-po_hi_ada.adb:59:04: warning: use clause for package "Runtime" has no effect [-gnatwu] [Ada] ocarina-generators-po_qos_ada-namespaces.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-po_hi_ada-csra.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-po_hi_c-deployment.adb [Ada] ocarina-generators-po_hi_c-mapping.adb ocarina-generators-po_qos_ada-namespaces.adb:789:21: (style) bad casing of "List_Id" declared at types.ads:207 [-gnatyr] [Ada] ocarina-generators-po_hi_ada-types.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-c_tree-generator.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-po_hi_ada-deployment.adb [Ada] ocarina-generators-c_tree.ads [Ada] ocarina-generators-ada_tree.ads ocarina-generators-c_tree-generator.adb:380:21: (style) redundant parentheses [-gnatyz] ocarina-generators-c_tree-generator.adb:731:16: (style) redundant parentheses [-gnatyz] ocarina-generators-c_tree-generator.adb:732:15: (style) redundant parentheses [-gnatyz] ocarina-generators-c_tree-generator.adb:732:44: (style) misplaced "then" [-gnatyi] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-po_hi_ada-runtime.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-po_hi_c-naming.adb [Ada] ocarina-generators-po_hi_ada-ssra.adb [Ada] ocarina-generators-po_qos_ada.adb [Ada] ocarina-generators.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-po_qos_ada-parameters.adb ocarina-generators-po_qos_ada.adb:52:04: warning: use clause for package "Generator" has no effect [-gnatwu] ocarina-generators-po_qos_ada.adb:53:04: warning: use clause for package "Runtime" has no effect [-gnatwu] ocarina-generators-po_qos_ada.adb:55:04: warning: use clause for package "Build_Utils" has no effect [-gnatwu] [Ada] ocarina-generators-ada_tree-debug.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-po_hi_ada-subprograms.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-po_hi_ada-internals.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-messages.adb [Ada] ocarina-generators-po_hi_ada-activity.adb [Ada] ocarina-generators-po_hi_c.adb [Ada] ocarina-generators-po_qos_ada-setup.adb ocarina-generators-po_hi_c.adb:46:04: warning: use clause for package "Activity" has no effect [-gnatwu] ocarina-generators-po_hi_c.adb:47:04: warning: use clause for package "Deployment" has no effect [-gnatwu] ocarina-generators-po_hi_c.adb:48:04: warning: use clause for package "Main" has no effect [-gnatwu] ocarina-generators-po_hi_c.adb:49:04: warning: use clause for package "Naming" has no effect [-gnatwu] ocarina-generators-po_hi_c.adb:51:04: warning: use clause for package "Generator" has no effect [-gnatwu] [Ada] ocarina-generators-po_hi_c-activity.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-po_hi_c-runtime.adb [Ada] ocarina-generators-c_values.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-po_qos_ada-mapping.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-build_utils.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-c_tree-nodes.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-po_hi_c-main.adb [Ada] ocarina-generators-po_qos_ada-servants.adb ocarina-generators-build_utils.adb:748:26: (style) bad casing of "PolyORB_Qos_Ada_Makefile" declared at line 326 [-gnatyr] ocarina-generators-build_utils.adb:796:19: (style) bad casing of "Platform_ERC_32" declared at ocarina-generators-properties.ads:246 [-gnatyr] ocarina-generators-build_utils.adb:857:19: (style) bad casing of "Platform_ERC_32" declared at ocarina-generators-properties.ads:246 [-gnatyr] ocarina-generators-build_utils.adb:1743:26: (style) bad casing of "PolyORB_Qos_Ada_Ada_Project_File" declared at line 1253 [-gnatyr] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-po_hi_ada-naming.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-ada_tree-nutils.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-ada_values.adb [Ada] ocarina-generators-po_hi_ada-main.adb ocarina-generators-ada_tree-nutils.adb:187:43: (style) misplaced "then" [-gnatyi] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-ada_tree-generator.adb [Ada] ocarina-generators-po_hi_ada-system_time.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-po_qos_ada-helpers.adb [Ada] ocarina-generators-ada_tree-nodes.adb ocarina-generators-ada_tree-generator.adb:597:21: (style) redundant parentheses [-gnatyz] ocarina-generators-ada_tree-generator.adb:1582:43: (style) misplaced "then" [-gnatyi] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-po_qos_ada-obj_adapters.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-po_hi_ada-mapping.adb [Ada] ocarina-dumper.adb [Ada] ocarina-dumper-aadl_tree.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-aadl-printer-annexes.adb [Ada] ocarina-aadl-parser-components-flows.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-aadl-tokens.adb ocarina-aadl-parser-components-flows.adb:76:07: warning: use clause for package "Tokens" has no effect [-gnatwu] ocarina-aadl-parser-components-flows.adb:319:07: warning: use clause for package "Flows" has no effect [-gnatwu] ocarina-aadl-parser-components-flows.adb:451:07: warning: use clause for package "Flows" has no effect [-gnatwu] ocarina-aadl-parser-components-flows.adb:519:07: warning: use clause for package "Nodes" has no effect [-gnatwu] [Ada] ocarina-aadl-lexer.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-aadl-parser-components-modes.adb ocarina-aadl-parser-components-modes.adb:200:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-components-modes.adb:433:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-components-modes.adb:492:07: warning: use clause for package "Nodes" has no effect [-gnatwu] ocarina-aadl-parser-components-modes.adb:493:07: warning: use clause for package "Tokens" has no effect [-gnatwu] [Ada] ocarina-aadl-printer-properties.adb [Ada] ocarina-aadl.adb ocarina-aadl-lexer.adb:63:62: (style) space required [-gnatyt] ocarina-aadl-lexer.adb:296:17: warning: redundant conversion, expression is of type "Long_Long_Float" [-gnatwr] ocarina-aadl-lexer.adb:653:52: (style) misplaced "then" [-gnatyi] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-aadl-parser.adb [Ada] ocarina-aadl-parser_errors.adb ocarina-aadl-parser.adb:68:07: warning: use clause for package "Nodes" has no effect [-gnatwu] ocarina-aadl-parser.adb:69:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser.adb:169:07: warning: use clause for package "Nodes" has no effect [-gnatwu] ocarina-aadl-parser.adb:170:07: warning: use clause for package "Nutils" has no effect [-gnatwu] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-aadl-printer-components-connections.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-aadl-parser-namespaces.adb [Ada] ocarina-aadl-parser-components.adb ocarina-aadl-parser-namespaces.adb:147:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-namespaces.adb:264:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-namespaces.adb:385:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-namespaces.adb:388:07: warning: use clause for package "Properties" has no effect [-gnatwu] ocarina-aadl-parser-namespaces.adb:443:19: (style) redundant parentheses [-gnatyz] ocarina-aadl-parser-namespaces.adb:443:49: (style) redundant parentheses [-gnatyz] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-aadl-printer.adb ocarina-aadl-parser-components.adb:313:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-components.adb:627:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-components.adb:811:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-components.adb:812:07: warning: use clause for package "Lexer" has no effect [-gnatwu] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-aadl-printer-components-subcomponents.adb ocarina-aadl-printer-components-subcomponents.adb:45:04: warning: use clause for package "Components" has no effect [-gnatwu] [Ada] ocarina-aadl-printer-properties-values.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-aadl-parser-identifiers.adb ocarina-aadl-printer-properties-values.adb:48:04: warning: use clause for package "AADL_Values" has no effect [-gnatwu] ocarina-aadl-printer-properties-values.adb:227:47: (style) misplaced "then" [-gnatyi] [Ada] ocarina-aadl-parser-components-features.adb ocarina-aadl-parser-identifiers.adb:49:07: warning: use clause for package "Tokens" has no effect [-gnatwu] ocarina-aadl-parser-identifiers.adb:79:50: (style) misplaced "then" [-gnatyi] ocarina-aadl-parser-identifiers.adb:156:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-identifiers.adb:192:07: warning: use clause for package "Nodes" has no effect [-gnatwu] ocarina-aadl-parser-identifiers.adb:193:07: warning: use clause for package "Nutils" has no effect [-gnatwu] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-aadl-printer-components-flows.adb ocarina-aadl-parser-components-features.adb:360:07: warning: use clause for package "Nodes" has no effect [-gnatwu] ocarina-aadl-parser-components-features.adb:458:07: warning: use clause for package "Nodes" has no effect [-gnatwu] [Ada] ocarina-aadl-printer-components-subprogram_calls.adb ocarina-aadl-printer-components-flows.adb:84:58: (style) misplaced "then" [-gnatyi] ocarina-aadl-printer-components-flows.adb:91:58: (style) misplaced "then" [-gnatyi] [Ada] ocarina-aadl-parser-annexes.adb [Ada] ocarina-aadl-parser-components-subcomponents.adb [Ada] ocarina-aadl-printer-components-modes.adb [Ada] ocarina-aadl-parser-properties.adb [Ada] ocarina-aadl-printer-identifiers.adb [Ada] ocarina-aadl-parser-components-subprogram_calls.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-aadl-printer-namespaces.adb [Ada] ocarina-aadl-printer-components.adb ocarina-aadl-parser-properties.adb:476:07: warning: use clause for package "Nodes" has no effect [-gnatwu] ocarina-aadl-parser-properties.adb:477:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-properties.adb:550:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-properties.adb:715:07: warning: use clause for package "Properties" has no effect [-gnatwu] ocarina-aadl-parser-properties.adb:897:07: warning: use clause for package "Nodes" has no effect [-gnatwu] ocarina-aadl-parser-properties.adb:898:07: warning: use clause for package "Nutils" has no effect [-gnatwu] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-aadl-parser-properties-values.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-aadl-parser-components-connections.adb [Ada] ocarina-aadl-printer-components-features.adb ocarina-aadl-parser-properties-values.adb:372:07: warning: use clause for package "Identifiers" has no effect [-gnatwu] ocarina-aadl-parser-properties-values.adb:484:07: warning: use clause for package "Values" has no effect [-gnatwu] ocarina-aadl-parser-properties-values.adb:561:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-properties-values.adb:1081:07: warning: use clause for package "Nodes" has no effect [-gnatwu] ocarina-aadl-parser-properties-values.adb:1082:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-properties-values.adb:1135:07: warning: use clause for package "Values" has no effect [-gnatwu] ocarina-aadl-parser-properties-values.adb:1202:07: warning: use clause for package "Values" has no effect [-gnatwu] ocarina-aadl-parser-properties-values.adb:1503:07: warning: use clause for package "Values" has no effect [-gnatwu] ocarina-aadl-parser-properties-values.adb:1666:07: warning: use clause for package "Nutils" has no effect [-gnatwu] ocarina-aadl-parser-properties-values.adb:1702:07: warning: use clause for package "Nodes" has no effect [-gnatwu] [Ada] ocarina-messages.adb [Ada] ocarina-printer.adb ocarina-aadl-printer-components-features.adb:38:06: warning: unnecessary with of ancestor [-gnatwr] ocarina-aadl-printer-components-features.adb:46:04: warning: use clause for package "Components" has no effect [-gnatwu] [Ada] ocarina.adb [Ada] ocarina-parser.adb ocarina.adb:46:07: warning: use clause for package "Namet" has no effect [-gnatwu] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-expander-components-connections.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-expander.adb [Ada] ocarina-expander-components-features.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-expander-namespaces.adb [Ada] ocarina-expander-queries.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-expander-components.adb [Ada] ocarina-expander-finder.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-expander-components-subprogram_calls.adb [Ada] ocarina-visitor-instances-properties.adb [Ada] ocarina-processor-instances-properties.adb ocarina-expander-components-subprogram_calls.adb:38:06: warning: unnecessary with of ancestor [-gnatwr] ocarina-expander-components-subprogram_calls.adb:48:04: warning: use clause for package "Components" has no effect [-gnatwu] [Ada] ocarina-processor-instances.ads [Ada] ocarina-expander-properties.adb [Ada] ocarina-expander-components-subcomponents.adb [Ada] ocarina-expander-messages.adb [Ada] ocarina-visitor-instances.ads ocarina-expander-components-subcomponents.adb:39:06: warning: unnecessary with of ancestor [-gnatwr] ocarina-expander-components-subcomponents.adb:49:04: warning: use clause for package "Components" has no effect [-gnatwu] [Ada] ocarina-builder.ads [Ada] ocarina-builder-components-subcomponents.adb [Ada] ocarina-analyzer-links.adb [Ada] ocarina-builder-properties.adb [Ada] ocarina-analyzer-legality_rules.adb ocarina-builder-properties.adb:360:07: warning: use clause for package "Components" has no effect [-gnatwu] ocarina-builder-properties.adb:361:07: warning: use clause for package "Features" has no effect [-gnatwu] ocarina-builder-properties.adb:362:07: warning: use clause for package "Connections" has no effect [-gnatwu] ocarina-builder-properties.adb:363:07: warning: use clause for package "Flows" has no effect [-gnatwu] ocarina-builder-properties.adb:364:07: warning: use clause for package "Modes" has no effect [-gnatwu] ocarina-builder-properties.adb:365:07: warning: use clause for package "Subprogram_Calls" has no effect [-gnatwu] ocarina-builder-properties.adb:366:07: warning: use clause for package "Subcomponents" has no effect [-gnatwu] ocarina-builder-properties.adb:367:07: warning: use clause for package "Namespaces" has no effect [-gnatwu] [Ada] ocarina-visitor.ads [Ada] ocarina-analyzer-messages.adb ocarina-analyzer-legality_rules.adb:158:58: (style) misplaced "then" [-gnatyi] [Ada] ocarina-builder-components-flows.adb [Ada] ocarina-builder-components-modes.adb ocarina-builder-components-flows.adb:84:07: warning: use clause for package "Components" has no effect [-gnatwu] ocarina-builder-components-flows.adb:126:07: warning: use clause for package "Components" has no effect [-gnatwu] ocarina-builder-components-flows.adb:169:07: warning: use clause for package "Components" has no effect [-gnatwu] [Ada] ocarina-visitor-components.adb ocarina-builder-components-modes.adb:115:07: warning: use clause for package "Components" has no effect [-gnatwu] [Ada] ocarina-processor-properties.adb ocarina-analyzer-messages.adb:226:07: warning: use clause for package "Debug" has no effect [-gnatwu] ocarina-analyzer-messages.adb:560:07: warning: use clause for package "Entities" has no effect [-gnatwu] ocarina-analyzer-messages.adb:561:07: warning: use clause for package "Properties" has no effect [-gnatwu] ocarina-analyzer-messages.adb:585:07: warning: use clause for package "Properties" has no effect [-gnatwu] ocarina-analyzer-messages.adb:696:07: warning: use clause for package "Properties" has no effect [-gnatwu] ocarina-analyzer-messages.adb:728:07: warning: use clause for package "Properties" has no effect [-gnatwu] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-builder-annexes.adb [Ada] ocarina-analyzer-names.adb ocarina-builder-annexes.adb:136:07: warning: use clause for package "Types" has no effect [-gnatwu] [Ada] ocarina-analyzer-semantics.adb ocarina-processor-properties.adb:204:07: warning: use clause for package "Entities" has no effect [-gnatwu] ocarina-processor-properties.adb:205:07: warning: use clause for package "Queries" has no effect [-gnatwu] ocarina-processor-properties.adb:364:07: warning: use clause for package "Queries" has no effect [-gnatwu] ocarina-processor-properties.adb:978:07: warning: use clause for package "Queries" has no effect [-gnatwu] [Ada] ocarina-builder-components-connections.adb [Ada] ocarina-analyzer.adb [Ada] ocarina-analyzer-queries.adb ocarina-analyzer.adb:52:04: warning: use clause for package "Naming_Rules" has no effect [-gnatwu] [Ada] ocarina-visitor-properties.adb ocarina-analyzer-semantics.adb:2057:30: (style) redundant parentheses [-gnatyx] ocarina-analyzer-semantics.adb:2117:24: (style) redundant parentheses [-gnatyz] ocarina-analyzer-semantics.adb:2123:24: (style) redundant parentheses [-gnatyz] ocarina-analyzer-semantics.adb:2156:24: (style) redundant parentheses [-gnatyz] ocarina-analyzer-semantics.adb:2164:24: (style) redundant parentheses [-gnatyz] [Ada] ocarina-builder-namespaces.adb [Ada] ocarina-analyzer-finder.adb [Ada] ocarina-builder-components-subprogram_calls.adb ocarina-analyzer-queries.adb:837:21: (style) redundant parentheses [-gnatyz] ocarina-analyzer-queries.adb:840:21: (style) redundant parentheses [-gnatyz] [Ada] ocarina-processor.ads ocarina-builder-components-subprogram_calls.adb:143:07: warning: use clause for package "Components" has no effect [-gnatwu] [Ada] ocarina-builder-components.adb [Ada] ocarina-analyzer-naming_rules.adb ocarina-analyzer-finder.adb:118:39: (style) redundant parentheses [-gnatyz] ocarina-analyzer-finder.adb:132:42: (style) redundant parentheses [-gnatyz] ocarina-analyzer-finder.adb:145:43: (style) redundant parentheses [-gnatyz] ocarina-analyzer-finder.adb:146:52: (style) redundant parentheses [-gnatyz] ocarina-analyzer-finder.adb:288:24: (style) redundant parentheses [-gnatyz] ocarina-analyzer-finder.adb:973:24: (style) redundant parentheses [-gnatyz] ocarina-analyzer-finder.adb:1076:26: (style) redundant parentheses [-gnatyz] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-builder-components-features.adb [Ada] ocarina-entities-namespaces.adb ocarina-builder-components-features.adb:36:06: warning: unnecessary with of ancestor [-gnatwr] ocarina-builder-components-features.adb:96:07: warning: use clause for package "Components" has no effect [-gnatwu] ocarina-builder-components-features.adb:156:07: warning: use clause for package "Nutils" has no effect [-gnatwu] [Ada] ocarina-entities-components.adb [Ada] ocarina-aadl_values.adb [Ada] ocarina-debug.adb [Ada] ocarina-entities-components-subprogram_calls.adb ocarina-entities-components-subprogram_calls.adb:48:07: warning: use clause for package "Entities" has no effect [-gnatwu] [Ada] ocarina-nutils.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-entities-components-subcomponents.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-annotations.adb ocarina-entities-components-subcomponents.adb:35:06: warning: unnecessary with of ancestor [-gnatwr] ocarina-entities-components-subcomponents.adb:49:07: warning: use clause for package "Components" has no effect [-gnatwu] ocarina-entities-components-subcomponents.adb:78:07: warning: use clause for package "Entities" has no effect [-gnatwu] [Ada] ocarina-entities.adb [Ada] ocarina-entities-messages.adb ocarina-aadl_values.adb:632:26: (style) redundant parentheses [-gnatyz] ocarina-aadl_values.adb:632:53: (style) redundant parentheses [-gnatyz] ocarina-aadl_values.adb:635:26: (style) redundant parentheses [-gnatyz] ocarina-aadl_values.adb:636:30: (style) redundant parentheses [-gnatyz] ocarina-aadl_values.adb:646:26: (style) redundant parentheses [-gnatyz] ocarina-aadl_values.adb:647:30: (style) redundant parentheses [-gnatyz] ocarina-aadl_values.adb:650:26: (style) redundant parentheses [-gnatyz] ocarina-aadl_values.adb:650:53: (style) redundant parentheses [-gnatyz] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-nodes.adb ocarina-entities.adb:365:07: warning: use clause for package "Nutils" has no effect [-gnatwu] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-entities-components-connections.adb [Ada] ocarina-entities-components-flows.adb [Ada] ocarina-entities-properties.adb [Ada] errors.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] charset.adb ocarina-entities-properties.adb:37:06: warning: unnecessary with of ancestor [-gnatwr] ocarina-entities-properties.adb:63:12: (style) redundant parentheses [-gnatyx] ocarina-entities-properties.adb:105:18: (style) redundant parentheses [-gnatyz] ocarina-entities-properties.adb:118:07: warning: use clause for package "AADL_Values" has no effect [-gnatwu] ocarina-entities-properties.adb:164:07: warning: use clause for package "AADL_Values" has no effect [-gnatwu] ocarina-entities-properties.adb:432:07: warning: use clause for package "AADL_Values" has no effect [-gnatwu] ocarina-entities-properties.adb:507:07: warning: use clause for package "Entities" has no effect [-gnatwu] ocarina-entities-properties.adb:525:07: warning: use clause for package "Entities" has no effect [-gnatwu] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] locations.adb locations.adb:22:26: (style) "in" should be omitted [-gnatyI] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] namet.adb [Ada] output.adb [Ada] types.adb types.ads:34:06: warning: renamed predefined unit is an obsolescent feature (RM J.1) [-gnatwj] [Ada] utils.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-configuration.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Objective-C] misc_osx.m [Ada] glib-graphs-layouts.adb [Ada] cairo-pdf.adb [Ada] gtkada-canvas_view-objects.adb [Ada] glib-convert.adb [Ada] cairo-matrix.ads [Ada] gdk-display_manager.adb [Ada] gtk-bindings.adb [Ada] gtkada-multiline_entry.adb [Ada] gtkada-bindings.adb [Ada] cairo-svg.adb [Ada] gtkada.ads [Ada] gdk-visual.adb [Ada] gdk-window_attr.adb [Ada] gtk-text_child.adb [Ada] glib-xml.adb [Ada] glib-error.adb [Ada] gtkada-canvas_view-views.adb [Ada] glib.adb [Ada] gtkada-mdi.adb [Ada] glib-xml_int.ads [Ada] gtkada-printing.adb [Ada] gtkada-types.adb [Ada] gdk-types.ads [Ada] gtkada-c.adb [Ada] gdk-input.ads [Ada] gtkada-abstract_list_model.adb [Ada] glib-properties.adb [Ada] gtkada-canvas_view-astar.adb [Ada] gtk-marshallers.adb [Ada] cairo-png.adb [Ada] gtk-arguments.adb [Ada] gdk-property.adb [Ada] gtkada-handlers.ads [Ada] gdk.ads [Ada] gdk-keyval.adb [Ada] glib-gnodes.adb [Ada] glib-generic_properties.adb [Ada] gtkada-abstract_tree_model.adb [Ada] glib-properties-creation.adb [Ada] cairo-pattern.ads [Ada] glib-values.adb [Ada] glib-types.adb [Ada] gtkada-dialogs.adb [Ada] glib-enums.ads [Ada] gtk-type_conversion.adb [Ada] gtkada-style.adb [Ada] gtkada-intl.adb [Ada] gdk-rectangle.adb [Ada] gtkada-multi_paned.adb [Ada] gtk-dnd.adb [Ada] gtkada-canvas_view-models-layers.adb [Ada] cairo-image_surface.adb [Ada] pango-cairo.adb [Ada] gtk-rc.adb [Ada] glib-main.adb [Ada] gdk-dnd.adb [Ada] cairo-font_options.adb [Ada] cairo-font_face.ads [Ada] glib-key_file.adb [Ada] glib-glist.adb [Ada] gdk-pixbuf.adb [Ada] glib-gslist.adb [Ada] gtk-tree_model-utils.adb [Ada] cairo.adb [Ada] gdk-color.adb [Ada] gdk-cairo.adb [Ada] gtkada-canvas_view.adb [Ada] gtkada-stock_labels.ads [Ada] gtkada-builder.adb [Ada] cairo-surface.adb [Ada] gtkada-canvas_view-links.adb [Ada] glib-type_conversion_hooks.adb [Ada] cairo-scaled_font.ads [Ada] gtkada-canvas_view-rtrees.adb [Ada] glib-unicode.adb [Ada] glib-object.adb [Ada] glib-messages.adb [Ada] gdk-types-keysyms.ads [Ada] glib-module.adb [Ada] gtkada-stock_icons.ads [Ada] gtk.ads [Ada] gtkada-application.adb [Ada] gtkada-file_selection.adb [Ada] glib-graphs.adb [Ada] cairo-region.adb [Ada] gdk-threads.ads [Ada] fontconfig.adb [Ada] pango.ads [Ada] gdk-main.adb [Ada] gtkada-canvas_view-models.adb [Ada] gtkada-canvas.adb [Ada] gtkada-pixmaps.ads [Ada] gtk-handlers.adb [Ada] gtk-image.adb [Ada] gtk-editable.adb [Ada] gtk-gesture_drag.adb [Ada] gtk-shortcuts_window.adb [Ada] gtk-recent_chooser_menu.adb [Ada] gtk-tree_store.adb [Ada] gtk-settings.adb [Ada] gtk-theming_engine.adb [Ada] gtk-tool_item.adb [Ada] gdk-device.adb [Ada] pango-matrix.adb [Ada] gtk-fixed.adb [Ada] gtk-entry_buffer.adb [Ada] gtk-file_filter.adb [Ada] gtk-scale_button.adb [Ada] gtk-orientable.adb [Ada] pango-coverage.adb [Ada] gtk-cell_renderer_text.adb [Ada] gtk-cell_renderer_spinner.adb [Ada] gtk-table.adb [Ada] gdk-event.adb [Ada] gtk-offscreen_window.adb [Ada] gtk-overlay.adb [Ada] gtk-list_store.adb [Ada] gtk-cell_layout.adb [Ada] gtk-cell_view.adb [Ada] gtk-scrollable.adb [Ada] gtk-main.adb [Ada] glib-option.adb [Ada] gtk-button.adb [Ada] gtk-target_list.adb [Ada] gtk-color_chooser.adb [Ada] gtk-tool_shell.adb [Ada] gtk-link_button.adb [Ada] gtk-spinner.adb [Ada] gtk-css_section.adb [Ada] gtk-style.adb [Ada] gtk-gradient.adb [Ada] glib-menu.adb [Ada] gtk-icon_theme.adb [Ada] gtk-invisible.adb [Ada] glib-poll.adb [Ada] gtk-text_attributes.adb [Ada] gtk-message_dialog.adb [Ada] gtk-radio_menu_item.adb [Ada] gtk-flow_box.adb [Ada] gtk-toggle_button.adb [Ada] gtk-page_setup.adb [Ada] gdk-screen.adb [Ada] gtk-radio_tool_button.adb [Ada] gtk-tree_view.adb [Ada] gtk-tool_palette.adb [Ada] gtk-viewport.adb [Ada] gtk-recent_chooser.adb [Ada] pango-font_metrics.adb [Ada] glib-cancellable.adb [Ada] gdk-window.adb [Ada] gtk-recent_filter.adb [Ada] gtk-size_group.adb [Ada] gtk-gesture_multi_press.adb [Ada] gtk-gesture_single.adb [Ada] gtk-menu_item.adb [Ada] gtk-check_menu_item.adb [Ada] gtk-menu_bar.adb [Ada] gtk-target_entry.adb [Ada] gtk-frame.adb [Ada] pango-font_face.adb [Ada] gtk-glarea.adb [Ada] gtk-widget.adb [Ada] gtk-cell_area_context.adb [Ada] gtk-gesture.adb [Ada] gtk-icon_source.adb [Ada] gtk-tree_selection.adb [Ada] gtk-application_window.adb [Ada] gtk-cell_renderer_pixbuf.adb [Ada] gtk-im_context.adb [Ada] gtk-hsv.adb [Ada] pango-context.adb [Ada] gtk-font_chooser_widget.adb [Ada] gtk-cell_renderer_spin.adb [Ada] gtk-cell_renderer_progress.adb [Ada] gtk-gesture_pan.adb [Ada] gtk-switch.adb [Ada] pango-tabs.adb [Ada] gtk-font_selection_dialog.adb [Ada] gtk-combo_box_text.adb [Ada] gtk-tree_drag_source.adb [Ada] gtk-gesture_swipe.adb [Ada] gtk-font_chooser.adb [Ada] gtk-cell_renderer_combo.adb [Ada] gtk-scrolled_window.adb [Ada] gtk-grid.adb [Ada] gtk-gesture_long_press.adb [Ada] gtk-tree_model_sort.adb [Ada] gtk-radio_button.adb [Ada] gtk-tree_model_filter.adb [Ada] gtk-scrollbar.adb [Ada] gtk-tree_model.adb [Ada] gtk-text_tag.adb [Ada] gtk-combo_box.adb [Ada] gtk-stack.adb [Ada] gtk-action_bar.adb [Ada] pango-font_family.adb [Ada] glib-iochannel.adb [Ada] gtk-check_button.adb [Ada] gtk-separator.adb [Ada] gtk-actionable.adb [Ada] gtk-ui_manager.adb [Ada] glib-action_map.adb [Ada] gtk-paper_size.adb [Ada] gtk-status_bar.adb [Ada] gtk-icon_set.adb [Ada] glib-utils.adb [Ada] gtk-print_settings.adb [Ada] gtk-buildable.adb [Ada] gtk-accel_map.adb [Ada] gtk-layout.adb [Ada] gtk-entry_completion.adb [Ada] glib-spawn.adb [Ada] gtk-toggle_tool_button.adb [Ada] gtk-aspect_frame.adb [Ada] gtk-revealer.adb [Ada] gtk-search_entry.adb [Ada] gtk-handle_box.adb [Ada] gtk-list_box_row.adb [Ada] gtk-image_menu_item.adb [Ada] gtk-event_box.adb [Ada] gtk-color_selection_dialog.adb [Ada] gtk-hbutton_box.adb [Ada] gtk-flow_box_child.adb [Ada] gtk-dialog.adb [Ada] gtk-header_bar.adb [Ada] gdk-drag_contexts.adb [Ada] gtk-menu_tool_button.adb [Ada] glib-menu_model.adb [Ada] gtk-font_chooser_dialog.adb [Ada] glib-action.adb [Ada] pango-language.adb [Ada] gtk-list_box.adb [Ada] gtk-css_provider.adb [Ada] gtk-text_iter.adb [Ada] gtk-gesture_zoom.adb [Ada] gtk-text_child_anchor.adb [Ada] gtk-button_box.adb [Ada] gtk-print_operation.adb [Ada] gtk-window.adb [Ada] gtk-calendar.adb [Ada] gdk-rgba.adb [Ada] glib-notification.adb [Ada] gtk-info_bar.adb [Ada] gtk-separator_menu_item.adb [Ada] gtk-spin_button.adb [Ada] gtk-event_controller.adb [Ada] gtk-text_tag_table.adb [Ada] gtk-style_context.adb [Ada] gtk-level_bar.adb [Ada] gtk-tree_drag_dest.adb [Ada] gtk-color_button.adb [Ada] gtk-builder.adb [Ada] gtk-clipboard.adb [Ada] gtk-im_context_simple.adb [Ada] gtk-icon_factory.adb [Ada] gtk-file_chooser_button.adb [Ada] gtk-tooltip.adb [Ada] gdk-device_manager.adb [Ada] gtk-gentry.adb [Ada] gtk-arrow.adb [Ada] gtk-radio_action.adb [Ada] gtk-accel_group.adb [Ada] gtk-file_chooser.adb [Ada] gtk-tree_sortable.adb [Ada] gtk-status_icon.adb [Ada] gtk-paned.adb [Ada] pango-enums.adb [Ada] glib-variant.adb [Ada] gtk-recent_chooser_widget.adb [Ada] gtk-drawing_area.adb [Ada] gtk-application.adb [Ada] gtk-gesture_rotate.adb [Ada] gtk-text_view.adb [Ada] gtk-alignment.adb [Ada] gtk-color_chooser_widget.adb [Ada] gtk-tool_button.adb [Ada] gtk-file_chooser_widget.adb [Ada] gtk-notebook.adb [Ada] gtk-volume_button.adb [Ada] gtk-menu_button.adb [Ada] gtk-container.adb [Ada] gtk-activatable.adb [Ada] gtk-im_multi_context.adb [Ada] gtk-search_bar.adb [Ada] gtk-cell_renderer_accel.adb [Ada] gtk-toolbar.adb [Ada] gtk-adjustment.adb [Ada] gtk-binding_set.adb [Ada] gtk-separator_tool_item.adb [Ada] gtk-box.adb [Ada] gtk-progress_bar.adb [Ada] gtk-menu_shell.adb [Ada] gtk-stock.adb [Ada] gtk-recent_action.adb [Ada] gtk-enums.adb [Ada] gtk-label.adb [Ada] gtk-cell_area.adb gtk-enums.adb:38:04: warning: possible aliasing problem for type "Chars_Ptr" [enabled by default] gtk-enums.adb:38:04: warning: use -fno-strict-aliasing switch for references [enabled by default] gtk-enums.adb:38:04: warning: or use "pragma No_Strict_Aliasing (Chars_Ptr);" [enabled by default] [Ada] gtk-menu.adb [Ada] gtk-action_group.adb [Ada] gtk-selection_data.adb [Ada] gdk-cursor.adb [Ada] gtk-grange.adb [Ada] gdk-device_tool.adb [Ada] gtk-style_provider.adb [Ada] gtk-cell_area_box.adb [Ada] glib-application.adb [Ada] pango-font.adb [Ada] gtk-misc.adb [Ada] pango-attributes.adb [Ada] gtk-popover.adb [Ada] gtk-symbolic_color.adb [Ada] gtk-assistant.adb [Ada] gtk-tree_view_column.adb [Ada] gtk-tree_row_reference.adb [Ada] gtk-recent_chooser_dialog.adb [Ada] gdk-monitor.adb [Ada] glib-simple_action_group.adb [Ada] gtk-text_mark.adb [Ada] gtk-expander.adb [Ada] glib-g_icon.adb [Ada] gtk-color_selection.adb [Ada] glib-list_model.adb [Ada] gtk-icon_view.adb [Ada] gtk-action.adb [Ada] gtk-recent_manager.adb [Ada] gtk-file_chooser_dialog.adb [Ada] gtk-recent_info.adb [Ada] gtk-vbutton_box.adb [Ada] gtk-toggle_action.adb [Ada] gtk-font_selection.adb [Ada] gdk-drawing_context.adb [Ada] glib-action_group.adb [Ada] gtk-stack_switcher.adb [Ada] gtk-font_button.adb [Ada] gtk-bin.adb [Ada] glib-simple_action.adb [Ada] gdk-frame_timings.adb [Ada] gdk-seat.adb [Ada] gtk-style_properties.adb [Ada] gtk-cell_editable.adb [Ada] gtk-cell_renderer_toggle.adb [Ada] gtk-cell_renderer.adb [Ada] gtk-color_chooser_dialog.adb [Ada] gtk-tool_item_group.adb [Ada] gtk-scale.adb [Ada] gtk-print_context.adb [Ada] gtk-about_dialog.adb [Ada] gtk-print_operation_preview.adb [Ada] pango-fontset.adb [Ada] gdk-glcontext.adb [Ada] gdk-frame_clock.adb [Ada] gtk-accel_label.adb [Ada] pango-font_map.adb [Ada] gdk-display.adb [Ada] gtk-text_buffer.adb [Ada] pango-layout.adb [Ada] gtk-tearoff_menu_item.adb [Ada] glib-string.adb [C] misc.c [C] misc_generated.c [Ada] aadl_parsers.adb /Users/runner/.local/share/alire/builds/gtkada_25.0.1_d3787772/05561da954afaee17128f59bba699db2f2e4a4215317b2b818a8016192c82334/src/misc.c: In function 'ada_g_module_build_path': /Users/runner/.local/share/alire/builds/gtkada_25.0.1_d3787772/05561da954afaee17128f59bba699db2f2e4a4215317b2b818a8016192c82334/src/misc.c:161:3: warning: 'g_module_build_path' is deprecated [-Wdeprecated-declarations] 161 | return g_module_build_path (directory, module_name); | ^~~~~~ In file included from /opt/homebrew/Cellar/glib/2.82.4/include/glib-2.0/gio/giomodule.h:31, from /opt/homebrew/Cellar/glib/2.82.4/include/glib-2.0/gio/gio.h:102, from /opt/homebrew/Cellar/gtk+3/3.24.43/include/gtk-3.0/gdk/gdkapplaunchcontext.h:28, from /opt/homebrew/Cellar/gtk+3/3.24.43/include/gtk-3.0/gdk/gdk.h:32, from /Users/runner/.local/share/alire/builds/gtkada_25.0.1_d3787772/05561da954afaee17128f59bba699db2f2e4a4215317b2b818a8016192c82334/src/misc.c:38: /opt/homebrew/Cellar/glib/2.82.4/include/glib-2.0/gmodule.h:142:23: note: declared here 142 | gchar* g_module_build_path (const gchar *directory, | ^~~~~~~~~~~~~~~~~~~ [Ada] address_space_set.adb [Ada] buffer_set.adb [Ada] cache_access_profile_set.adb [Ada] cache_block_set.adb [Ada] cache_set.adb [Ada] call_framework.adb [Ada] call_scheduling_framework.adb [Ada] cfg_edge_set.adb [Ada] cfg_node_set.adb [Ada] cfg_set.adb [Ada] debug.adb [Ada] editor_config.adb [Ada] event_analyzer_set.adb [Ada] framework.adb [Ada] framework_config.adb [Ada] framework_config-extended.adb [Ada] graphical_editor.adb [Ada] graphical_editor-draw_scheduling.adb [Ada] graphical_editor-message_text.adb [Ada] initialize_framework.adb [Ada] io_tools.adb [Ada] message_set.adb [Ada] multiprocessor_services.adb [Ada] multiprocessor_services_interface.adb [Ada] network_set.adb [Ada] processor_set.adb [Ada] processors.adb [Ada] resource_set.adb [Ada] scheduler_interface.adb [Ada] systems.adb [Ada] task_group_set.adb [Ada] task_set.adb [Ada] translate.adb [Ada] unbounded_strings.adb [Ada] version.adb [Ada] xml_generic_parsers.adb [Ada] xml_generic_parsers-architecture.adb [Ada] objects.adb [Ada] objects-extended.adb [Ada] sets.adb [Ada] buffers.adb [Ada] queueing_systems.adb [Ada] integer_util.adb [Ada] resources.adb [Ada] scheduler_interface-extended.adb [Ada] tasks.adb [Ada] time_unit_events.adb [Ada] address_spaces.adb [Ada] mils_security.adb [Ada] caches.adb [Ada] aadl_config.ads [Ada] aadl_parser_interface.adb [Ada] core_units.adb [Ada] doubles.ads [Ada] memories.adb [Ada] offsets.adb [Ada] parameters.adb [Ada] task_dependencies.adb [Ada] cfg_edges.adb [Ada] integer_arrays.adb [Ada] tables.adb [Ada] call_cache_framework.adb [Ada] call_dependency_framework.adb [Ada] call_design_pattern_framework.adb [Ada] call_framework_interface.adb [Ada] call_memory_framework.adb [Ada] call_network_framework.adb [Ada] call_random_framework.adb [Ada] call_resource_framework.adb [Ada] call_security_framework.adb [Ada] scheduling_options.ads [Ada] time_unit_events-extended.adb [Ada] translate-aadl_labels.adb [Ada] translate-english_labels.adb [Ada] translate-francais_labels.adb [Ada] xml_tag.adb [Ada] id_generators.adb [Ada] parameters-extended.adb [Ada] cfg_nodes.adb [Ada] cfg_nodes-extended.adb [Ada] natural_util.adb [Ada] double_util.adb [Ada] event_analyzers.adb [Ada] expressions.adb [Ada] feasibility_test.ads [Ada] feasibility_test-feasibility_interval.adb [Ada] feasibility_test-periodic_task_worst_case_response_time.adb [Ada] feasibility_test-processor_demand.adb [Ada] feasibility_test-processor_utilization.adb [Ada] feasibility_test-transaction_worst_case_response_time.adb [Ada] partitioning_services.adb [Ada] priority_assignment.adb [Ada] priority_assignment-audsley_opa.adb [Ada] priority_assignment-audsley_opa_crpd.adb [Ada] priority_assignment-dm.adb [Ada] priority_assignment-rm.adb [Ada] processor_interface.adb [Ada] scheduler.adb [Ada] scheduler-fixed_priority.adb [Ada] scheduler-fixed_priority-dm.adb [Ada] scheduler-fixed_priority-rm.adb [Ada] scheduling_analysis.adb [Ada] scheduling_analysis-extended.ads [Ada] scheduling_analysis-extended-task_analysis.adb [Ada] scheduler_builder.adb [Ada] cfgs.adb [Ada] primitive_xml_strings.adb [Ada] convert_strings.adb [Ada] convert_unbounded_strings.adb [Ada] standards_io.ads [Ada] event_analyzers-extended.adb [Ada] graphical_editor-cheddar_callbacks.adb [Ada] graphical_editor-cheddar_callbacks-edit_menu.adb [Ada] graphical_editor-cheddar_callbacks-file_menu.adb [Ada] graphical_editor-cheddar_callbacks-help_menu.adb [Ada] graphical_editor-cheddar_callbacks-tool_menu.adb [Ada] graphical_editor-scheduling_simulations_callbacks.adb [Ada] graphical_editor-wizard.adb [Ada] graphical_editor-colors.adb [Ada] graphical_editor-select_time_line.adb [Ada] graphical_editor-user_message.adb [Ada] messages.adb [Ada] networks.adb [Ada] indexed_tables.adb [Ada] battery_set.adb [Ada] dependency_services.adb [Ada] interpreter.ads [Ada] interpreter-extended.adb [Ada] parser.adb [Ada] primitive_write_xml.adb [Ada] scheduler-hierarchical.adb [Ada] scheduler-hierarchical-offline.adb [Ada] scheduler-user_defined.adb [Ada] scheduler_io.adb [Ada] scheduling_anomalies_services.adb [Ada] scheduling_anomalies_services-online.adb [Ada] section_set.adb [Ada] sections.adb scheduling_anomalies_services-online.adb:226:12: warning: unreachable code [enabled by default] [Ada] statements.adb [Ada] voltage_scaling.adb [Ada] xml_generic_parsers-event_table.adb [Ada] lists.adb [Ada] memory_set.adb [Ada] task_groups.adb [Ada] offsets-extended.ads [Ada] v2_xml_parsers.adb [Ada] batteries.adb [Ada] cfg_node_set-basic_block_set.adb [Ada] scheduling_error_set.adb [Ada] scheduling_errors.adb [Ada] strings.adb [Ada] basic_blocks.adb [Ada] dependencies.adb [Ada] xml_architecture_io.adb [Ada] xml_architecture_parser_interface.adb [Ada] discrete_util.adb [Ada] access_lists.adb [Ada] basic_block_analysis.adb [Ada] architecture_analyzer.adb [Ada] scheduling_anomalies_services-offline.adb [Ada] buffers-extended.adb [Ada] queueing_system.adb [Ada] queueing_system-theoretical.adb [Ada] queueing_system-theoretical-md1.adb [Ada] queueing_system-theoretical-mg1.adb [Ada] queueing_system-theoretical-mm1.adb [Ada] queueing_system-theoretical-mp1.adb [Ada] queueing_system-theoretical-pp1.adb [Ada] scheduling_analysis-extended-buffer_analysis.adb [Ada] spacewire_flow_transformation.adb [Ada] mils_analysis.adb [Ada] feasibility_test-worst_case_blocking_time.adb [Ada] priority_assignment-ceiling_priority.adb [Ada] scheduling_analysis-extended-resource_analysis.adb [Ada] real_util.adb [Ada] feasibility_test-periodic_task_worst_case_response_time_dynamic_priority.adb [Ada] feasibility_test-periodic_task_worst_case_response_time_fixed_priority.adb [Ada] scheduler-dynamic_priority.adb [Ada] scheduler-fixed_priority-hpf.adb [Ada] scheduler-dynamic_priority-edf.adb [Ada] laws.adb [Ada] qs_tools.adb [Ada] simulations.adb [Ada] simulations-extended.adb [Ada] scheduler-dynamic_priority-d_over.adb [Ada] scheduler-dynamic_priority-llf.adb [Ada] scheduler-dynamic_priority-muf.ads [Ada] priority_assignment-audsley_opa_crpd_pt.adb [Ada] priority_assignment-audsley_opa_crpd_tree.adb [Ada] priority_assignment-utility.adb [Ada] tasks-extended.adb [Ada] cache_utility.adb [Ada] boolean_util.adb [Ada] scheduler-dag.ads [Ada] scheduler-dag-highest_level_first_estimated_times.adb [Ada] scheduler-dynamic_priority-edh.adb [Ada] scheduler-dynamic_priority-llf-runtime_based.adb [Ada] scheduler-dynamic_priority-muf-deadline_based.adb [Ada] scheduler-dynamic_priority-muf-laxity_based.adb [Ada] scheduler-fixed_priority-aperiodic_server.adb [Ada] scheduler-fixed_priority-aperiodic_server-deferrable.adb [Ada] scheduler-fixed_priority-aperiodic_server-polling.adb [Ada] scheduler-fixed_priority-aperiodic_server-priority_exchange.adb [Ada] scheduler-fixed_priority-aperiodic_server-sporadic.adb [Ada] scheduler-hierarchical-cyclic.adb [Ada] scheduler-hierarchical-fixed_priority.adb [Ada] scheduler-hierarchical-round_robin.adb [Ada] scheduler-mixed_criticality.adb [Ada] scheduler-mixed_criticality-amc.adb [Ada] scheduler-mixed_criticality-edf_vd.adb [Ada] scheduler-multiprocessor_specific.adb [Ada] scheduler-multiprocessor_specific-edzl.adb [Ada] scheduler-multiprocessor_specific-llref.adb [Ada] scheduler-multiprocessor_specific-pfair.adb [Ada] scheduler-multiprocessor_specific-pfair-pf.adb [Ada] scheduler-multiprocessor_specific-run.adb [Ada] scheduler-nothing.adb [Ada] scheduler-round_robin.adb [Ada] scheduler-time_sharing_based_on_cpu_usage.adb [Ada] scheduler-time_sharing_based_on_wait_time.adb [Ada] scheduler-user_defined-generated.adb [Ada] scheduler-user_defined-generated-compiled.adb [Ada] scheduler-user_defined-interpreted.adb [Ada] scheduler-user_defined-interpreted-automata.adb [Ada] scheduler-user_defined-interpreted-pipeline.adb [Ada] graphical_editor-aadl_options.adb [Ada] graphical_editor-about.adb [Ada] graphical_editor-address_spaces.adb [Ada] graphical_editor-analysis_on_event_table.adb [Ada] graphical_editor-asynchronous_communication_dependency.adb [Ada] graphical_editor-black_board_buffer_dependency.adb [Ada] graphical_editor-buffers.adb [Ada] graphical_editor-caches.adb [Ada] graphical_editor-cores.adb [Ada] graphical_editor-event_analyzers.adb [Ada] graphical_editor-event_tables.adb [Ada] graphical_editor-feasibility_test_options.adb [Ada] graphical_editor-file_selector.adb [Ada] graphical_editor-manuals.adb [Ada] graphical_editor-messages.adb [Ada] graphical_editor-networks.adb [Ada] graphical_editor-precedence_dependency.adb [Ada] graphical_editor-priorities.adb [Ada] graphical_editor-processors.adb [Ada] graphical_editor-queueing_buffer_dependency.adb [Ada] graphical_editor-resource_dependency.adb [Ada] graphical_editor-resources.adb [Ada] graphical_editor-scheduling_feasibility_widgets.adb [Ada] graphical_editor-scheduling_options.adb [Ada] graphical_editor-scheduling_refs.adb [Ada] graphical_editor-scheduling_simulations.adb [Ada] graphical_editor-task_groups.adb [Ada] graphical_editor-tasks.adb [Ada] graphical_editor-time_triggered_communication_dependency.adb [Ada] graphical_editor-generic_package_widget.adb [Ada] graphical_editor-wizard_callbacks.adb [Ada] graphical_editor-select_time_line-callbacks.adb [Ada] graphical_editor-user_message_callbacks.adb [Ada] statements-extended.adb [Ada] automaton.adb [Ada] automaton-extended.adb [Ada] scheduler_dfa.adb [Ada] scheduler_goto.ads [Ada] scheduler_lex.adb [Ada] scheduler_shift_reduce.ads [Ada] scheduler_tokens.ads [Ada] object_set.adb [Ada] applicability_constraint.ads [Ada] applicability_constraint-all_tasks_are_periodic.adb [Ada] applicability_constraint-all_tasks_are_periodic_or_sporadic.adb [Ada] applicability_constraint-allowed_protocol.adb [Ada] applicability_constraint-at_least_one_buffer.adb [Ada] applicability_constraint-at_least_one_data.adb [Ada] applicability_constraint-ceiling_priority_assignment.adb [Ada] applicability_constraint-data_connectivity.adb [Ada] applicability_constraint-data_sharing_protocol.adb [Ada] applicability_constraint-no_buffer.adb [Ada] applicability_constraint-no_dependencies.adb [Ada] applicability_constraint-no_shared_cpu.adb [Ada] applicability_constraint-no_shared_resources.adb [Ada] applicability_constraint-period_equal_deadline_constraint.adb [Ada] applicability_constraint-period_larger_than_deadline_constraint.adb [Ada] applicability_constraint-period_smaller_than_deadline_constraint.adb [Ada] applicability_constraint-pip_no_deadlock.adb [Ada] applicability_constraint-simultaneous_release_time_constraint.adb [Ada] applicability_constraint-uniprocessor.adb [Ada] applicability_constraint-uniprocessor_preemptivity.adb [Ada] applicability_constraint-uniprocessor_quantum.adb [Ada] applicability_constraint-uniprocessor_scheduling_protocol.adb [Ada] applicability_constraint-unsimultaneous_release_time_constraint.adb [Ada] applicability_constraints_main_structure.adb [Ada] applicability_constraints_main_structure-extended.adb [Ada] architecture_factory.adb [Ada] dp_graph.adb [Ada] dp_graph-extended.adb [Ada] dp_graph_view.adb [Ada] feasibility_tests_for_time_triggered_communication.adb [Ada] feasibility_tests_main_structure_factory.adb [Ada] generic_graph.adb [Ada] mesh_analysis.adb [Ada] mesh_analysis-delays.adb [Ada] random_tools.adb [Ada] feasibility_test-cache_interferences.adb [Ada] feasibility_test-memory_interferences.adb [Ada] fifos.adb [Ada] stacks.adb [Ada] arinc_653_schema.adb [Ada] data_accesses.adb [Ada] dfg_nodes.adb [Ada] execution_units.adb [Ada] partitioning_algorithms.adb [Ada] graphical_editor-aadl_options_callbacks.adb [Ada] graphical_editor-about_callbacks.adb [Ada] graphical_editor-convert_text.adb [Ada] graphical_editor-generic_callbacks.adb [Ada] graphical_editor-analysis_on_event_table_callbacks.adb [Ada] graphical_editor-manual_callbacks.adb [Ada] graphical_editor-event_tables_callbacks.adb [Ada] graphical_editor-feasibility_test_option_callbacks.adb [Ada] arinc_653_services.adb [Ada] graphical_editor-file_selector_callbacks.adb [Ada] graphical_editor-priorities_audsley_callbacks.adb [Ada] graphical_editor-priorities_audsley_crpd_callbacks.adb [Ada] graphical_editor-priorities_dm_callbacks.adb [Ada] graphical_editor-priorities_rm_callbacks.adb [Ada] graphical_editor-scheduling_feasibility_widget_callbacks.adb [Ada] graphical_editor-scheduling_option_callbacks.adb [Ada] graphical_editor-scheduling_ref_callbacks.adb [Ada] generic_graph-extended.adb [Ada] applicability_constraint-arbitrary_deadlines.adb [Ada] feasibility_tests_for_ravenscar.adb [Ada] feasibility_tests_for_unplugged.adb Build Libraries [gprlib] gtkada.lexch [gprlib] ocarina.lexch [gprlib] ocarina-aadl.lexch [archive] libocarina.a [archive] libgtkada.a [index] libocarina.a [gprlib] ocarina-dumper.lexch [gprlib] ocarina-checker.lexch [archive] libocarina-dumper.a [archive] libocarina-aadl.a [index] libocarina-dumper.a [gprlib] ocarina-generators.lexch [archive] libocarina-checker.a [index] libocarina-aadl.a [index] libocarina-checker.a [gprlib] ocarina-pn.lexch [gprlib] ocarina-gaia.lexch [archive] libocarina-pn.a [index] libocarina-pn.a [archive] libocarina-generators.a [gprlib] ocarina-config.lexch [archive] libocarina-gaia.a [index] libocarina-gaia.a [index] libocarina-generators.a [gprlib] xmlada_unicode.lexch [archive] libocarina-config.a [gprlib] xmlada_input_sources.lexch [archive] libxmlada_unicode.a [index] libocarina-config.a [index] libxmlada_unicode.a [gprlib] xmlada_sax.lexch [archive] libxmlada_input_sources.a [index] libxmlada_input_sources.a [gprlib] xmlada_dom.lexch [archive] libxmlada_sax.a [index] libxmlada_sax.a [gprlib] xmlada_schema.lexch [archive] libxmlada_dom.a [index] libgtkada.a [index] libxmlada_dom.a [archive] libxmlada_schema.a [index] libxmlada_schema.a Bind [gprbind] cheddar.bexch [Ada] cheddar.ali Link [link] cheddar.adb ld: warning: directory not found for option '-L/Users/runner/.local/share/alire/builds/gtkada_25.0.1_d3787772/05561da954afaee17128f59bba699db2f2e4a4215317b2b818a8016192c82334//lib' ld: warning: directory not found for option '-L/Users/runner/.local/share/alire/builds/gtkada_25.0.1_d3787772/05561da954afaee17128f59bba699db2f2e4a4215317b2b818a8016192c82334//bin' cheddar=3.3.0 successfully retrieved and built. Dependencies were solved as follows: +b gnat 14.2.1 (new,gnat_native,indirect,binary) + gtkada 25.0.1 (new) +b libgtk3 3.24.43 (new,indirect,system package) +b make 4.4.1 (new,indirect,system package) + ocarina_lib 1.1.0-20070603 (new) +b pkg_config 2.3.0 (new,indirect,executable in path) + xmlada 25.0.0 (new) Found declared GPR file: gpr/cheddar.gpr