Test ran at 2025-08-02 01:25:10.340398+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=15.1.2 (gnat_native) gtkada=25.0.1 libgtk3=3.24.49 make=4.4.1 ocarina_lib=1.1.0-20070603 pkg_config=2.4.3 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.49 (>=3.24.24) gtkada=25.0.1 --> make=4.4.1 (*) gtkada=25.0.1 --> pkg_config=2.4.3 (*) xmlada=25.0.0 --> gnat=15.1.2 (gnat_native) (>=11) LOG: [alr test] Testing cheddar=3.3.0 [alr test] Spawning retrieval for remote crate: alr -d -n get cheddar=3.3.0 Note: Deploying cheddar=3.3.0... #=#=# ##O#-# ##O=# # 0.0% 0.1% 0.3% 0.9% # 2.4% ### 4.8% ##### 8.1% ######## 11.4% ########## 14.7% ############ 18.0% ############### 21.2% ################# 24.5% ################### 27.7% ###################### 31.0% ######################## 34.2% ########################### 37.5% ############################# 40.8% ############################### 44.0% ################################## 47.4% #################################### 50.7% ###################################### 54.0% ######################################### 57.3% ########################################### 60.5% ############################################# 63.8% ################################################ 67.1% ################################################## 70.4% ##################################################### 73.7% ####################################################### 77.0% ######################################################### 80.3% ############################################################ 83.6% ############################################################## 86.9% ################################################################ 89.9% ################################################################### 93.3% ##################################################################### 96.6% ####################################################################### 99.4% ######################################################################## 100.0% Note: Deploying ocarina_lib=1.1.0-20070603... #=#=# ##O#-# 0.6% ### 5.3% ############# 18.6% ################################### 49.6% ######################################################################## 100.0% cheddar=3.3.0 successfully retrieved. Dependencies were solved as follows: +b gnat 15.1.2 (new,gnat_native,indirect,binary) + gtkada 25.0.1 (new) +b libgtk3 3.24.49 (new,indirect,system package) +b make 4.4.1 (new,indirect,system package) + ocarina_lib 1.1.0-20070603 (new) +b pkg_config 2.4.3 (new,indirect,system package) + xmlada 25.0.0 (new) [alr test] Spawning default test for remote crate: alr -d -n build --release -- -cargs:Ada -gnatwn Note: Running post-fetch actions for ocarina_lib=1.1.0-20070603... checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking target system type... x86_64-unknown-linux-gnu checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for gawk... gawk 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... gnatgcc checking for gnatchop... gnatchop checking if the Ada compiler works... yes checking for gnatclean... gnatclean checking for python version... checking for python platform... 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 svn: E155007: '/root/.local/share/alire/builds/ocarina_lib_1.1.0_56e84ebe/06a9afb4b9e6d398dd33d8d17f11811b53754a0219fbe1ddd83134147e4549a6' is not a working copy 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 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 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-schema_readers.adb [Ada] schema-readers.adb [Ada] schema-validators.adb [Ada] schema-validators-xsd_grammar.adb [Ada] schema-date_time.adb [Ada] schema-simple_types.adb [Ada] schema-decimal.adb [Ada] schema-dom_readers.adb [Ada] schema.adb [Ada] dom-core-document_types.adb [Ada] dom-core-elements.adb [Ada] dom-core-attrs.adb [Ada] dom-core-documents.adb [Ada] dom-core-texts.adb [Ada] dom-core-entity_references.ads [Ada] dom-core-comments.ads [Ada] dom-readers.adb [Ada] dom-core-character_datas.adb [Ada] dom-core-cdata_sections.ads [Ada] dom-core-nodes.adb [Ada] dom-core-notations.adb [Ada] dom-core-document_fragments.ads [Ada] dom-core-processing_instructions.ads [Ada] dom-core.adb [Ada] dom.ads [Ada] input_sources-http.adb [Ada] input_sources-strings.adb [Ada] input_sources-socket.adb [Ada] input_sources.adb [Ada] input_sources-file.adb [Ada] sax.ads [Ada] sax-symbols.adb [Ada] sax-pointers.adb [Ada] sax-encodings.ads [Ada] sax-models.adb [Ada] sax-htable.adb [Ada] sax-state_machines.adb [Ada] sax-exceptions.adb [Ada] sax-locators.adb [Ada] sax-attributes.adb [Ada] sax-readers.adb [Ada] sax-utils.adb [Ada] unicode-names-dingbats.ads [Ada] unicode-names-bassa_vah.ads [Ada] unicode-names-small_form_variants.ads [Ada] unicode-names-latin_extended_additional.ads [Ada] unicode-names-syriac.ads [Ada] unicode-names-telugu.ads [Ada] unicode-names-multani.ads [Ada] unicode-names-siddham.ads [Ada] unicode-ccs-iso_8859_15.adb [Ada] unicode-names-phonetic_ext_sup.ads [Ada] unicode-names-takri.ads [Ada] unicode-names-cuneiform_num_punctuation.ads [Ada] unicode-names-chakma.ads [Ada] unicode-names-hiragana.ads [Ada] unicode-names-sharada.ads [Ada] unicode-names-misc_symbols_pictographs.ads [Ada] unicode-names-super_and_sub_scripts.ads [Ada] unicode-names-old_persian.ads [Ada] unicode-names-armenian.ads [Ada] unicode-names-canadian_aboriginal.ads [Ada] unicode-names-math_alphanumeric_symb.ads [Ada] unicode-ces-utf16.adb [Ada] unicode-names-limbu.ads [Ada] unicode-names-ancient_greek_numbers.ads [Ada] unicode-names-linear_a.ads [Ada] unicode-names-myanmar_extended_b.ads [Ada] unicode-names-tagbanwa.ads [Ada] unicode-names-cypriot_syllabary.ads [Ada] unicode-names-manichaean.ads [Ada] unicode-names-cjk_compat_ideo_sup.ads [Ada] unicode-names-hangul_jamo_extended_b.ads [Ada] unicode-names-cyrillic_extended_b.ads [Ada] unicode-names-elbasan.ads [Ada] unicode-names-new_tai_lue.ads [Ada] unicode-names-pau_cin_hau.ads [Ada] unicode-names-bamum.ads [Ada] unicode-names-specials.ads [Ada] unicode-names-nko.ads [Ada] unicode-names-byzantine_musical_symbols.ads [Ada] unicode-names-musical_symbols.ads [Ada] unicode-names-arabic_extended_a.ads [Ada] unicode-names-thai.ads [Ada] unicode-names-linear_b_ideograms.ads [Ada] unicode-names-bamum_supplement.ads [Ada] unicode-names-tamil.ads [Ada] unicode-names-control_pictures.ads [Ada] unicode-names-mro.ads [Ada] unicode-ces-utf8.adb [Ada] unicode-names-vai.ads [Ada] unicode-names-block_elements.ads [Ada] unicode-names-cyrillic_extended_a.ads [Ada] unicode-names-ipa_extensions.ads [Ada] unicode-names-shorthand_format_controls.ads [Ada] unicode-names-cherokee_supplement.ads [Ada] unicode-names-devanagari_extended.ads [Ada] unicode-names-samaritan.ads [Ada] unicode-names-caucasian_albanian.ads [Ada] unicode-names-sora_sompeng.ads [Ada] unicode-names-currency_symbols.ads [Ada] unicode-names-mongolian.ads [Ada] unicode-names-syloti_nagri.ads [Ada] unicode-names-hangul_jamo_extended_a.ads [Ada] unicode-names-cjk_compatibility.ads [Ada] unicode-names-aegean_numbers.ads [Ada] unicode-names-old_south_arabian.ads [Ada] unicode-names-gothic.ads [Ada] unicode-names-batak.ads [Ada] unicode-names-arabic_present_formsb.ads [Ada] unicode-names-tifinagh.ads [Ada] unicode-names-hanunoo.ads [Ada] unicode-names-cham.ads [Ada] unicode-names-khmer.ads [Ada] unicode-names-runic.ads [Ada] unicode-names-phoenician.ads [Ada] unicode-names-hangul_jamo.ads [Ada] unicode-names-playing_cards.ads [Ada] unicode-names-khmer_symbols.ads [Ada] unicode-names-kayah_li.ads [Ada] unicode-names-kaithi.ads [Ada] unicode-names-linear_b_syllabary.ads [Ada] unicode-names-bopomofo_extended.ads [Ada] unicode-names-meetei_mayek_extensions.ads [Ada] unicode-names-spacing_modifier_letters.ads [Ada] unicode-names-pahawh_hmong.ads [Ada] unicode-names-supplemental_arrows_b.ads [Ada] unicode-names-arabic_math_alpha_symb.ads [Ada] unicode-names-box_drawing.ads [Ada] unicode-names-cuneiform.ads [Ada] unicode-names-arabic_present_formsa.ads [Ada] unicode-names-latin_extended_a.ads [Ada] unicode-names-latin_extended_e.ads [Ada] unicode-names-greek_and_coptic.ads [Ada] unicode-names.ads [Ada] unicode-names-modifier_tone_letters.ads [Ada] unicode-names-nabataean.ads [Ada] unicode-names-ugaritic.ads [Ada] unicode-names-kanbun.ads [Ada] unicode-names-georgian_supplement.ads [Ada] unicode-names-hebrew.ads [Ada] unicode-names-mahjong_tiles.ads [Ada] unicode-names-miscellaneous_symbols.ads [Ada] unicode-names-brahmi.ads [Ada] unicode-ccs-iso_8859_2.adb [Ada] unicode-names-mende_kikakui.ads [Ada] unicode-names-vedic_extensions.ads [Ada] unicode-names-bengali.ads [Ada] unicode-names-ethiopic_extended_a.ads [Ada] unicode-names-domino_tiles.ads [Ada] unicode-names-hatran.ads [Ada] unicode-names-avestan.ads [Ada] unicode-names-cjk_radicals_supplement.ads [Ada] unicode-names-old_permic.ads [Ada] unicode-names-combining_half_marks.ads [Ada] unicode-ccs-iso_8859_3.adb [Ada] unicode-names-modi.ads [Ada] unicode-names-myanmar.ads [Ada] unicode-names-imperial_aramaic.ads [Ada] unicode-names-javanese.ads [Ada] unicode-names-combining_diacritical.ads [Ada] unicode-names-ethiopic_supplement.ads [Ada] unicode-ces-basic_8bit.adb [Ada] unicode-names-tibetan.ads [Ada] unicode-names-ogham.ads [Ada] unicode-names-anatolian_hieroglyphs.ads [Ada] unicode-names-ol_chiki.ads [Ada] unicode-names-emoticons.ads [Ada] unicode-names-cjk_compat_ideographs.ads [Ada] unicode-names-lepcha.ads [Ada] unicode-names-tagalog.ads [Ada] unicode-names-carian.ads [Ada] unicode-names-old_north_arabian.ads [Ada] unicode-names-rejang.ads [Ada] unicode-names-buhid.ads [Ada] unicode-names-malayalam.ads [Ada] unicode-names-ethiopic_extended.ads [Ada] unicode-names-ideograph_descr_chars.ads [Ada] unicode-names-lisu.ads [Ada] unicode-names-sup_math_operators.ads [Ada] unicode-names-mandaic.ads [Ada] unicode-names-mahajani.ads [Ada] unicode-names-old_turkic.ads [Ada] unicode-names-psalter_pahlavi.ads [Ada] unicode-names-old_italic.ads [Ada] unicode-names-ornamental_dingbats.ads [Ada] unicode-names-katakana_phonetic_ext.ads [Ada] unicode-names-enclosed_alphanum_sup.ads [Ada] unicode.adb [Ada] unicode-names-misc_math_symbols_a.ads [Ada] unicode-names-cjk_compatibility_forms.ads [Ada] unicode-ccs.adb [Ada] unicode-names-tai_xuan_jing_symbols.ads [Ada] unicode-names-lycian.ads [Ada] unicode-ccs-windows_1251.adb [Ada] unicode-names-geometric_shapes_extended.ads [Ada] unicode-names-miscellaneous_technical.ads [Ada] unicode-names-cjk_letters_months.ads [Ada] unicode-names-myanmar_extended_a.ads [Ada] unicode-names-latin_1_supplement.ads [Ada] unicode-names-tai_viet.ads [Ada] unicode-names-transport_and_map_symbols.ads [Ada] unicode-names-bopomofo.ads [Ada] unicode-names-variation_selectors_sup.ads [Ada] unicode-names-vertical_forms.ads [Ada] unicode-names-kharoshthi.ads [Ada] unicode-names-greek_extended.ads [Ada] unicode-names-latin_extended_c.ads [Ada] unicode-names-sinhala_archaic_numbers.ads [Ada] unicode-names-thaana.ads [Ada] unicode-ces-utf32.adb [Ada] unicode-names-osmanya.ads [Ada] unicode-names-tai_le.ads [Ada] unicode-names-tai_tham.ads [Ada] unicode-names-balinese.ads [Ada] unicode-names-half_full_width_forms.ads [Ada] unicode-names-canadian_aboriginal_ext.ads [Ada] unicode-names-enclosed_ideographic_sup.ads [Ada] unicode-names-phaistos_disc.ads [Ada] unicode-names-inscriptional_pahlavi.ads [Ada] unicode-names-geometric_shapes.ads [Ada] unicode-names-variation_selectors.ads [Ada] unicode-names-kana_supplement.ads [Ada] unicode-names-arabic.ads [Ada] unicode-names-georgian.ads [Ada] unicode-names-meetei_mayek.ads [Ada] unicode-names-basic_latin.ads [Ada] unicode-names-gujarati.ads [Ada] unicode-names-enclosed_alphanumerics.ads [Ada] unicode-names-supplemental_arrows_a.ads [Ada] unicode-names-meroitic_cursive.ads [Ada] unicode-names-khudawadi.ads [Ada] unicode-ccs-iso_8859_1.adb [Ada] unicode-names-braille_patterns.ads [Ada] unicode-names-phonetic_extensions.ads [Ada] unicode-names-phags_pa.ads [Ada] unicode-names-general_punctuation.ads [Ada] unicode-names-kannada.ads [Ada] unicode-names-buginese.ads [Ada] unicode-names-sundanese.ads [Ada] unicode-names-misc_symbols_and_arrows.ads [Ada] unicode-names-katakana.ads [Ada] unicode-names-rumi_numeral_symbols.ads [Ada] unicode-names-mathematical_operators.ads [Ada] unicode-names-latin_extended_d.ads [Ada] unicode-names-arrows.ads [Ada] unicode-names-combining_diacritical_ext.ads [Ada] unicode-names-duployan.ads [Ada] unicode-names-devanagari.ads [Ada] unicode-names-sundanese_supplement.ads [Ada] unicode-names-tirhuta.ads [Ada] unicode-names-latin_extended_b.ads [Ada] unicode-names-old_hungarian.ads [Ada] unicode-names-khojki.ads [Ada] unicode-names-miao.ads [Ada] unicode-names-gurmukhi.ads [Ada] unicode-names-combining_diacritical_sup.ads [Ada] unicode-names-combining_diacritical_sym.ads [Ada] unicode-ccs-windows_1252.adb [Ada] unicode-names-inscriptional_parthian.ads [Ada] unicode-names-cjk_strokes.ads [Ada] unicode-names-supplemental_punctuation.ads [Ada] unicode-names-sinhala.ads [Ada] unicode-names-tags.ads [Ada] unicode-names-sup_symbols_pictographs.ads [Ada] unicode-names-ancient_symbols.ads [Ada] unicode-names-cyrillic.ads [Ada] unicode-names-palmyrene.ads [Ada] unicode-names-warang_citi.ads [Ada] unicode-names-egyptian_hieroglyphs.ads [Ada] unicode-names-early_dynastic_cuneiform.ads [Ada] unicode-names-ethiopic.ads [Ada] unicode-names-glagolitic.ads [Ada] unicode-names-cherokee.ads [Ada] unicode-names-optical_chars_recognition.ads [Ada] unicode-ccs-iso_8859_4.adb [Ada] unicode-names-cyrillic_supplement.ads [Ada] unicode-names-oriya.ads [Ada] unicode-names-deseret.ads [Ada] unicode-names-letterlike_symbols.ads [Ada] unicode-names-coptic.ads [Ada] unicode-names-alpha_presentation_forms.ads [Ada] unicode-names-saurashtra.ads [Ada] unicode-names-alchemical_symbols.ads [Ada] unicode-names-yi_syllables.ads [Ada] unicode-names-kangxi_radicals.ads [Ada] unicode-names-grantha.ads [Ada] unicode-names-hangul_compatibility_jamo.ads [Ada] unicode-names-counting_rod_numerals.ads [Ada] unicode-names-number_forms.ads [Ada] unicode-names-arabic_supplement.ads [Ada] unicode-names-yi_radicals.ads [Ada] unicode-names-yijing_hexagram_symbols.ads [Ada] unicode-names-sutton_signwriting.ads [Ada] unicode-names-common_indic_number_forms.ads [Ada] unicode-names-lydian.ads [Ada] unicode-names-lao.ads [Ada] unicode-names-misc_math_symbols_b.ads [Ada] unicode-names-shavian.ads [Ada] unicode-names-coptic_epact_numbers.ads [Ada] unicode-names-cjk_symbols_and_punct.ads [Ada] unicode-ces.adb [Ada] unicode-names-supplemental_arrows_c.ads [Ada] unicode-encodings.adb [Ada] unicode-names-meroitic_hieroglyphs.ads [Ada] unicode-names-ancient_greek_music.ads [Ada] unicode-names-ahom.ads [Ada] gaia-pn-nodes.adb [Ada] gaia-pn-nutils.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-debug.adb [Ada] gaia-pn-generator.adb gaia-pn-generator.adb:37:06: warning: unnecessary with of ancestor [-gnatwr] [Ada] gaia-pn-printer.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] gaia-pn.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.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-configuration.adb [Ada] gaia-translator.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] gaia-messages.adb [Ada] gaia-processor-entities-subprogram_calls.adb [Ada] gaia-mgmt.adb gaia-processor-entities-subprogram_calls.adb:161:20: (style) redundant parentheses [-gnatyz] [Ada] gaia-utils.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] gaia-processor-entities-features.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] gaia-processor-entities.ads [Ada] gaia-processor-entities-namespaces.adb [Ada] gaia.ads [Ada] gaia-processor-nodes.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-connections.adb 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-generator.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] gaia-processor-messages.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] gaia-processor-entities-components.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-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] ocarina-pn.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-pn-messages.adb 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] ocarina-pn-nutils.adb [Ada] ocarina-pn-printer-components.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-utils.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-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-nodes.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-pn-root.adb [Ada] ocarina-pn-printer.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-pn-debug.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-checker-queries-subcomponent_predicates.adb [Ada] ocarina-checker-queries-predicates.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-checker-queries-operators.adb [Ada] ocarina-checker-queries-bound_predicates.adb [Ada] ocarina-checker-queries.adb [Ada] ocarina-checker-queries-dummy_predicates.adb ocarina-checker-queries.adb:144:41: (style) misplaced "then" [-gnatyi] ocarina-checker-queries.adb:192:17: (style) redundant parentheses [-gnatyx] namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-checker_testsuite.adb [Ada] ocarina-checker-queries-relational_predicates.adb [Ada] ocarina-checker.ads [Ada] ocarina-generators-c_tree-debug.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_hi_c-activity.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-po_qos_ada-servants.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-build_utils.adb [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-ada_tree-debug.adb [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-ada_tree-generator.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_hi_c-naming.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_qos_ada-obj_adapters.adb [Ada] ocarina-generators-po_qos_ada-runtime.adb [Ada] ocarina-generators-po_hi_ada-handlers.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-c_tree.ads [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-messages.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_hi_ada-deployment.adb [Ada] ocarina-generators-po_hi_c-main.adb [Ada] ocarina-generators-po_hi_ada-activity.adb [Ada] ocarina-generators-ada_tree-nodes.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [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 [Ada] ocarina-generators-po_hi_c-deployment.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 ocarina-generators-c_tree-nutils.adb:44:06: warning: unnecessary with of self [-gnatwr] 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-po_qos_ada.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-po_qos_ada-parameters.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 namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-po_hi_c-mapping.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-po_qos_ada-namespaces.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-ssra.adb [Ada] ocarina-generators-po_hi_ada-types.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_qos_ada-mapping.adb 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 [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_c.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-ada_tree-nutils.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_ada-csra.adb [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-properties.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators-po_qos_ada-setup.adb [Ada] ocarina-generators-po_hi_ada-mapping.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-c_values.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-generators.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-po_hi_ada-main.adb [Ada] ocarina-generators-ada_tree.ads [Ada] ocarina-generators-ada_values.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-dumper.adb [Ada] ocarina-dumper-aadl_tree.adb [Ada] ocarina-aadl-printer-properties-values.adb [Ada] ocarina-aadl-printer-components-flows.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-components-flows.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-lexer.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-parser-components-connections.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-aadl-printer.adb [Ada] ocarina-aadl-printer-components-subprogram_calls.adb [Ada] ocarina-aadl-printer-components-modes.adb [Ada] ocarina-aadl-parser-components-features.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-printer-components.adb [Ada] ocarina-aadl-parser-components-subprogram_calls.adb [Ada] ocarina-aadl-parser-properties.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-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-namespaces.adb [Ada] ocarina-aadl-parser-properties-values.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-parser-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-tokens.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-aadl-parser.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-aadl-printer-components-subcomponents.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-aadl-printer-components-features.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-parser-annexes.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-properties.adb ocarina-aadl-printer-components-subcomponents.adb:45:04: warning: use clause for package "Components" has no effect [-gnatwu] [Ada] ocarina-aadl-parser-identifiers.adb [Ada] ocarina-aadl-parser_errors.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-aadl.adb [Ada] ocarina-aadl-printer-components-connections.adb [Ada] ocarina-aadl-parser-namespaces.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-annexes.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-aadl-parser-components-subcomponents.adb [Ada] ocarina-aadl-printer-identifiers.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-printer.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.adb [Ada] ocarina-messages.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [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.adb [Ada] ocarina-expander-components-connections.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-visitor-instances.ads [Ada] ocarina-expander-queries.adb [Ada] ocarina-expander-components-subprogram_calls.adb [Ada] ocarina-expander-properties.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-expander.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-expander-finder.adb [Ada] ocarina-processor-instances.ads [Ada] ocarina-expander-namespaces.adb [Ada] ocarina-expander-messages.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-visitor-instances-properties.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-processor-instances-properties.adb [Ada] ocarina-expander-components-features.adb [Ada] ocarina-expander-components-subcomponents.adb [Ada] ocarina-analyzer-links.adb [Ada] ocarina-analyzer.adb [Ada] ocarina-analyzer-semantics.adb 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-components-subcomponents.adb [Ada] ocarina-analyzer-finder.adb ocarina-analyzer.adb:52:04: warning: use clause for package "Naming_Rules" has no effect [-gnatwu] [Ada] ocarina-builder-components.adb [Ada] ocarina-visitor-components.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-builder-namespaces.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-visitor-properties.adb [Ada] ocarina-builder-components-subprogram_calls.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-builder.ads [Ada] ocarina-analyzer-legality_rules.adb [Ada] ocarina-analyzer-queries.adb [Ada] ocarina-builder-components-connections.adb ocarina-builder-components-subprogram_calls.adb:143:07: warning: use clause for package "Components" has no effect [-gnatwu] [Ada] ocarina-analyzer-naming_rules.adb [Ada] ocarina-processor.ads [Ada] ocarina-builder-components-flows.adb ocarina-analyzer-legality_rules.adb:158:58: (style) misplaced "then" [-gnatyi] [Ada] ocarina-analyzer-messages.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.ads [Ada] ocarina-processor-properties.adb ocarina-analyzer-queries.adb:837:21: (style) redundant parentheses [-gnatyz] ocarina-analyzer-queries.adb:840:21: (style) redundant parentheses [-gnatyz] [Ada] ocarina-analyzer-names.adb [Ada] ocarina-builder-components-modes.adb [Ada] ocarina-builder-annexes.adb ocarina-builder-components-modes.adb:115:07: warning: use clause for package "Components" has no effect [-gnatwu] [Ada] ocarina-builder-properties.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-nodes.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-entities-messages.adb ocarina-builder-annexes.adb:136:07: warning: use clause for package "Types" has no effect [-gnatwu] [Ada] ocarina-entities-properties.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-entities-namespaces.adb [Ada] ocarina-entities-components.adb [Ada] ocarina-nutils.adb [Ada] ocarina-entities-components-subprogram_calls.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] ocarina-entities.adb ocarina-entities-components-subprogram_calls.adb:48:07: warning: use clause for package "Entities" has no effect [-gnatwu] [Ada] ocarina-annotations.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-entities-components-subcomponents.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-debug.adb [Ada] ocarina-entities-components-flows.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-components-connections.adb [Ada] ocarina-aadl_values.adb [Ada] utils.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] output.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] charset.adb [Ada] types.adb [Ada] locations.adb types.ads:34:06: warning: renamed predefined unit is an obsolescent feature (RM J.1) [-gnatwj] [Ada] errors.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 namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] ocarina-configuration.adb [Ada] glib-messages.adb ocarina-aadl_values.adb:506:40: (style) redundant parentheses [-gnatyz] 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] gtkada-intl.adb namet.ads:24:33: (style) space required [-gnatyt] namet.ads:24:34: (style) space required [-gnatyt] [Ada] gtkada-canvas.adb [Ada] glib-unicode.adb [Ada] cairo.adb [Ada] gdk-pixbuf.adb [Ada] gtk.ads [Ada] gdk-rectangle.adb [Ada] gtkada-file_selection.adb [Ada] gtkada-stock_labels.ads [Ada] gtkada.ads [Ada] gtkada-style.adb [Ada] glib-key_file.adb [Ada] gdk-threads.ads [Ada] gtkada-canvas_view-views.adb [Ada] glib-xml.adb [Ada] glib-xml_int.ads [Ada] gtkada-bindings.adb [Ada] gtkada-canvas_view-models.adb [Ada] cairo-font_options.adb [Ada] gdk-display_manager.adb [Ada] gtkada-canvas_view-models-layers.adb [Ada] glib-gnodes.adb [Ada] cairo-svg.adb [Ada] gtkada-types.adb [Ada] cairo-font_face.ads [Ada] gtk-text_child.adb [Ada] glib-graphs.adb [Ada] glib-values.adb [Ada] fontconfig.adb [Ada] pango.ads [Ada] gtkada-abstract_tree_model.adb [Ada] gtkada-application.adb [Ada] gtk-marshallers.adb [Ada] gtkada-abstract_list_model.adb [Ada] gtk-tree_model-utils.adb [Ada] gdk-input.ads [Ada] gtkada-multi_paned.adb [Ada] glib-gslist.adb [Ada] gtk-rc.adb [Ada] pango-cairo.adb [Ada] glib-main.adb [Ada] gdk-types.ads [Ada] gdk-keyval.adb [Ada] glib-types.adb [Ada] gdk-property.adb [Ada] gtkada-printing.adb [Ada] glib-type_conversion_hooks.adb [Ada] cairo-scaled_font.ads [Ada] gtk-bindings.adb [Ada] gtkada-multiline_entry.adb [Ada] cairo-png.adb [Ada] gtkada-handlers.ads [Ada] glib-glist.adb [Ada] cairo-region.adb [Ada] glib-convert.adb [Ada] cairo-image_surface.adb [Ada] gtk-handlers.adb [Ada] gtkada-canvas_view-rtrees.adb [Ada] glib-generic_properties.adb [Ada] glib-properties.adb [Ada] gtkada-c.adb [Ada] gdk.ads [Ada] gtkada-canvas_view-links.adb [Ada] gtkada-canvas_view-objects.adb [Ada] gtk-type_conversion.adb [Ada] gtkada-canvas_view.adb [Ada] gdk-dnd.adb [Ada] gtkada-canvas_view-astar.adb [Ada] glib-graphs-layouts.adb [Ada] glib-module.adb [Ada] gtk-arguments.adb [Ada] gdk-window_attr.adb [Ada] gdk-cairo.adb [Ada] gdk-main.adb [Ada] glib.adb [Ada] cairo-pattern.ads [Ada] gdk-visual.adb [Ada] cairo-surface.adb [Ada] gtkada-builder.adb [Ada] gtk-dnd.adb [Ada] gtkada-mdi.adb [Ada] gtkada-pixmaps.ads [Ada] glib-object.adb [Ada] cairo-matrix.ads [Ada] glib-error.adb [Ada] gdk-color.adb [Ada] glib-properties-creation.adb [Ada] gdk-types-keysyms.ads [Ada] cairo-pdf.adb [Ada] glib-enums.ads [Ada] gtkada-stock_icons.ads [Ada] gtkada-dialogs.adb [Ada] gtk-tree_view.adb [Ada] gtk-editable.adb [Ada] gtk-im_multi_context.adb [Ada] pango-matrix.adb [Ada] gtk-cell_renderer_pixbuf.adb [Ada] gtk-text_child_anchor.adb [Ada] gtk-font_selection_dialog.adb [Ada] gdk-glcontext.adb [Ada] glib-list_model.adb [Ada] gtk-cell_renderer_text.adb [Ada] gtk-recent_manager.adb [Ada] glib-cancellable.adb [Ada] gtk-offscreen_window.adb [Ada] gtk-glarea.adb [Ada] gtk-print_operation.adb [Ada] gtk-button.adb [Ada] glib-menu.adb [Ada] pango-font_face.adb [Ada] gtk-text_view.adb [Ada] gtk-recent_chooser_dialog.adb [Ada] gtk-gesture_zoom.adb [Ada] gdk-screen.adb [Ada] gtk-radio_menu_item.adb [Ada] gtk-list_box_row.adb [Ada] gtk-gesture_long_press.adb [Ada] gtk-label.adb [Ada] gtk-action.adb [Ada] gtk-entry_completion.adb [Ada] gtk-scrollable.adb [Ada] gtk-menu_bar.adb [Ada] gdk-device_manager.adb [Ada] gtk-accel_group.adb [Ada] pango-attributes.adb [Ada] gtk-style.adb [Ada] gtk-tree_model_sort.adb [Ada] gtk-gesture_pan.adb [Ada] gtk-paned.adb [Ada] gtk-recent_chooser_menu.adb [Ada] gtk-box.adb [Ada] gtk-overlay.adb [Ada] gtk-frame.adb [Ada] gtk-style_context.adb [Ada] gtk-cell_renderer_toggle.adb [Ada] gtk-color_chooser_dialog.adb [Ada] gtk-level_bar.adb [Ada] gtk-tooltip.adb [Ada] gtk-hbutton_box.adb [Ada] gdk-frame_timings.adb [Ada] gtk-scrollbar.adb [Ada] gtk-paper_size.adb [Ada] gtk-container.adb [Ada] gtk-hsv.adb [Ada] gtk-widget.adb [Ada] pango-font_family.adb [Ada] gtk-action_group.adb [Ada] gtk-text_iter.adb [Ada] gtk-tool_button.adb [Ada] gtk-menu_button.adb [Ada] gtk-tool_palette.adb [Ada] gdk-event.adb [Ada] gtk-layout.adb [Ada] gtk-revealer.adb [Ada] gtk-stack.adb [Ada] gtk-dialog.adb [Ada] gtk-vbutton_box.adb [Ada] gtk-table.adb [Ada] gtk-arrow.adb [Ada] gtk-accel_label.adb [Ada] gdk-window.adb [Ada] gtk-status_icon.adb [Ada] gtk-tool_shell.adb [Ada] glib-iochannel.adb [Ada] gtk-color_button.adb [Ada] gtk-info_bar.adb [Ada] glib-variant.adb [Ada] glib-application.adb [Ada] pango-enums.adb [Ada] gtk-activatable.adb [Ada] gtk-popover.adb [Ada] gtk-recent_chooser.adb [Ada] gtk-tree_model_filter.adb [Ada] gtk-cell_view.adb [Ada] gtk-event_box.adb [Ada] gtk-style_properties.adb [Ada] gtk-font_chooser_dialog.adb [Ada] gtk-window.adb [Ada] gtk-settings.adb [Ada] gtk-toolbar.adb [Ada] gtk-spinner.adb [Ada] gtk-style_provider.adb [Ada] gtk-grid.adb [Ada] gtk-css_section.adb [Ada] gtk-radio_action.adb [Ada] gtk-size_group.adb [Ada] gtk-assistant.adb [Ada] gtk-stack_switcher.adb [Ada] pango-font.adb [Ada] gtk-cell_renderer_spinner.adb [Ada] gtk-color_chooser.adb [Ada] gtk-recent_info.adb [Ada] gtk-main.adb [Ada] gtk-toggle_button.adb [Ada] gtk-handle_box.adb [Ada] gtk-icon_view.adb [Ada] gtk-clipboard.adb [Ada] gtk-aspect_frame.adb [Ada] glib-option.adb [Ada] glib-string.adb [Ada] gtk-cell_renderer_combo.adb [Ada] gtk-tree_row_reference.adb [Ada] gtk-print_context.adb [Ada] gtk-page_setup.adb [Ada] gtk-combo_box.adb [Ada] gtk-menu_item.adb [Ada] gtk-tool_item.adb [Ada] gtk-flow_box.adb [Ada] gtk-orientable.adb [Ada] gtk-image_menu_item.adb [Ada] gtk-print_settings.adb [Ada] gtk-volume_button.adb [Ada] gtk-header_bar.adb [Ada] gtk-tree_selection.adb [Ada] gtk-grange.adb [Ada] gtk-radio_tool_button.adb [Ada] gtk-cell_layout.adb [Ada] gtk-font_chooser_widget.adb [Ada] gtk-text_mark.adb [Ada] gtk-icon_theme.adb [Ada] gtk-toggle_action.adb [Ada] gtk-scale.adb [Ada] glib-action_map.adb [Ada] gtk-bin.adb [Ada] glib-simple_action.adb [Ada] gtk-buildable.adb [Ada] gtk-tree_model.adb [Ada] gtk-font_selection.adb [Ada] gtk-calendar.adb [Ada] gdk-seat.adb [Ada] pango-font_metrics.adb [Ada] gtk-tree_view_column.adb [Ada] gtk-adjustment.adb [Ada] gtk-file_chooser_widget.adb [Ada] gtk-tool_item_group.adb [Ada] gtk-gesture_rotate.adb [Ada] gtk-toggle_tool_button.adb [Ada] gdk-drawing_context.adb [Ada] gtk-file_chooser_button.adb [Ada] gtk-text_attributes.adb [Ada] gtk-expander.adb [Ada] gtk-switch.adb [Ada] gtk-gesture_drag.adb [Ada] gtk-menu_tool_button.adb [Ada] glib-action.adb [Ada] gtk-action_bar.adb [Ada] gtk-stock.adb [Ada] gtk-icon_set.adb [Ada] gtk-list_store.adb [Ada] gtk-cell_area_context.adb [Ada] gdk-display.adb [Ada] gtk-theming_engine.adb [Ada] gtk-selection_data.adb [Ada] gtk-file_chooser_dialog.adb [Ada] gtk-gesture_single.adb [Ada] gtk-gesture_swipe.adb [Ada] glib-action_group.adb [Ada] gtk-menu_shell.adb [Ada] gtk-cell_renderer_progress.adb [Ada] gtk-icon_factory.adb [Ada] gtk-recent_action.adb [Ada] gtk-scale_button.adb [Ada] gtk-text_tag.adb [Ada] gtk-drawing_area.adb [Ada] pango-layout.adb [Ada] gtk-target_list.adb [Ada] gtk-builder.adb [Ada] gtk-alignment.adb [Ada] glib-notification.adb [Ada] gtk-binding_set.adb [Ada] gtk-gesture.adb [Ada] glib-menu_model.adb [Ada] glib-utils.adb [Ada] gtk-viewport.adb [Ada] gtk-recent_filter.adb [Ada] gtk-list_box.adb [Ada] gtk-enums.adb [Ada] gtk-gradient.adb [Ada] gtk-cell_renderer_spin.adb [Ada] gtk-file_chooser.adb [Ada] gtk-tree_store.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] pango-fontset.adb [Ada] gtk-ui_manager.adb [Ada] gtk-tree_sortable.adb [Ada] gtk-menu.adb [Ada] gtk-combo_box_text.adb [Ada] pango-font_map.adb [Ada] gtk-invisible.adb [Ada] gtk-application_window.adb [Ada] gtk-link_button.adb [Ada] gtk-im_context_simple.adb [Ada] gdk-device.adb [Ada] gtk-radio_button.adb [Ada] gtk-status_bar.adb [Ada] gtk-check_menu_item.adb [Ada] gtk-cell_area_box.adb [Ada] gtk-message_dialog.adb [Ada] gtk-shortcuts_window.adb [Ada] gdk-drag_contexts.adb [Ada] gtk-im_context.adb [Ada] gtk-font_button.adb [Ada] gtk-fixed.adb [Ada] glib-simple_action_group.adb [Ada] gdk-frame_clock.adb [Ada] pango-context.adb [Ada] gtk-file_filter.adb [Ada] pango-coverage.adb [Ada] gtk-separator_tool_item.adb [Ada] gtk-notebook.adb [Ada] gtk-tree_drag_dest.adb [Ada] gtk-print_operation_preview.adb [Ada] gtk-target_entry.adb [Ada] gtk-cell_area.adb [Ada] gtk-cell_editable.adb [Ada] gtk-check_button.adb [Ada] gtk-search_entry.adb [Ada] glib-spawn.adb [Ada] gtk-symbolic_color.adb [Ada] gtk-css_provider.adb [Ada] glib-poll.adb [Ada] gtk-text_buffer.adb [Ada] gtk-cell_renderer_accel.adb [Ada] gtk-about_dialog.adb [Ada] gdk-device_tool.adb [Ada] pango-language.adb [Ada] gtk-image.adb [Ada] gtk-color_selection_dialog.adb [Ada] gtk-separator.adb [Ada] gtk-scrolled_window.adb [Ada] gtk-spin_button.adb [Ada] gtk-misc.adb [Ada] gtk-flow_box_child.adb [Ada] gtk-separator_menu_item.adb [Ada] gtk-tearoff_menu_item.adb [Ada] glib-g_icon.adb [Ada] gtk-tree_drag_source.adb [Ada] pango-tabs.adb [Ada] gtk-search_bar.adb [Ada] gtk-button_box.adb [Ada] gtk-entry_buffer.adb [Ada] gdk-cursor.adb [Ada] gtk-application.adb [Ada] gtk-event_controller.adb [Ada] gtk-font_chooser.adb [Ada] gtk-gesture_multi_press.adb [Ada] gtk-progress_bar.adb [Ada] gtk-gentry.adb [Ada] gtk-color_chooser_widget.adb [Ada] gtk-icon_source.adb [Ada] gdk-monitor.adb [Ada] gtk-cell_renderer.adb [Ada] gtk-recent_chooser_widget.adb [Ada] gtk-color_selection.adb [Ada] gtk-actionable.adb [Ada] gtk-text_tag_table.adb [Ada] gdk-rgba.adb [Ada] gtk-accel_map.adb [Ada] aadl_parsers.adb [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] caches.adb [Ada] objects.adb [Ada] objects-extended.adb [Ada] sets.adb [Ada] buffers.adb [Ada] queueing_systems.adb [Ada] aadl_config.ads [Ada] aadl_parser_interface.adb [Ada] address_spaces.adb [Ada] core_units.adb [Ada] doubles.ads [Ada] memories.adb [Ada] offsets.adb [Ada] parameters.adb [Ada] resources.adb [Ada] task_dependencies.adb [Ada] tasks.adb [Ada] time_unit_events.adb [Ada] integer_util.adb [Ada] scheduler_interface-extended.adb [Ada] mils_security.adb [Ada] cfg_edges.adb [Ada] integer_arrays.adb [Ada] tables.adb [Ada] cfg_nodes.adb [Ada] cfg_nodes-extended.adb [Ada] natural_util.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] cfgs.adb [Ada] primitive_xml_strings.adb [Ada] convert_strings.adb [Ada] convert_unbounded_strings.adb [Ada] standards_io.ads [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] event_analyzers-extended.adb [Ada] messages.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] indexed_tables.adb [Ada] networks.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 [Ada] statements.adb scheduling_anomalies_services-online.adb:226:12: warning: unreachable code [enabled by default] [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] strings.adb [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] 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] feasibility_test-worst_case_blocking_time.adb [Ada] priority_assignment-ceiling_priority.adb [Ada] scheduling_analysis-extended-resource_analysis.adb [Ada] mils_analysis.adb [Ada] boolean_util.adb [Ada] real_util.adb [Ada] laws.adb [Ada] qs_tools.adb [Ada] simulations.adb [Ada] simulations-extended.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] 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] 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-wizard_callbacks.adb [Ada] graphical_editor-generic_package_widget.adb [Ada] graphical_editor-user_message_callbacks.adb [Ada] graphical_editor-select_time_line-callbacks.adb [Ada] statements-extended.adb [Ada] scheduler_dfa.adb [Ada] automaton.adb [Ada] automaton-extended.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-analysis_on_event_table_callbacks.adb [Ada] graphical_editor-generic_callbacks.adb [Ada] graphical_editor-convert_text.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 [index] libocarina.a [archive] libgtkada.a [gprlib] ocarina-dumper.lexch [gprlib] ocarina-checker.lexch [archive] libocarina-dumper.a [gprlib] ocarina-generators.lexch [archive] libocarina-checker.a [index] libocarina-dumper.a [archive] libocarina-aadl.a [index] libocarina-checker.a [index] libocarina-aadl.a [gprlib] ocarina-pn.lexch [gprlib] ocarina-gaia.lexch [archive] libocarina-pn.a [gprlib] ocarina-config.lexch [index] libocarina-pn.a [archive] libocarina-gaia.a [index] libocarina-gaia.a [archive] libocarina-generators.a [index] libocarina-generators.a [gprlib] xmlada_unicode.lexch [gprlib] xmlada_input_sources.lexch [archive] libocarina-config.a [index] libocarina-config.a [archive] libxmlada_unicode.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] libxmlada_dom.a [archive] libxmlada_schema.a [index] libxmlada_schema.a [index] libgtkada.a Bind [gprbind] cheddar.bexch [Ada] cheddar.ali Link [link] cheddar.adb Success: Build finished successfully in 280.60 seconds. Found declared GPR file: gpr/cheddar.gpr [alr test] Test completed SUCCESSFULLY