Test ran at 2025-07-12 01:00:37.332426+00:00 SOLUTION: matreshka_amf_ocl=21.0.0: The UML OCL for AMF Origin: commit aedf6e4d7d264c66156294e3cb10938ed17e14c8 from https://github.com/reznikmm/matreshka-alire Properties: Author: Vadim Godunko Description: The UML OCL for AMF License: BSD-3-Clause Maintainer: Vadim Godunko Maintainer: Maxim Reznik Maintainers_Logins: godunko Maintainers_Logins: reznikmm Name: matreshka_amf_ocl Project_File: build_matreshka_amf_ocl.gpr Tag: uml Tag: meta Tag: diagram Tag: ocl Version: 21.0.0 Website: https://github.com/godunko/matreshka Dependencies (direct): matreshka_amf_uml21.0.0 matreshka_league21.0.0 Dependencies (solution): gnat=13.2.2 (gnat_native) make=4.4.1 matreshka_amf=21.0.0 matreshka_amf_dd=21.0.0 matreshka_amf_uml=21.0.0 matreshka_league=21.0.0 matreshka_xml=21.0.0 Dependencies (graph): matreshka_amf=21.0.0 --> matreshka_league=21.0.0 (21.0.0) matreshka_amf=21.0.0 --> matreshka_xml=21.0.0 (21.0.0) matreshka_amf_dd=21.0.0 --> matreshka_amf=21.0.0 (21.0.0) matreshka_amf_dd=21.0.0 --> matreshka_league=21.0.0 (21.0.0) matreshka_amf_ocl=21.0.0 --> matreshka_amf_uml=21.0.0 (21.0.0) matreshka_amf_ocl=21.0.0 --> matreshka_league=21.0.0 (21.0.0) matreshka_amf_uml=21.0.0 --> matreshka_amf_dd=21.0.0 (21.0.0) matreshka_amf_uml=21.0.0 --> matreshka_league=21.0.0 (21.0.0) matreshka_league=21.0.0 --> gnat=13.2.2 (gnat_native) (<2000) matreshka_league=21.0.0 --> make=4.4.1 (*) matreshka_xml=21.0.0 --> matreshka_league=21.0.0 (21.0.0) LOG: Spawning: alr -d -n get --build matreshka_amf_ocl=21.0.0 Note: Deploying matreshka_amf_ocl=21.0.0... Note: Building matreshka_amf_ocl=21.0.0/build_matreshka_amf_ocl.gpr... Setup [mkdir] object directory for project Matreshka_AMF_OCL Compile [Ada] amf-ocl-enum_literal_exps.ads [Ada] amf-ocl-loop_exps-hash.ads [Ada] amf-internals-ocl_collection_items.adb [Ada] amf-ocl-feature_call_exps-hash.ads [Ada] amf-internals-tables-ocl_reflection.adb [Ada] amf-ocl-collection_types-collections.ads amf-internals-ocl_collection_items.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_items.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_items.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_items.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_items.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_items.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_items.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_items.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_items.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_items.adb:329:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_collection_items.adb:343:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_collection_items.adb:359:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_collection_items.adb:373:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_collection_items.adb:387:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_collection_items.adb:401:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_collection_items.adb:415:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_collection_items.adb:429:36: warning: Must_Be_Owned unimplemented [enabled by default] [Ada] amf-ocl-variable_exps-hash.ads [Ada] amf-ocl-message_types-collections.ads [Ada] amf-ocl-collection_items-collections.ads [Ada] amf-internals-ocl_null_literal_exps.adb [Ada] amf-internals-ocl_message_exps.adb amf-internals-ocl_null_literal_exps.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_null_literal_exps.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_null_literal_exps.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_null_literal_exps.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_null_literal_exps.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_null_literal_exps.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_null_literal_exps.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_null_literal_exps.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_null_literal_exps.adb:299:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_null_literal_exps.adb:313:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_null_literal_exps.adb:329:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_null_literal_exps.adb:343:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_null_literal_exps.adb:357:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_null_literal_exps.adb:371:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_null_literal_exps.adb:385:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_null_literal_exps.adb:399:36: warning: Must_Be_Owned unimplemented [enabled by default] [Ada] amf-ocl-if_exps-collections.ads amf-internals-ocl_message_exps.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_exps.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_exps.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_exps.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_exps.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_exps.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_exps.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_exps.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_exps.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_exps.adb:59:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_exps.adb:60:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_exps.adb:404:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_message_exps.adb:418:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_message_exps.adb:434:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_message_exps.adb:448:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_message_exps.adb:462:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_message_exps.adb:476:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_message_exps.adb:490:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_message_exps.adb:504:36: warning: Must_Be_Owned unimplemented [enabled by default] [Ada] amf-ocl-template_parameter_types-hash.ads [Ada] amf-ocl-boolean_literal_exps.ads [Ada] amf-ocl-real_literal_exps-hash.ads [Ada] amf-ocl-numeric_literal_exps-collections.ads [Ada] amf-internals-ocl_set_types.adb [Ada] amf-ocl-variable_exps-collections.ads [Ada] amf-ocl-iterate_exps-hash.ads [Ada] amf-ocl-string_literal_exps-hash.ads [Ada] amf-ocl-template_parameter_types.ads amf-internals-ocl_set_types.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:59:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:60:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:61:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:62:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:63:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:64:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:65:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:66:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:67:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:68:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:69:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:70:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:71:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:72:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:73:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:74:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:75:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:76:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:77:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:78:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_set_types.adb:954:36: warning: Inherit unimplemented [enabled by default] amf-internals-ocl_set_types.adb:968:36: warning: All_Features unimplemented [enabled by default] amf-internals-ocl_set_types.adb:982:36: warning: All_Parents unimplemented [enabled by default] amf-internals-ocl_set_types.adb:997:36: warning: Conforms_To unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1011:36: warning: General unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1026:36: warning: Has_Visibility_Of unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1041:36: warning: Inheritable_Members unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1055:36: warning: Inherited_Member unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1069:36: warning: Is_Template unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1084:36: warning: May_Specialize_Type unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1098:36: warning: Parents unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1113:36: warning: Exclude_Collisions unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1128:36: warning: Get_Names_Of_Member unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1143:36: warning: Import_Members unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1157:36: warning: Imported_Member unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1171:36: warning: Members_Are_Distinguishable unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1185:36: warning: Owned_Member unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1199:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1213:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1229:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1243:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1257:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1271:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1285:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1299:36: warning: Must_Be_Owned unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1314:36: warning: Conforms_To unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1329:36: warning: Is_Compatible_With unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1343:36: warning: Is_Template_Parameter unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1357:36: warning: Parameterable_Elements unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1372:36: warning: Is_Consistent_With unimplemented [enabled by default] amf-internals-ocl_set_types.adb:1387:36: warning: Is_Redefinition_Context_Valid unimplemented [enabled by default] [Ada] amf-internals-ocl_real_literal_exps.adb [Ada] amf-ocl-template_parameter_types-collections.ads [Ada] amf-ocl-collection_ranges-collections.ads amf-internals-ocl_real_literal_exps.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_real_literal_exps.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_real_literal_exps.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_real_literal_exps.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_real_literal_exps.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_real_literal_exps.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_real_literal_exps.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_real_literal_exps.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_real_literal_exps.adb:324:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_real_literal_exps.adb:338:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_real_literal_exps.adb:354:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_real_literal_exps.adb:368:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_real_literal_exps.adb:382:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_real_literal_exps.adb:396:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_real_literal_exps.adb:410:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_real_literal_exps.adb:424:36: warning: Must_Be_Owned unimplemented [enabled by default] [Ada] amf-internals-tables-ocl_metamodel-objects.adb [Ada] amf-visitors-ocl_visitors.ads [Ada] amf-ocl-sequence_types.ads [Ada] amf-ocl-bag_types.ads [Ada] amf-internals-ocl_tuple_literal_parts.adb [Ada] amf-ocl-literal_exps-hash.ads [Ada] amf-ocl-numeric_literal_exps-hash.ads [Ada] amf-ocl-void_types-collections.ads [Ada] amf-ocl-any_types-collections.ads amf-internals-ocl_tuple_literal_parts.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_literal_parts.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_literal_parts.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_literal_parts.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_literal_parts.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_literal_parts.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_literal_parts.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_literal_parts.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_literal_parts.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_literal_parts.adb:329:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_tuple_literal_parts.adb:343:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_tuple_literal_parts.adb:359:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_tuple_literal_parts.adb:373:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_tuple_literal_parts.adb:387:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_tuple_literal_parts.adb:401:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_tuple_literal_parts.adb:415:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_tuple_literal_parts.adb:429:36: warning: Must_Be_Owned unimplemented [enabled by default] [Ada] amf-ocl-ordered_set_types-hash.ads [Ada] amf-ocl-tuple_types.ads [Ada] amf-ocl-message_exps-hash.ads [Ada] amf-ocl.ads [Ada] amf-ocl-invalid_literal_exps.ads [Ada] amf-ocl-tuple_types-hash.ads [Ada] amf-ocl-if_exps.ads [Ada] amf-ocl-any_types.ads [Ada] amf-internals-ocl_iterator_exps.adb [Ada] amf-internals-ocl_unlimited_natural_literal_exps.adb [Ada] amf-ocl-association_class_call_exps-hash.ads [Ada] amf-ocl-iterate_exps.ads [Ada] amf-internals-tables-ocl_types.ads [Ada] amf-ocl-expression_in_ocls-hash.ads amf-internals-ocl_unlimited_natural_literal_exps.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_unlimited_natural_literal_exps.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_unlimited_natural_literal_exps.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_unlimited_natural_literal_exps.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_unlimited_natural_literal_exps.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_unlimited_natural_literal_exps.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_unlimited_natural_literal_exps.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_unlimited_natural_literal_exps.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_unlimited_natural_literal_exps.adb:324:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_unlimited_natural_literal_exps.adb:338:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_unlimited_natural_literal_exps.adb:354:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_unlimited_natural_literal_exps.adb:368:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_unlimited_natural_literal_exps.adb:382:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_unlimited_natural_literal_exps.adb:396:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_unlimited_natural_literal_exps.adb:410:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_unlimited_natural_literal_exps.adb:424:36: warning: Must_Be_Owned unimplemented [enabled by default] [Ada] amf-internals-ocl_invalid_types.adb amf-internals-ocl_iterator_exps.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_iterator_exps.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_iterator_exps.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_iterator_exps.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_iterator_exps.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_iterator_exps.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_iterator_exps.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_iterator_exps.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_iterator_exps.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_iterator_exps.adb:59:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_iterator_exps.adb:374:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_iterator_exps.adb:388:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_iterator_exps.adb:404:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_iterator_exps.adb:418:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_iterator_exps.adb:432:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_iterator_exps.adb:446:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_iterator_exps.adb:460:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_iterator_exps.adb:474:36: warning: Must_Be_Owned unimplemented [enabled by default] [Ada] amf-ocl-navigation_call_exps.ads [Ada] amf-ocl-collection_ranges.ads [Ada] amf-internals-ocl_message_types.adb [Ada] amf-ocl-numeric_literal_exps.ads [Ada] amf-factories-ocl_factories.ads [Ada] amf-internals-ocl_invalid_literal_exps.adb amf-internals-ocl_invalid_types.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:59:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:60:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:61:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:62:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:63:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:64:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:65:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:66:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:67:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:68:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:69:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:70:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:71:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:72:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:73:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:74:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:75:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:76:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:77:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_types.adb:893:36: warning: All_Features unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:907:36: warning: All_Parents unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:922:36: warning: Conforms_To unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:936:36: warning: General unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:951:36: warning: Has_Visibility_Of unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:966:36: warning: Inherit unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:981:36: warning: Inheritable_Members unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:995:36: warning: Inherited_Member unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:1009:36: warning: Is_Template unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:1024:36: warning: May_Specialize_Type unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:1038:36: warning: Parents unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:1053:36: warning: Exclude_Collisions unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:1068:36: warning: Get_Names_Of_Member unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:1083:36: warning: Import_Members unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:1097:36: warning: Imported_Member unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:1111:36: warning: Members_Are_Distinguishable unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:1125:36: warning: Owned_Member unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:1139:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:1153:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:1169:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:1183:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:1197:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:1211:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:1225:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:1239:36: warning: Must_Be_Owned unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:1254:36: warning: Conforms_To unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:1269:36: warning: Is_Compatible_With unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:1283:36: warning: Is_Template_Parameter unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:1297:36: warning: Parameterable_Elements unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:1312:36: warning: Is_Consistent_With unimplemented [enabled by default] amf-internals-ocl_invalid_types.adb:1327:36: warning: Is_Redefinition_Context_Valid unimplemented [enabled by default] [Ada] amf-internals-ocl_elements.adb amf-internals-ocl_invalid_literal_exps.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_literal_exps.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_literal_exps.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_literal_exps.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_literal_exps.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_literal_exps.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_literal_exps.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_literal_exps.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_invalid_literal_exps.adb:299:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_invalid_literal_exps.adb:313:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_invalid_literal_exps.adb:329:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_invalid_literal_exps.adb:343:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_invalid_literal_exps.adb:357:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_invalid_literal_exps.adb:371:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_invalid_literal_exps.adb:385:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_invalid_literal_exps.adb:399:36: warning: Must_Be_Owned unimplemented [enabled by default] [Ada] amf-ocl-ocl_expressions-hash.ads amf-internals-ocl_message_types.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:59:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:60:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:61:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:62:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:63:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:64:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:65:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:66:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:67:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:68:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:69:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:70:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:71:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:72:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:73:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:74:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:75:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:76:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:77:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:78:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:79:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_message_types.adb:953:36: warning: All_Features unimplemented [enabled by default] amf-internals-ocl_message_types.adb:967:36: warning: All_Parents unimplemented [enabled by default] amf-internals-ocl_message_types.adb:982:36: warning: Conforms_To unimplemented [enabled by default] amf-internals-ocl_message_types.adb:996:36: warning: General unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1011:36: warning: Has_Visibility_Of unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1026:36: warning: Inherit unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1041:36: warning: Inheritable_Members unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1055:36: warning: Inherited_Member unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1069:36: warning: Is_Template unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1084:36: warning: May_Specialize_Type unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1098:36: warning: Parents unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1113:36: warning: Exclude_Collisions unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1128:36: warning: Get_Names_Of_Member unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1143:36: warning: Import_Members unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1157:36: warning: Imported_Member unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1171:36: warning: Members_Are_Distinguishable unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1185:36: warning: Owned_Member unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1199:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1213:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1229:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1243:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1257:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1271:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1285:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1299:36: warning: Must_Be_Owned unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1314:36: warning: Conforms_To unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1329:36: warning: Is_Compatible_With unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1343:36: warning: Is_Template_Parameter unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1357:36: warning: Parameterable_Elements unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1372:36: warning: Is_Consistent_With unimplemented [enabled by default] amf-internals-ocl_message_types.adb:1387:36: warning: Is_Redefinition_Context_Valid unimplemented [enabled by default] [Ada] amf-ocl-string_literal_exps.ads [Ada] amf-ocl-message_exps.ads [Ada] amf-internals-ocl_expression_in_ocls.adb [Ada] amf-ocl-call_exps-hash.ads [Ada] amf-internals-ocl_bag_types.adb [Ada] amf-internals-tables-ocl_attributes.adb amf-internals-ocl_expression_in_ocls.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_expression_in_ocls.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_expression_in_ocls.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_expression_in_ocls.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_expression_in_ocls.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_expression_in_ocls.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_expression_in_ocls.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_expression_in_ocls.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_expression_in_ocls.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_expression_in_ocls.adb:59:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_expression_in_ocls.adb:60:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_expression_in_ocls.adb:61:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_expression_in_ocls.adb:62:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_expression_in_ocls.adb:63:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_expression_in_ocls.adb:64:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_expression_in_ocls.adb:65:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_expression_in_ocls.adb:587:36: warning: Is_Integral unimplemented [enabled by default] amf-internals-ocl_expression_in_ocls.adb:601:36: warning: Is_Non_Negative unimplemented [enabled by default] amf-internals-ocl_expression_in_ocls.adb:615:36: warning: Is_Positive unimplemented [enabled by default] amf-internals-ocl_expression_in_ocls.adb:629:36: warning: Result unimplemented [enabled by default] amf-internals-ocl_expression_in_ocls.adb:643:36: warning: Value unimplemented [enabled by default] amf-internals-ocl_expression_in_ocls.adb:657:36: warning: Boolean_Value unimplemented [enabled by default] amf-internals-ocl_expression_in_ocls.adb:671:36: warning: Integer_Value unimplemented [enabled by default] amf-internals-ocl_expression_in_ocls.adb:686:36: warning: Is_Compatible_With unimplemented [enabled by default] amf-internals-ocl_expression_in_ocls.adb:700:36: warning: Is_Computable unimplemented [enabled by default] amf-internals-ocl_expression_in_ocls.adb:714:36: warning: Is_Null unimplemented [enabled by default] amf-internals-ocl_expression_in_ocls.adb:728:36: warning: Real_Value unimplemented [enabled by default] amf-internals-ocl_expression_in_ocls.adb:742:36: warning: String_Value unimplemented [enabled by default] amf-internals-ocl_expression_in_ocls.adb:756:36: warning: Unlimited_Value unimplemented [enabled by default] amf-internals-ocl_expression_in_ocls.adb:770:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_expression_in_ocls.adb:784:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_expression_in_ocls.adb:800:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_expression_in_ocls.adb:814:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_expression_in_ocls.adb:828:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_expression_in_ocls.adb:842:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_expression_in_ocls.adb:856:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_expression_in_ocls.adb:870:36: warning: Must_Be_Owned unimplemented [enabled by default] amf-internals-ocl_expression_in_ocls.adb:884:36: warning: Is_Template_Parameter unimplemented [enabled by default] [Ada] amf-ocl-sequence_types-collections.ads [Ada] amf-ocl-integer_literal_exps-collections.ads amf-internals-ocl_bag_types.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:59:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:60:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:61:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:62:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:63:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:64:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:65:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:66:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:67:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:68:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:69:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:70:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:71:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:72:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:73:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:74:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:75:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:76:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:77:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:78:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_bag_types.adb:954:36: warning: Inherit unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:968:36: warning: All_Features unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:982:36: warning: All_Parents unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:997:36: warning: Conforms_To unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1011:36: warning: General unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1026:36: warning: Has_Visibility_Of unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1041:36: warning: Inheritable_Members unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1055:36: warning: Inherited_Member unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1069:36: warning: Is_Template unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1084:36: warning: May_Specialize_Type unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1098:36: warning: Parents unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1113:36: warning: Exclude_Collisions unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1128:36: warning: Get_Names_Of_Member unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1143:36: warning: Import_Members unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1157:36: warning: Imported_Member unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1171:36: warning: Members_Are_Distinguishable unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1185:36: warning: Owned_Member unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1199:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1213:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1229:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1243:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1257:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1271:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1285:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1299:36: warning: Must_Be_Owned unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1314:36: warning: Conforms_To unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1329:36: warning: Is_Compatible_With unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1343:36: warning: Is_Template_Parameter unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1357:36: warning: Parameterable_Elements unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1372:36: warning: Is_Consistent_With unimplemented [enabled by default] amf-internals-ocl_bag_types.adb:1387:36: warning: Is_Redefinition_Context_Valid unimplemented [enabled by default] [Ada] amf-ocl-property_call_exps-hash.ads [Ada] amf-ocl-property_call_exps-collections.ads [Ada] amf-ocl-literal_exps.ads [Ada] amf-ocl-unspecified_value_exps-collections.ads [Ada] amf-internals-ocl_sequence_types.adb [Ada] amf-ocl-expression_in_ocls.ads [Ada] amf-ocl-operation_call_exps.ads [Ada] amf-internals-tables-ocl_metamodel.adb [Ada] amf-internals-ocl_any_types.adb [Ada] amf-ocl-invalid_literal_exps-collections.ads [Ada] amf-ocl-let_exps-hash.ads [Ada] amf-ocl-sequence_types-hash.ads amf-internals-ocl_sequence_types.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:59:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:60:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:61:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:62:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:63:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:64:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:65:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:66:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:67:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:68:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:69:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:70:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:71:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:72:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:73:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:74:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:75:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:76:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:77:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:78:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_sequence_types.adb:954:36: warning: Inherit unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:968:36: warning: All_Features unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:982:36: warning: All_Parents unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:997:36: warning: Conforms_To unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1011:36: warning: General unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1026:36: warning: Has_Visibility_Of unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1041:36: warning: Inheritable_Members unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1055:36: warning: Inherited_Member unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1069:36: warning: Is_Template unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1084:36: warning: May_Specialize_Type unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1098:36: warning: Parents unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1113:36: warning: Exclude_Collisions unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1128:36: warning: Get_Names_Of_Member unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1143:36: warning: Import_Members unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1157:36: warning: Imported_Member unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1171:36: warning: Members_Are_Distinguishable unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1185:36: warning: Owned_Member unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1199:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1213:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1229:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1243:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1257:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1271:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1285:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1299:36: warning: Must_Be_Owned unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1314:36: warning: Conforms_To unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1329:36: warning: Is_Compatible_With unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1343:36: warning: Is_Template_Parameter unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1357:36: warning: Parameterable_Elements unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1372:36: warning: Is_Consistent_With unimplemented [enabled by default] amf-internals-ocl_sequence_types.adb:1387:36: warning: Is_Redefinition_Context_Valid unimplemented [enabled by default] [Ada] amf-internals-ocl_boolean_literal_exps.adb [Ada] amf-ocl-tuple_literal_exps-hash.ads amf-internals-ocl_any_types.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:59:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:60:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:61:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:62:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:63:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:64:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:65:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:66:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:67:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:68:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:69:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:70:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:71:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:72:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:73:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:74:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:75:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:76:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:77:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_any_types.adb:893:36: warning: All_Features unimplemented [enabled by default] amf-internals-ocl_any_types.adb:907:36: warning: All_Parents unimplemented [enabled by default] amf-internals-ocl_any_types.adb:922:36: warning: Conforms_To unimplemented [enabled by default] amf-internals-ocl_any_types.adb:936:36: warning: General unimplemented [enabled by default] amf-internals-ocl_any_types.adb:951:36: warning: Has_Visibility_Of unimplemented [enabled by default] amf-internals-ocl_any_types.adb:966:36: warning: Inherit unimplemented [enabled by default] amf-internals-ocl_any_types.adb:981:36: warning: Inheritable_Members unimplemented [enabled by default] amf-internals-ocl_any_types.adb:995:36: warning: Inherited_Member unimplemented [enabled by default] amf-internals-ocl_any_types.adb:1009:36: warning: Is_Template unimplemented [enabled by default] amf-internals-ocl_any_types.adb:1024:36: warning: May_Specialize_Type unimplemented [enabled by default] amf-internals-ocl_any_types.adb:1038:36: warning: Parents unimplemented [enabled by default] amf-internals-ocl_any_types.adb:1053:36: warning: Exclude_Collisions unimplemented [enabled by default] amf-internals-ocl_any_types.adb:1068:36: warning: Get_Names_Of_Member unimplemented [enabled by default] amf-internals-ocl_any_types.adb:1083:36: warning: Import_Members unimplemented [enabled by default] amf-internals-ocl_any_types.adb:1097:36: warning: Imported_Member unimplemented [enabled by default] amf-internals-ocl_any_types.adb:1111:36: warning: Members_Are_Distinguishable unimplemented [enabled by default] amf-internals-ocl_any_types.adb:1125:36: warning: Owned_Member unimplemented [enabled by default] amf-internals-ocl_any_types.adb:1139:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_any_types.adb:1153:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_any_types.adb:1169:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_any_types.adb:1183:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_any_types.adb:1197:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_any_types.adb:1211:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_any_types.adb:1225:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_any_types.adb:1239:36: warning: Must_Be_Owned unimplemented [enabled by default] amf-internals-ocl_any_types.adb:1254:36: warning: Conforms_To unimplemented [enabled by default] amf-internals-ocl_any_types.adb:1269:36: warning: Is_Compatible_With unimplemented [enabled by default] amf-internals-ocl_any_types.adb:1283:36: warning: Is_Template_Parameter unimplemented [enabled by default] amf-internals-ocl_any_types.adb:1297:36: warning: Parameterable_Elements unimplemented [enabled by default] amf-internals-ocl_any_types.adb:1312:36: warning: Is_Consistent_With unimplemented [enabled by default] amf-internals-ocl_any_types.adb:1327:36: warning: Is_Redefinition_Context_Valid unimplemented [enabled by default] [Ada] amf-internals-tables-ocl_metamodel-properties.adb [Ada] amf-ocl-operation_call_exps-collections.ads [Ada] amf-ocl-navigation_call_exps-collections.ads amf-internals-ocl_boolean_literal_exps.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_boolean_literal_exps.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_boolean_literal_exps.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_boolean_literal_exps.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_boolean_literal_exps.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_boolean_literal_exps.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_boolean_literal_exps.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_boolean_literal_exps.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_boolean_literal_exps.adb:324:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_boolean_literal_exps.adb:338:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_boolean_literal_exps.adb:354:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_boolean_literal_exps.adb:368:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_boolean_literal_exps.adb:382:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_boolean_literal_exps.adb:396:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_boolean_literal_exps.adb:410:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_boolean_literal_exps.adb:424:36: warning: Must_Be_Owned unimplemented [enabled by default] [Ada] amf-internals-ocl_association_class_call_exps.adb [Ada] amf-ocl-loop_exps.ads [Ada] amf-ocl-unlimited_natural_literal_exps.ads [Ada] amf-ocl-variables-hash.ads [Ada] amf-ocl-collection_ranges-hash.ads [Ada] amf-internals-ocl_ordered_set_types.adb [Ada] amf-ocl-invalid_literal_exps-hash.ads [Ada] amf-ocl-iterate_exps-collections.ads amf-internals-ocl_association_class_call_exps.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_association_class_call_exps.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_association_class_call_exps.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_association_class_call_exps.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_association_class_call_exps.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_association_class_call_exps.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_association_class_call_exps.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_association_class_call_exps.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_association_class_call_exps.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_association_class_call_exps.adb:59:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_association_class_call_exps.adb:60:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_association_class_call_exps.adb:404:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_association_class_call_exps.adb:418:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_association_class_call_exps.adb:434:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_association_class_call_exps.adb:448:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_association_class_call_exps.adb:462:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_association_class_call_exps.adb:476:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_association_class_call_exps.adb:490:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_association_class_call_exps.adb:504:36: warning: Must_Be_Owned unimplemented [enabled by default] [Ada] amf-ocl-set_types.ads [Ada] amf-ocl-unlimited_natural_exps-collections.ads [Ada] amf-internals-ocl_variable_exps.adb [Ada] amf-ocl-association_class_call_exps-collections.ads amf-internals-ocl_ordered_set_types.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:59:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:60:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:61:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:62:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:63:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:64:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:65:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:66:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:67:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:68:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:69:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:70:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:71:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:72:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:73:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:74:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:75:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:76:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:77:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:78:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_ordered_set_types.adb:954:36: warning: Inherit unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:968:36: warning: All_Features unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:982:36: warning: All_Parents unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:997:36: warning: Conforms_To unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1011:36: warning: General unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1026:36: warning: Has_Visibility_Of unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1041:36: warning: Inheritable_Members unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1055:36: warning: Inherited_Member unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1069:36: warning: Is_Template unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1084:36: warning: May_Specialize_Type unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1098:36: warning: Parents unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1113:36: warning: Exclude_Collisions unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1128:36: warning: Get_Names_Of_Member unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1143:36: warning: Import_Members unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1157:36: warning: Imported_Member unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1171:36: warning: Members_Are_Distinguishable unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1185:36: warning: Owned_Member unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1199:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1213:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1229:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1243:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1257:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1271:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1285:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1299:36: warning: Must_Be_Owned unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1314:36: warning: Conforms_To unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1329:36: warning: Is_Compatible_With unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1343:36: warning: Is_Template_Parameter unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1357:36: warning: Parameterable_Elements unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1372:36: warning: Is_Consistent_With unimplemented [enabled by default] amf-internals-ocl_ordered_set_types.adb:1387:36: warning: Is_Redefinition_Context_Valid unimplemented [enabled by default] [Ada] amf-ocl-iterator_exps-hash.ads [Ada] amf-ocl-collection_literal_parts-collections.ads amf-internals-ocl_variable_exps.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_variable_exps.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_variable_exps.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_variable_exps.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_variable_exps.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_variable_exps.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_variable_exps.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_variable_exps.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_variable_exps.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_variable_exps.adb:329:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_variable_exps.adb:343:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_variable_exps.adb:359:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_variable_exps.adb:373:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_variable_exps.adb:387:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_variable_exps.adb:401:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_variable_exps.adb:415:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_variable_exps.adb:429:36: warning: Must_Be_Owned unimplemented [enabled by default] [Ada] amf-ocl-collection_items.ads [Ada] amf-internals-ocl_iterate_exps.adb [Ada] amf-ocl-collection_literal_exps-collections.ads [Ada] amf-ocl-feature_call_exps.ads [Ada] amf-ocl-holders.adb [Ada] amf-ocl-association_class_call_exps.ads [Ada] amf-ocl-unspecified_value_exps.ads [Ada] amf-internals-ocl_type_exps.adb amf-internals-ocl_iterate_exps.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_iterate_exps.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_iterate_exps.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_iterate_exps.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_iterate_exps.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_iterate_exps.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_iterate_exps.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_iterate_exps.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_iterate_exps.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_iterate_exps.adb:59:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_iterate_exps.adb:404:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_iterate_exps.adb:418:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_iterate_exps.adb:434:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_iterate_exps.adb:448:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_iterate_exps.adb:462:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_iterate_exps.adb:476:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_iterate_exps.adb:490:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_iterate_exps.adb:504:36: warning: Must_Be_Owned unimplemented [enabled by default] [Ada] amf-ocl-tuple_literal_parts.ads [Ada] amf-ocl-invalid_types-collections.ads [Ada] amf-ocl-call_exps-collections.ads [Ada] amf-ocl-let_exps-collections.ads [Ada] amf-ocl-enum_literal_exps-hash.ads amf-internals-ocl_type_exps.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_type_exps.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_type_exps.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_type_exps.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_type_exps.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_type_exps.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_type_exps.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_type_exps.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_type_exps.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_type_exps.adb:329:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_type_exps.adb:343:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_type_exps.adb:359:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_type_exps.adb:373:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_type_exps.adb:387:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_type_exps.adb:401:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_type_exps.adb:415:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_type_exps.adb:429:36: warning: Must_Be_Owned unimplemented [enabled by default] [Ada] amf-ocl-loop_exps-collections.ads [Ada] amf-ocl-holders-collection_kinds.ads [Ada] amf-ocl-tuple_types-collections.ads [Ada] amf-ocl-void_types.ads [Ada] amf-ocl-call_exps.ads [Ada] amf-ocl-integer_literal_exps-hash.ads [Ada] amf-ocl-null_literal_exps-hash.ads [Ada] amf-internals-modules-ocl_module.adb [Ada] amf-ocl-iterator_exps.ads [Ada] amf-internals-ocl_template_parameter_types.adb [Ada] amf-ocl-state_exps-hash.ads [Ada] amf-ocl-boolean_literal_exps-collections.ads [Ada] amf-ocl-type_exps-collections.ads [Ada] amf-ocl-real_literal_exps.ads [Ada] amf-ocl-invalid_types.ads [Ada] amf-ocl-primitive_literal_exps.ads [Ada] amf-ocl-invalid_types-hash.ads [Ada] amf-ocl-state_exps-collections.ads [Ada] amf-ocl-any_types-hash.ads amf-internals-ocl_template_parameter_types.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:59:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:60:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:61:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:62:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:63:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:64:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:65:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:66:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:67:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:68:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:69:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:70:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:71:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:72:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:73:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:74:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:75:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:76:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:77:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_template_parameter_types.adb:936:36: warning: All_Features unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:950:36: warning: All_Parents unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:965:36: warning: Conforms_To unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:979:36: warning: General unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:994:36: warning: Has_Visibility_Of unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:1009:36: warning: Inherit unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:1024:36: warning: Inheritable_Members unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:1038:36: warning: Inherited_Member unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:1052:36: warning: Is_Template unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:1067:36: warning: May_Specialize_Type unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:1081:36: warning: Parents unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:1096:36: warning: Exclude_Collisions unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:1111:36: warning: Get_Names_Of_Member unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:1126:36: warning: Import_Members unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:1140:36: warning: Imported_Member unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:1154:36: warning: Members_Are_Distinguishable unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:1168:36: warning: Owned_Member unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:1182:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:1196:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:1212:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:1226:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:1240:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:1254:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:1268:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:1282:36: warning: Must_Be_Owned unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:1297:36: warning: Conforms_To unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:1312:36: warning: Is_Compatible_With unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:1326:36: warning: Is_Template_Parameter unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:1340:36: warning: Parameterable_Elements unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:1355:36: warning: Is_Consistent_With unimplemented [enabled by default] amf-internals-ocl_template_parameter_types.adb:1370:36: warning: Is_Redefinition_Context_Valid unimplemented [enabled by default] [Ada] amf-internals-ocl_variables.adb [Ada] amf-ocl-unlimited_natural_exps.ads [Ada] amf-ocl-unlimited_natural_literal_exps-collections.ads [Ada] amf-ocl-collection_items-hash.ads [Ada] amf-ocl-real_literal_exps-collections.ads amf-internals-ocl_variables.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_variables.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_variables.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_variables.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_variables.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_variables.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_variables.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_variables.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_variables.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_variables.adb:59:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_variables.adb:359:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_variables.adb:373:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_variables.adb:389:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_variables.adb:403:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_variables.adb:417:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_variables.adb:431:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_variables.adb:445:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_variables.adb:459:36: warning: Must_Be_Owned unimplemented [enabled by default] [Ada] amf-ocl-primitive_literal_exps-collections.ads [Ada] amf-ocl-tuple_literal_parts-hash.ads [Ada] amf-ocl-state_exps.ads [Ada] amf-internals-tables-ocl_string_data_00.ads [Ada] amf-ocl-string_literal_exps-collections.ads [Ada] amf-internals-tables-ocl_notification.adb [Ada] amf-ocl-tuple_literal_exps.ads [Ada] amf-internals-ocl_property_call_exps.adb [Ada] amf-ocl-collection_types.ads [Ada] amf-internals-ocl_unspecified_value_exps.adb [Ada] amf-ocl-let_exps.ads [Ada] amf-ocl-unspecified_value_exps-hash.ads [Ada] amf-ocl-ocl_expressions-collections.ads amf-internals-ocl_property_call_exps.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_property_call_exps.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_property_call_exps.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_property_call_exps.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_property_call_exps.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_property_call_exps.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_property_call_exps.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_property_call_exps.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_property_call_exps.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_property_call_exps.adb:59:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_property_call_exps.adb:403:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_property_call_exps.adb:417:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_property_call_exps.adb:433:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_property_call_exps.adb:447:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_property_call_exps.adb:461:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_property_call_exps.adb:475:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_property_call_exps.adb:489:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_property_call_exps.adb:503:36: warning: Must_Be_Owned unimplemented [enabled by default] [Ada] amf-ocl-if_exps-hash.ads amf-internals-ocl_unspecified_value_exps.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_unspecified_value_exps.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_unspecified_value_exps.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_unspecified_value_exps.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_unspecified_value_exps.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_unspecified_value_exps.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_unspecified_value_exps.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_unspecified_value_exps.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_unspecified_value_exps.adb:299:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_unspecified_value_exps.adb:313:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_unspecified_value_exps.adb:329:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_unspecified_value_exps.adb:343:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_unspecified_value_exps.adb:357:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_unspecified_value_exps.adb:371:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_unspecified_value_exps.adb:385:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_unspecified_value_exps.adb:399:36: warning: Must_Be_Owned unimplemented [enabled by default] [Ada] amf-ocl-expression_in_ocls-collections.ads [Ada] amf-internals-ocl_enum_literal_exps.adb [Ada] amf-internals-factories-ocl_module_factory.adb [Ada] amf-ocl-null_literal_exps.ads [Ada] amf-ocl-integer_literal_exps.ads [Ada] amf-ocl-navigation_call_exps-hash.ads [Ada] amf-internals-tables-ocl_metamodel-links.adb amf-internals-ocl_enum_literal_exps.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_enum_literal_exps.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_enum_literal_exps.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_enum_literal_exps.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_enum_literal_exps.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_enum_literal_exps.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_enum_literal_exps.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_enum_literal_exps.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_enum_literal_exps.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_enum_literal_exps.adb:329:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_enum_literal_exps.adb:343:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_enum_literal_exps.adb:359:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_enum_literal_exps.adb:373:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_enum_literal_exps.adb:387:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_enum_literal_exps.adb:401:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_enum_literal_exps.adb:415:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_enum_literal_exps.adb:429:36: warning: Must_Be_Owned unimplemented [enabled by default] [Ada] amf-ocl-tuple_literal_exps-collections.ads [Ada] amf-ocl-property_call_exps.ads [Ada] amf-ocl-collection_literal_parts-hash.ads [Ada] amf-ocl-collection_literal_parts.ads [Ada] amf-ocl-null_literal_exps-collections.ads [Ada] amf-internals-ocl_tuple_literal_exps.adb [Ada] amf-ocl-opaque_expressions-collections.ads amf-internals-ocl_tuple_literal_exps.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_literal_exps.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_literal_exps.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_literal_exps.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_literal_exps.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_literal_exps.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_literal_exps.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_literal_exps.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_literal_exps.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_literal_exps.adb:315:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_tuple_literal_exps.adb:329:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_tuple_literal_exps.adb:345:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_tuple_literal_exps.adb:359:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_tuple_literal_exps.adb:373:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_tuple_literal_exps.adb:387:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_tuple_literal_exps.adb:401:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_tuple_literal_exps.adb:415:36: warning: Must_Be_Owned unimplemented [enabled by default] [Ada] amf-ocl-collection_types-hash.ads [Ada] amf-ocl-primitive_literal_exps-hash.ads [Ada] amf-internals-ocl_integer_literal_exps.adb [Ada] amf-ocl-boolean_literal_exps-hash.ads [Ada] amf-internals-tables-ocl_element_table.ads [Ada] amf-ocl-message_exps-collections.ads [Ada] amf-internals-tables-ocl_attribute_mappings.ads [Ada] amf-ocl-iterator_exps-collections.ads amf-internals-ocl_integer_literal_exps.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_integer_literal_exps.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_integer_literal_exps.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_integer_literal_exps.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_integer_literal_exps.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_integer_literal_exps.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_integer_literal_exps.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_integer_literal_exps.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_integer_literal_exps.adb:324:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_integer_literal_exps.adb:338:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_integer_literal_exps.adb:354:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_integer_literal_exps.adb:368:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_integer_literal_exps.adb:382:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_integer_literal_exps.adb:396:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_integer_literal_exps.adb:410:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_integer_literal_exps.adb:424:36: warning: Must_Be_Owned unimplemented [enabled by default] [Ada] amf-ocl-message_types-hash.ads [Ada] amf-internals-ocl_void_types.adb [Ada] amf-internals-ocl_let_exps.adb [Ada] amf-ocl-unlimited_natural_literal_exps-hash.ads [Ada] amf-internals-factories-ocl_factories.adb amf-internals-ocl_let_exps.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_let_exps.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_let_exps.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_let_exps.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_let_exps.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_let_exps.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_let_exps.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_let_exps.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_let_exps.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_let_exps.adb:59:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_let_exps.adb:359:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_let_exps.adb:373:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_let_exps.adb:389:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_let_exps.adb:403:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_let_exps.adb:417:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_let_exps.adb:431:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_let_exps.adb:445:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_let_exps.adb:459:36: warning: Must_Be_Owned unimplemented [enabled by default] [Ada] amf-ocl-variables-collections.ads [Ada] amf-internals-ocl_collection_types.adb amf-internals-ocl_void_types.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:59:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:60:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:61:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:62:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:63:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:64:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:65:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:66:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:67:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:68:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:69:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:70:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:71:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:72:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:73:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:74:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:75:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:76:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:77:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_void_types.adb:893:36: warning: All_Features unimplemented [enabled by default] amf-internals-ocl_void_types.adb:907:36: warning: All_Parents unimplemented [enabled by default] amf-internals-ocl_void_types.adb:922:36: warning: Conforms_To unimplemented [enabled by default] amf-internals-ocl_void_types.adb:936:36: warning: General unimplemented [enabled by default] amf-internals-ocl_void_types.adb:951:36: warning: Has_Visibility_Of unimplemented [enabled by default] amf-internals-ocl_void_types.adb:966:36: warning: Inherit unimplemented [enabled by default] amf-internals-ocl_void_types.adb:981:36: warning: Inheritable_Members unimplemented [enabled by default] amf-internals-ocl_void_types.adb:995:36: warning: Inherited_Member unimplemented [enabled by default] amf-internals-ocl_void_types.adb:1009:36: warning: Is_Template unimplemented [enabled by default] amf-internals-ocl_void_types.adb:1024:36: warning: May_Specialize_Type unimplemented [enabled by default] amf-internals-ocl_void_types.adb:1038:36: warning: Parents unimplemented [enabled by default] amf-internals-ocl_void_types.adb:1053:36: warning: Exclude_Collisions unimplemented [enabled by default] amf-internals-ocl_void_types.adb:1068:36: warning: Get_Names_Of_Member unimplemented [enabled by default] amf-internals-ocl_void_types.adb:1083:36: warning: Import_Members unimplemented [enabled by default] amf-internals-ocl_void_types.adb:1097:36: warning: Imported_Member unimplemented [enabled by default] amf-internals-ocl_void_types.adb:1111:36: warning: Members_Are_Distinguishable unimplemented [enabled by default] amf-internals-ocl_void_types.adb:1125:36: warning: Owned_Member unimplemented [enabled by default] amf-internals-ocl_void_types.adb:1139:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_void_types.adb:1153:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_void_types.adb:1169:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_void_types.adb:1183:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_void_types.adb:1197:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_void_types.adb:1211:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_void_types.adb:1225:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_void_types.adb:1239:36: warning: Must_Be_Owned unimplemented [enabled by default] amf-internals-ocl_void_types.adb:1254:36: warning: Conforms_To unimplemented [enabled by default] amf-internals-ocl_void_types.adb:1269:36: warning: Is_Compatible_With unimplemented [enabled by default] amf-internals-ocl_void_types.adb:1283:36: warning: Is_Template_Parameter unimplemented [enabled by default] amf-internals-ocl_void_types.adb:1297:36: warning: Parameterable_Elements unimplemented [enabled by default] amf-internals-ocl_void_types.adb:1312:36: warning: Is_Consistent_With unimplemented [enabled by default] amf-internals-ocl_void_types.adb:1327:36: warning: Is_Redefinition_Context_Valid unimplemented [enabled by default] [Ada] amf-internals-ocl_tuple_types.adb [Ada] amf-ocl-bag_types-hash.ads [Ada] amf-ocl-set_types-hash.ads [Ada] amf-ocl-ordered_set_types.ads [Ada] amf-ocl-variable_exps.ads [Ada] amf-ocl-ordered_set_types-collections.ads amf-internals-ocl_tuple_types.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:59:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:60:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:61:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:62:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:63:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:64:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:65:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:66:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:67:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:68:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:69:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:70:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:71:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:72:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:73:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:74:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:75:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:76:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:77:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:78:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_tuple_types.adb:925:36: warning: Inherit unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:939:36: warning: All_Features unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:953:36: warning: All_Parents unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:968:36: warning: Conforms_To unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:982:36: warning: General unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:997:36: warning: Has_Visibility_Of unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:1012:36: warning: Inheritable_Members unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:1026:36: warning: Inherited_Member unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:1040:36: warning: Is_Template unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:1055:36: warning: May_Specialize_Type unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:1069:36: warning: Parents unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:1084:36: warning: Exclude_Collisions unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:1099:36: warning: Get_Names_Of_Member unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:1114:36: warning: Import_Members unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:1128:36: warning: Imported_Member unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:1142:36: warning: Members_Are_Distinguishable unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:1156:36: warning: Owned_Member unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:1170:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:1184:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:1200:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:1214:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:1228:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:1242:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:1256:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:1270:36: warning: Must_Be_Owned unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:1285:36: warning: Conforms_To unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:1300:36: warning: Is_Compatible_With unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:1314:36: warning: Is_Template_Parameter unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:1328:36: warning: Parameterable_Elements unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:1343:36: warning: Is_Consistent_With unimplemented [enabled by default] amf-internals-ocl_tuple_types.adb:1358:36: warning: Is_Redefinition_Context_Valid unimplemented [enabled by default] [Ada] amf-internals-tables-ocl_constructors.adb amf-internals-ocl_collection_types.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:59:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:60:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:61:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:62:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:63:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:64:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:65:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:66:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:67:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:68:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:69:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:70:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:71:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:72:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:73:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:74:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:75:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:76:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:77:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:78:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_types.adb:954:36: warning: Inherit unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:968:36: warning: All_Features unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:982:36: warning: All_Parents unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:997:36: warning: Conforms_To unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1011:36: warning: General unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1026:36: warning: Has_Visibility_Of unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1041:36: warning: Inheritable_Members unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1055:36: warning: Inherited_Member unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1069:36: warning: Is_Template unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1084:36: warning: May_Specialize_Type unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1098:36: warning: Parents unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1113:36: warning: Exclude_Collisions unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1128:36: warning: Get_Names_Of_Member unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1143:36: warning: Import_Members unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1157:36: warning: Imported_Member unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1171:36: warning: Members_Are_Distinguishable unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1185:36: warning: Owned_Member unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1199:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1213:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1229:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1243:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1257:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1271:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1285:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1299:36: warning: Must_Be_Owned unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1314:36: warning: Conforms_To unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1329:36: warning: Is_Compatible_With unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1343:36: warning: Is_Template_Parameter unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1357:36: warning: Parameterable_Elements unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1372:36: warning: Is_Consistent_With unimplemented [enabled by default] amf-internals-ocl_collection_types.adb:1387:36: warning: Is_Redefinition_Context_Valid unimplemented [enabled by default] [Ada] amf-ocl-type_exps.ads [Ada] amf-internals-ocl_string_literal_exps.adb [Ada] amf-ocl-collection_literal_exps.ads [Ada] amf-ocl-collection_literal_exps-hash.ads [Ada] amf-ocl-enum_literal_exps-collections.ads amf-internals-ocl_string_literal_exps.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_string_literal_exps.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_string_literal_exps.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_string_literal_exps.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_string_literal_exps.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_string_literal_exps.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_string_literal_exps.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_string_literal_exps.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_string_literal_exps.adb:326:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_string_literal_exps.adb:340:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_string_literal_exps.adb:356:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_string_literal_exps.adb:370:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_string_literal_exps.adb:384:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_string_literal_exps.adb:398:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_string_literal_exps.adb:412:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_string_literal_exps.adb:426:36: warning: Must_Be_Owned unimplemented [enabled by default] [Ada] amf-ocl-ocl_expressions.ads [Ada] amf-ocl-opaque_expressions.ads [Ada] amf-ocl-message_types.ads [Ada] amf-ocl-bag_types-collections.ads [Ada] amf-ocl-type_exps-hash.ads [Ada] amf-ocl-literal_exps-collections.ads [Ada] amf-internals-ocl_collection_literal_exps.adb [Ada] amf-ocl-void_types-hash.ads [Ada] amf-internals-ocl_collection_ranges.adb amf-internals-ocl_collection_literal_exps.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_literal_exps.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_literal_exps.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_literal_exps.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_literal_exps.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_literal_exps.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_literal_exps.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_literal_exps.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_literal_exps.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_literal_exps.adb:340:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_collection_literal_exps.adb:354:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_collection_literal_exps.adb:370:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_collection_literal_exps.adb:384:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_collection_literal_exps.adb:398:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_collection_literal_exps.adb:412:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_collection_literal_exps.adb:426:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_collection_literal_exps.adb:440:36: warning: Must_Be_Owned unimplemented [enabled by default] [Ada] amf-internals-ocl_operation_call_exps.adb amf-internals-ocl_collection_ranges.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_ranges.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_ranges.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_ranges.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_ranges.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_ranges.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_ranges.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_ranges.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_ranges.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_collection_ranges.adb:358:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_collection_ranges.adb:372:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_collection_ranges.adb:388:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_collection_ranges.adb:402:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_collection_ranges.adb:416:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_collection_ranges.adb:430:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_collection_ranges.adb:444:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_collection_ranges.adb:458:36: warning: Must_Be_Owned unimplemented [enabled by default] [Ada] amf-internals-holders-ocl_holders.adb amf-internals-ocl_operation_call_exps.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_operation_call_exps.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_operation_call_exps.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_operation_call_exps.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_operation_call_exps.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_operation_call_exps.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_operation_call_exps.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_operation_call_exps.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_operation_call_exps.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_operation_call_exps.adb:59:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_operation_call_exps.adb:374:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_operation_call_exps.adb:388:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_operation_call_exps.adb:404:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_operation_call_exps.adb:418:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_operation_call_exps.adb:432:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_operation_call_exps.adb:446:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_operation_call_exps.adb:460:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_operation_call_exps.adb:474:36: warning: Must_Be_Owned unimplemented [enabled by default] [Ada] amf-ocl-feature_call_exps-collections.ads [Ada] amf-internals-ocl_if_exps.adb amf-internals-tables-ocl_constructors.adb:95:04: warning: use clause for package "Tables" has no effect [-gnatwu] amf-internals-tables-ocl_constructors.adb:96:04: warning: use clause for type "AMF_Collection_Of_Element" defined at amf-internals.ads:75 has no effect [-gnatwu] [Ada] amf-ocl-set_types-collections.ads [Ada] amf-internals-ocl_state_exps.adb amf-internals-ocl_if_exps.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_if_exps.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_if_exps.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_if_exps.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_if_exps.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_if_exps.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_if_exps.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_if_exps.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_if_exps.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_if_exps.adb:387:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_if_exps.adb:401:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_if_exps.adb:417:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_if_exps.adb:431:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_if_exps.adb:445:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_if_exps.adb:459:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_if_exps.adb:473:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_if_exps.adb:487:36: warning: Must_Be_Owned unimplemented [enabled by default] [Ada] amf-ocl-operation_call_exps-hash.ads [Ada] amf-visitors-ocl_iterators.ads [Ada] amf-ocl-variables.ads [Ada] amf-ocl-tuple_literal_parts-collections.ads amf-internals-ocl_state_exps.adb:50:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_state_exps.adb:51:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_state_exps.adb:52:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_state_exps.adb:53:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_state_exps.adb:54:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_state_exps.adb:55:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_state_exps.adb:56:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_state_exps.adb:57:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_state_exps.adb:58:06: warning: redundant with clause in body [-gnatwr] amf-internals-ocl_state_exps.adb:329:36: warning: All_Namespaces unimplemented [enabled by default] amf-internals-ocl_state_exps.adb:343:36: warning: All_Owning_Packages unimplemented [enabled by default] amf-internals-ocl_state_exps.adb:359:36: warning: Is_Distinguishable_From unimplemented [enabled by default] amf-internals-ocl_state_exps.adb:373:36: warning: Namespace unimplemented [enabled by default] amf-internals-ocl_state_exps.adb:387:36: warning: Qualified_Name unimplemented [enabled by default] amf-internals-ocl_state_exps.adb:401:36: warning: Separator unimplemented [enabled by default] amf-internals-ocl_state_exps.adb:415:36: warning: All_Owned_Elements unimplemented [enabled by default] amf-internals-ocl_state_exps.adb:429:36: warning: Must_Be_Owned unimplemented [enabled by default] Build Libraries [gprlib] matreshka-amf-ocl-13.2.20.0.lexch [link library] libmatreshka-amf-ocl-13.2.20.0.dylib matreshka_amf_ocl=21.0.0 successfully retrieved and built. Dependencies were solved as follows: +b gnat 13.2.2 (new,gnat_native,indirect,binary) +b make 4.4.1 (new,indirect,system package) + matreshka_amf 21.0.0 (new,indirect) + matreshka_amf_dd 21.0.0 (new,indirect) + matreshka_amf_uml 21.0.0 (new) + matreshka_league 21.0.0 (new) + matreshka_xml 21.0.0 (new,indirect) Found declared GPR file: build_matreshka_amf_ocl.gpr