1------------------------------------------------------------------------------ 2-- -- 3-- Matreshka Project -- 4-- -- 5-- Ada Modeling Framework -- 6-- -- 7-- Runtime Library Component -- 8-- -- 9------------------------------------------------------------------------------ 10-- -- 11-- Copyright © 2011-2012, Vadim Godunko <vgodunko@gmail.com> -- 12-- All rights reserved. -- 13-- -- 14-- Redistribution and use in source and binary forms, with or without -- 15-- modification, are permitted provided that the following conditions -- 16-- are met: -- 17-- -- 18-- * Redistributions of source code must retain the above copyright -- 19-- notice, this list of conditions and the following disclaimer. -- 20-- -- 21-- * Redistributions in binary form must reproduce the above copyright -- 22-- notice, this list of conditions and the following disclaimer in the -- 23-- documentation and/or other materials provided with the distribution. -- 24-- -- 25-- * Neither the name of the Vadim Godunko, IE nor the names of its -- 26-- contributors may be used to endorse or promote products derived from -- 27-- this software without specific prior written permission. -- 28-- -- 29-- THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS -- 30-- "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT -- 31-- LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR -- 32-- A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT -- 33-- HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, -- 34-- SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED -- 35-- TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR -- 36-- PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF -- 37-- LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING -- 38-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS -- 39-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. -- 40-- -- 41------------------------------------------------------------------------------ 42-- $Revision: 2937 $ $Date: 2012-05-01 21:07:27 +0400 (Tue, 01 May 2012) $ 43------------------------------------------------------------------------------ 44with AMF.Internals.UML_Classifiers; 45with AMF.String_Collections; 46with AMF.UML.Artifacts.Collections; 47with AMF.UML.Classifier_Template_Parameters; 48with AMF.UML.Classifiers.Collections; 49with AMF.UML.Collaboration_Uses.Collections; 50with AMF.UML.Constraints.Collections; 51with AMF.UML.Dependencies.Collections; 52with AMF.UML.Element_Imports.Collections; 53with AMF.UML.Features.Collections; 54with AMF.UML.Generalization_Sets.Collections; 55with AMF.UML.Generalizations.Collections; 56with AMF.UML.Manifestations.Collections; 57with AMF.UML.Named_Elements.Collections; 58with AMF.UML.Namespaces; 59with AMF.UML.Operations.Collections; 60with AMF.UML.Package_Imports.Collections; 61with AMF.UML.Packageable_Elements.Collections; 62with AMF.UML.Packages.Collections; 63with AMF.UML.Parameterable_Elements.Collections; 64with AMF.UML.Properties.Collections; 65with AMF.UML.Redefinable_Elements.Collections; 66with AMF.UML.Redefinable_Template_Signatures; 67with AMF.UML.String_Expressions; 68with AMF.UML.Substitutions.Collections; 69with AMF.UML.Template_Bindings.Collections; 70with AMF.UML.Template_Parameters; 71with AMF.UML.Template_Signatures; 72with AMF.UML.Types; 73with AMF.UML.Use_Cases.Collections; 74with AMF.Visitors; 75 76package AMF.Internals.UML_Artifacts is 77 78 type UML_Artifact_Proxy is 79 limited new AMF.Internals.UML_Classifiers.UML_Classifier_Proxy 80 and AMF.UML.Artifacts.UML_Artifact with null record; 81 82 overriding function Get_File_Name 83 (Self : not null access constant UML_Artifact_Proxy) 84 return AMF.Optional_String; 85 -- Getter of Artifact::fileName. 86 -- 87 -- A concrete name that is used to refer to the Artifact in a physical 88 -- context. Example: file system name, universal resource locator. 89 90 overriding procedure Set_File_Name 91 (Self : not null access UML_Artifact_Proxy; 92 To : AMF.Optional_String); 93 -- Setter of Artifact::fileName. 94 -- 95 -- A concrete name that is used to refer to the Artifact in a physical 96 -- context. Example: file system name, universal resource locator. 97 98 overriding function Get_Manifestation 99 (Self : not null access constant UML_Artifact_Proxy) 100 return AMF.UML.Manifestations.Collections.Set_Of_UML_Manifestation; 101 -- Getter of Artifact::manifestation. 102 -- 103 -- The set of model elements that are manifested in the Artifact. That is, 104 -- these model elements are utilized in the construction (or generation) 105 -- of the artifact. 106 107 overriding function Get_Nested_Artifact 108 (Self : not null access constant UML_Artifact_Proxy) 109 return AMF.UML.Artifacts.Collections.Set_Of_UML_Artifact; 110 -- Getter of Artifact::nestedArtifact. 111 -- 112 -- The Artifacts that are defined (nested) within the Artifact. The 113 -- association is a specialization of the ownedMember association from 114 -- Namespace to NamedElement. 115 116 overriding function Get_Owned_Attribute 117 (Self : not null access constant UML_Artifact_Proxy) 118 return AMF.UML.Properties.Collections.Ordered_Set_Of_UML_Property; 119 -- Getter of Artifact::ownedAttribute. 120 -- 121 -- The attributes or association ends defined for the Artifact. The 122 -- association is a specialization of the ownedMember association. 123 124 overriding function Get_Owned_Operation 125 (Self : not null access constant UML_Artifact_Proxy) 126 return AMF.UML.Operations.Collections.Ordered_Set_Of_UML_Operation; 127 -- Getter of Artifact::ownedOperation. 128 -- 129 -- The Operations defined for the Artifact. The association is a 130 -- specialization of the ownedMember association. 131 132 overriding function Get_Attribute 133 (Self : not null access constant UML_Artifact_Proxy) 134 return AMF.UML.Properties.Collections.Set_Of_UML_Property; 135 -- Getter of Classifier::attribute. 136 -- 137 -- Refers to all of the Properties that are direct (i.e. not inherited or 138 -- imported) attributes of the classifier. 139 140 overriding function Get_Collaboration_Use 141 (Self : not null access constant UML_Artifact_Proxy) 142 return AMF.UML.Collaboration_Uses.Collections.Set_Of_UML_Collaboration_Use; 143 -- Getter of Classifier::collaborationUse. 144 -- 145 -- References the collaboration uses owned by the classifier. 146 147 overriding function Get_Feature 148 (Self : not null access constant UML_Artifact_Proxy) 149 return AMF.UML.Features.Collections.Set_Of_UML_Feature; 150 -- Getter of Classifier::feature. 151 -- 152 -- Specifies each feature defined in the classifier. 153 -- Note that there may be members of the Classifier that are of the type 154 -- Feature but are not included in this association, e.g. inherited 155 -- features. 156 157 overriding function Get_General 158 (Self : not null access constant UML_Artifact_Proxy) 159 return AMF.UML.Classifiers.Collections.Set_Of_UML_Classifier; 160 -- Getter of Classifier::general. 161 -- 162 -- Specifies the general Classifiers for this Classifier. 163 -- References the general classifier in the Generalization relationship. 164 165 overriding function Get_Generalization 166 (Self : not null access constant UML_Artifact_Proxy) 167 return AMF.UML.Generalizations.Collections.Set_Of_UML_Generalization; 168 -- Getter of Classifier::generalization. 169 -- 170 -- Specifies the Generalization relationships for this Classifier. These 171 -- Generalizations navigaten to more general classifiers in the 172 -- generalization hierarchy. 173 174 overriding function Get_Inherited_Member 175 (Self : not null access constant UML_Artifact_Proxy) 176 return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element; 177 -- Getter of Classifier::inheritedMember. 178 -- 179 -- Specifies all elements inherited by this classifier from the general 180 -- classifiers. 181 182 overriding function Get_Is_Abstract 183 (Self : not null access constant UML_Artifact_Proxy) 184 return Boolean; 185 -- Getter of Classifier::isAbstract. 186 -- 187 -- If true, the Classifier does not provide a complete declaration and can 188 -- typically not be instantiated. An abstract classifier is intended to be 189 -- used by other classifiers e.g. as the target of general 190 -- metarelationships or generalization relationships. 191 192 overriding function Get_Is_Final_Specialization 193 (Self : not null access constant UML_Artifact_Proxy) 194 return Boolean; 195 -- Getter of Classifier::isFinalSpecialization. 196 -- 197 -- If true, the Classifier cannot be specialized by generalization. Note 198 -- that this property is preserved through package merge operations; that 199 -- is, the capability to specialize a Classifier (i.e., 200 -- isFinalSpecialization =false) must be preserved in the resulting 201 -- Classifier of a package merge operation where a Classifier with 202 -- isFinalSpecialization =false is merged with a matching Classifier with 203 -- isFinalSpecialization =true: the resulting Classifier will have 204 -- isFinalSpecialization =false. 205 206 overriding procedure Set_Is_Final_Specialization 207 (Self : not null access UML_Artifact_Proxy; 208 To : Boolean); 209 -- Setter of Classifier::isFinalSpecialization. 210 -- 211 -- If true, the Classifier cannot be specialized by generalization. Note 212 -- that this property is preserved through package merge operations; that 213 -- is, the capability to specialize a Classifier (i.e., 214 -- isFinalSpecialization =false) must be preserved in the resulting 215 -- Classifier of a package merge operation where a Classifier with 216 -- isFinalSpecialization =false is merged with a matching Classifier with 217 -- isFinalSpecialization =true: the resulting Classifier will have 218 -- isFinalSpecialization =false. 219 220 overriding function Get_Owned_Template_Signature 221 (Self : not null access constant UML_Artifact_Proxy) 222 return AMF.UML.Redefinable_Template_Signatures.UML_Redefinable_Template_Signature_Access; 223 -- Getter of Classifier::ownedTemplateSignature. 224 -- 225 -- The optional template signature specifying the formal template 226 -- parameters. 227 228 overriding procedure Set_Owned_Template_Signature 229 (Self : not null access UML_Artifact_Proxy; 230 To : AMF.UML.Redefinable_Template_Signatures.UML_Redefinable_Template_Signature_Access); 231 -- Setter of Classifier::ownedTemplateSignature. 232 -- 233 -- The optional template signature specifying the formal template 234 -- parameters. 235 236 overriding function Get_Owned_Use_Case 237 (Self : not null access constant UML_Artifact_Proxy) 238 return AMF.UML.Use_Cases.Collections.Set_Of_UML_Use_Case; 239 -- Getter of Classifier::ownedUseCase. 240 -- 241 -- References the use cases owned by this classifier. 242 243 overriding function Get_Powertype_Extent 244 (Self : not null access constant UML_Artifact_Proxy) 245 return AMF.UML.Generalization_Sets.Collections.Set_Of_UML_Generalization_Set; 246 -- Getter of Classifier::powertypeExtent. 247 -- 248 -- Designates the GeneralizationSet of which the associated Classifier is 249 -- a power type. 250 251 overriding function Get_Redefined_Classifier 252 (Self : not null access constant UML_Artifact_Proxy) 253 return AMF.UML.Classifiers.Collections.Set_Of_UML_Classifier; 254 -- Getter of Classifier::redefinedClassifier. 255 -- 256 -- References the Classifiers that are redefined by this Classifier. 257 258 overriding function Get_Representation 259 (Self : not null access constant UML_Artifact_Proxy) 260 return AMF.UML.Collaboration_Uses.UML_Collaboration_Use_Access; 261 -- Getter of Classifier::representation. 262 -- 263 -- References a collaboration use which indicates the collaboration that 264 -- represents this classifier. 265 266 overriding procedure Set_Representation 267 (Self : not null access UML_Artifact_Proxy; 268 To : AMF.UML.Collaboration_Uses.UML_Collaboration_Use_Access); 269 -- Setter of Classifier::representation. 270 -- 271 -- References a collaboration use which indicates the collaboration that 272 -- represents this classifier. 273 274 overriding function Get_Substitution 275 (Self : not null access constant UML_Artifact_Proxy) 276 return AMF.UML.Substitutions.Collections.Set_Of_UML_Substitution; 277 -- Getter of Classifier::substitution. 278 -- 279 -- References the substitutions that are owned by this Classifier. 280 281 overriding function Get_Template_Parameter 282 (Self : not null access constant UML_Artifact_Proxy) 283 return AMF.UML.Classifier_Template_Parameters.UML_Classifier_Template_Parameter_Access; 284 -- Getter of Classifier::templateParameter. 285 -- 286 -- The template parameter that exposes this element as a formal parameter. 287 288 overriding procedure Set_Template_Parameter 289 (Self : not null access UML_Artifact_Proxy; 290 To : AMF.UML.Classifier_Template_Parameters.UML_Classifier_Template_Parameter_Access); 291 -- Setter of Classifier::templateParameter. 292 -- 293 -- The template parameter that exposes this element as a formal parameter. 294 295 overriding function Get_Use_Case 296 (Self : not null access constant UML_Artifact_Proxy) 297 return AMF.UML.Use_Cases.Collections.Set_Of_UML_Use_Case; 298 -- Getter of Classifier::useCase. 299 -- 300 -- The set of use cases for which this Classifier is the subject. 301 302 overriding function Get_Element_Import 303 (Self : not null access constant UML_Artifact_Proxy) 304 return AMF.UML.Element_Imports.Collections.Set_Of_UML_Element_Import; 305 -- Getter of Namespace::elementImport. 306 -- 307 -- References the ElementImports owned by the Namespace. 308 309 overriding function Get_Imported_Member 310 (Self : not null access constant UML_Artifact_Proxy) 311 return AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element; 312 -- Getter of Namespace::importedMember. 313 -- 314 -- References the PackageableElements that are members of this Namespace 315 -- as a result of either PackageImports or ElementImports. 316 317 overriding function Get_Member 318 (Self : not null access constant UML_Artifact_Proxy) 319 return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element; 320 -- Getter of Namespace::member. 321 -- 322 -- A collection of NamedElements identifiable within the Namespace, either 323 -- by being owned or by being introduced by importing or inheritance. 324 325 overriding function Get_Owned_Member 326 (Self : not null access constant UML_Artifact_Proxy) 327 return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element; 328 -- Getter of Namespace::ownedMember. 329 -- 330 -- A collection of NamedElements owned by the Namespace. 331 332 overriding function Get_Owned_Rule 333 (Self : not null access constant UML_Artifact_Proxy) 334 return AMF.UML.Constraints.Collections.Set_Of_UML_Constraint; 335 -- Getter of Namespace::ownedRule. 336 -- 337 -- Specifies a set of Constraints owned by this Namespace. 338 339 overriding function Get_Package_Import 340 (Self : not null access constant UML_Artifact_Proxy) 341 return AMF.UML.Package_Imports.Collections.Set_Of_UML_Package_Import; 342 -- Getter of Namespace::packageImport. 343 -- 344 -- References the PackageImports owned by the Namespace. 345 346 overriding function Get_Client_Dependency 347 (Self : not null access constant UML_Artifact_Proxy) 348 return AMF.UML.Dependencies.Collections.Set_Of_UML_Dependency; 349 -- Getter of NamedElement::clientDependency. 350 -- 351 -- Indicates the dependencies that reference the client. 352 353 overriding function Get_Name_Expression 354 (Self : not null access constant UML_Artifact_Proxy) 355 return AMF.UML.String_Expressions.UML_String_Expression_Access; 356 -- Getter of NamedElement::nameExpression. 357 -- 358 -- The string expression used to define the name of this named element. 359 360 overriding procedure Set_Name_Expression 361 (Self : not null access UML_Artifact_Proxy; 362 To : AMF.UML.String_Expressions.UML_String_Expression_Access); 363 -- Setter of NamedElement::nameExpression. 364 -- 365 -- The string expression used to define the name of this named element. 366 367 overriding function Get_Namespace 368 (Self : not null access constant UML_Artifact_Proxy) 369 return AMF.UML.Namespaces.UML_Namespace_Access; 370 -- Getter of NamedElement::namespace. 371 -- 372 -- Specifies the namespace that owns the NamedElement. 373 374 overriding function Get_Qualified_Name 375 (Self : not null access constant UML_Artifact_Proxy) 376 return AMF.Optional_String; 377 -- Getter of NamedElement::qualifiedName. 378 -- 379 -- A name which allows the NamedElement to be identified within a 380 -- hierarchy of nested Namespaces. It is constructed from the names of the 381 -- containing namespaces starting at the root of the hierarchy and ending 382 -- with the name of the NamedElement itself. 383 384 overriding function Get_Package 385 (Self : not null access constant UML_Artifact_Proxy) 386 return AMF.UML.Packages.UML_Package_Access; 387 -- Getter of Type::package. 388 -- 389 -- Specifies the owning package of this classifier, if any. 390 391 overriding procedure Set_Package 392 (Self : not null access UML_Artifact_Proxy; 393 To : AMF.UML.Packages.UML_Package_Access); 394 -- Setter of Type::package. 395 -- 396 -- Specifies the owning package of this classifier, if any. 397 398 overriding function Get_Owning_Template_Parameter 399 (Self : not null access constant UML_Artifact_Proxy) 400 return AMF.UML.Template_Parameters.UML_Template_Parameter_Access; 401 -- Getter of ParameterableElement::owningTemplateParameter. 402 -- 403 -- The formal template parameter that owns this element. 404 405 overriding procedure Set_Owning_Template_Parameter 406 (Self : not null access UML_Artifact_Proxy; 407 To : AMF.UML.Template_Parameters.UML_Template_Parameter_Access); 408 -- Setter of ParameterableElement::owningTemplateParameter. 409 -- 410 -- The formal template parameter that owns this element. 411 412 overriding function Get_Template_Parameter 413 (Self : not null access constant UML_Artifact_Proxy) 414 return AMF.UML.Template_Parameters.UML_Template_Parameter_Access; 415 -- Getter of ParameterableElement::templateParameter. 416 -- 417 -- The template parameter that exposes this element as a formal parameter. 418 419 overriding procedure Set_Template_Parameter 420 (Self : not null access UML_Artifact_Proxy; 421 To : AMF.UML.Template_Parameters.UML_Template_Parameter_Access); 422 -- Setter of ParameterableElement::templateParameter. 423 -- 424 -- The template parameter that exposes this element as a formal parameter. 425 426 overriding function Get_Owned_Template_Signature 427 (Self : not null access constant UML_Artifact_Proxy) 428 return AMF.UML.Template_Signatures.UML_Template_Signature_Access; 429 -- Getter of TemplateableElement::ownedTemplateSignature. 430 -- 431 -- The optional template signature specifying the formal template 432 -- parameters. 433 434 overriding procedure Set_Owned_Template_Signature 435 (Self : not null access UML_Artifact_Proxy; 436 To : AMF.UML.Template_Signatures.UML_Template_Signature_Access); 437 -- Setter of TemplateableElement::ownedTemplateSignature. 438 -- 439 -- The optional template signature specifying the formal template 440 -- parameters. 441 442 overriding function Get_Template_Binding 443 (Self : not null access constant UML_Artifact_Proxy) 444 return AMF.UML.Template_Bindings.Collections.Set_Of_UML_Template_Binding; 445 -- Getter of TemplateableElement::templateBinding. 446 -- 447 -- The optional bindings from this element to templates. 448 449 overriding function Get_Is_Leaf 450 (Self : not null access constant UML_Artifact_Proxy) 451 return Boolean; 452 -- Getter of RedefinableElement::isLeaf. 453 -- 454 -- Indicates whether it is possible to further redefine a 455 -- RedefinableElement. If the value is true, then it is not possible to 456 -- further redefine the RedefinableElement. Note that this property is 457 -- preserved through package merge operations; that is, the capability to 458 -- redefine a RedefinableElement (i.e., isLeaf=false) must be preserved in 459 -- the resulting RedefinableElement of a package merge operation where a 460 -- RedefinableElement with isLeaf=false is merged with a matching 461 -- RedefinableElement with isLeaf=true: the resulting RedefinableElement 462 -- will have isLeaf=false. Default value is false. 463 464 overriding procedure Set_Is_Leaf 465 (Self : not null access UML_Artifact_Proxy; 466 To : Boolean); 467 -- Setter of RedefinableElement::isLeaf. 468 -- 469 -- Indicates whether it is possible to further redefine a 470 -- RedefinableElement. If the value is true, then it is not possible to 471 -- further redefine the RedefinableElement. Note that this property is 472 -- preserved through package merge operations; that is, the capability to 473 -- redefine a RedefinableElement (i.e., isLeaf=false) must be preserved in 474 -- the resulting RedefinableElement of a package merge operation where a 475 -- RedefinableElement with isLeaf=false is merged with a matching 476 -- RedefinableElement with isLeaf=true: the resulting RedefinableElement 477 -- will have isLeaf=false. Default value is false. 478 479 overriding function Get_Redefined_Element 480 (Self : not null access constant UML_Artifact_Proxy) 481 return AMF.UML.Redefinable_Elements.Collections.Set_Of_UML_Redefinable_Element; 482 -- Getter of RedefinableElement::redefinedElement. 483 -- 484 -- The redefinable element that is being redefined by this element. 485 486 overriding function Get_Redefinition_Context 487 (Self : not null access constant UML_Artifact_Proxy) 488 return AMF.UML.Classifiers.Collections.Set_Of_UML_Classifier; 489 -- Getter of RedefinableElement::redefinitionContext. 490 -- 491 -- References the contexts that this element may be redefined from. 492 493 overriding function All_Features 494 (Self : not null access constant UML_Artifact_Proxy) 495 return AMF.UML.Features.Collections.Set_Of_UML_Feature; 496 -- Operation Classifier::allFeatures. 497 -- 498 -- The query allFeatures() gives all of the features in the namespace of 499 -- the classifier. In general, through mechanisms such as inheritance, 500 -- this will be a larger set than feature. 501 502 overriding function Conforms_To 503 (Self : not null access constant UML_Artifact_Proxy; 504 Other : AMF.UML.Classifiers.UML_Classifier_Access) 505 return Boolean; 506 -- Operation Classifier::conformsTo. 507 -- 508 -- The query conformsTo() gives true for a classifier that defines a type 509 -- that conforms to another. This is used, for example, in the 510 -- specification of signature conformance for operations. 511 512 overriding function General 513 (Self : not null access constant UML_Artifact_Proxy) 514 return AMF.UML.Classifiers.Collections.Set_Of_UML_Classifier; 515 -- Operation Classifier::general. 516 -- 517 -- The general classifiers are the classifiers referenced by the 518 -- generalization relationships. 519 520 overriding function Has_Visibility_Of 521 (Self : not null access constant UML_Artifact_Proxy; 522 N : AMF.UML.Named_Elements.UML_Named_Element_Access) 523 return Boolean; 524 -- Operation Classifier::hasVisibilityOf. 525 -- 526 -- The query hasVisibilityOf() determines whether a named element is 527 -- visible in the classifier. By default all are visible. It is only 528 -- called when the argument is something owned by a parent. 529 530 overriding function Inherit 531 (Self : not null access constant UML_Artifact_Proxy; 532 Inhs : AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element) 533 return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element; 534 -- Operation Classifier::inherit. 535 -- 536 -- The query inherit() defines how to inherit a set of elements. Here the 537 -- operation is defined to inherit them all. It is intended to be 538 -- redefined in circumstances where inheritance is affected by 539 -- redefinition. 540 -- The inherit operation is overridden to exclude redefined properties. 541 542 overriding function Inheritable_Members 543 (Self : not null access constant UML_Artifact_Proxy; 544 C : AMF.UML.Classifiers.UML_Classifier_Access) 545 return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element; 546 -- Operation Classifier::inheritableMembers. 547 -- 548 -- The query inheritableMembers() gives all of the members of a classifier 549 -- that may be inherited in one of its descendants, subject to whatever 550 -- visibility restrictions apply. 551 552 overriding function Inherited_Member 553 (Self : not null access constant UML_Artifact_Proxy) 554 return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element; 555 -- Operation Classifier::inheritedMember. 556 -- 557 -- The inheritedMember association is derived by inheriting the 558 -- inheritable members of the parents. 559 -- The inheritedMember association is derived by inheriting the 560 -- inheritable members of the parents. 561 562 overriding function Is_Template 563 (Self : not null access constant UML_Artifact_Proxy) 564 return Boolean; 565 -- Operation Classifier::isTemplate. 566 -- 567 -- The query isTemplate() returns whether this templateable element is 568 -- actually a template. 569 570 overriding function May_Specialize_Type 571 (Self : not null access constant UML_Artifact_Proxy; 572 C : AMF.UML.Classifiers.UML_Classifier_Access) 573 return Boolean; 574 -- Operation Classifier::maySpecializeType. 575 -- 576 -- The query maySpecializeType() determines whether this classifier may 577 -- have a generalization relationship to classifiers of the specified 578 -- type. By default a classifier may specialize classifiers of the same or 579 -- a more general type. It is intended to be redefined by classifiers that 580 -- have different specialization constraints. 581 582 overriding function Exclude_Collisions 583 (Self : not null access constant UML_Artifact_Proxy; 584 Imps : AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element) 585 return AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element; 586 -- Operation Namespace::excludeCollisions. 587 -- 588 -- The query excludeCollisions() excludes from a set of 589 -- PackageableElements any that would not be distinguishable from each 590 -- other in this namespace. 591 592 overriding function Get_Names_Of_Member 593 (Self : not null access constant UML_Artifact_Proxy; 594 Element : AMF.UML.Named_Elements.UML_Named_Element_Access) 595 return AMF.String_Collections.Set_Of_String; 596 -- Operation Namespace::getNamesOfMember. 597 -- 598 -- The query getNamesOfMember() takes importing into account. It gives 599 -- back the set of names that an element would have in an importing 600 -- namespace, either because it is owned, or if not owned then imported 601 -- individually, or if not individually then from a package. 602 -- The query getNamesOfMember() gives a set of all of the names that a 603 -- member would have in a Namespace. In general a member can have multiple 604 -- names in a Namespace if it is imported more than once with different 605 -- aliases. The query takes account of importing. It gives back the set of 606 -- names that an element would have in an importing namespace, either 607 -- because it is owned, or if not owned then imported individually, or if 608 -- not individually then from a package. 609 610 overriding function Import_Members 611 (Self : not null access constant UML_Artifact_Proxy; 612 Imps : AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element) 613 return AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element; 614 -- Operation Namespace::importMembers. 615 -- 616 -- The query importMembers() defines which of a set of PackageableElements 617 -- are actually imported into the namespace. This excludes hidden ones, 618 -- i.e., those which have names that conflict with names of owned members, 619 -- and also excludes elements which would have the same name when imported. 620 621 overriding function Imported_Member 622 (Self : not null access constant UML_Artifact_Proxy) 623 return AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element; 624 -- Operation Namespace::importedMember. 625 -- 626 -- The importedMember property is derived from the ElementImports and the 627 -- PackageImports. References the PackageableElements that are members of 628 -- this Namespace as a result of either PackageImports or ElementImports. 629 630 overriding function Members_Are_Distinguishable 631 (Self : not null access constant UML_Artifact_Proxy) 632 return Boolean; 633 -- Operation Namespace::membersAreDistinguishable. 634 -- 635 -- The Boolean query membersAreDistinguishable() determines whether all of 636 -- the namespace's members are distinguishable within it. 637 638 overriding function Owned_Member 639 (Self : not null access constant UML_Artifact_Proxy) 640 return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element; 641 -- Operation Namespace::ownedMember. 642 -- 643 -- Missing derivation for Namespace::/ownedMember : NamedElement 644 645 overriding function All_Owning_Packages 646 (Self : not null access constant UML_Artifact_Proxy) 647 return AMF.UML.Packages.Collections.Set_Of_UML_Package; 648 -- Operation NamedElement::allOwningPackages. 649 -- 650 -- The query allOwningPackages() returns all the directly or indirectly 651 -- owning packages. 652 653 overriding function Is_Distinguishable_From 654 (Self : not null access constant UML_Artifact_Proxy; 655 N : AMF.UML.Named_Elements.UML_Named_Element_Access; 656 Ns : AMF.UML.Namespaces.UML_Namespace_Access) 657 return Boolean; 658 -- Operation NamedElement::isDistinguishableFrom. 659 -- 660 -- The query isDistinguishableFrom() determines whether two NamedElements 661 -- may logically co-exist within a Namespace. By default, two named 662 -- elements are distinguishable if (a) they have unrelated types or (b) 663 -- they have related types but different names. 664 665 overriding function Namespace 666 (Self : not null access constant UML_Artifact_Proxy) 667 return AMF.UML.Namespaces.UML_Namespace_Access; 668 -- Operation NamedElement::namespace. 669 -- 670 -- Missing derivation for NamedElement::/namespace : Namespace 671 672 overriding function Conforms_To 673 (Self : not null access constant UML_Artifact_Proxy; 674 Other : AMF.UML.Types.UML_Type_Access) 675 return Boolean; 676 -- Operation Type::conformsTo. 677 -- 678 -- The query conformsTo() gives true for a type that conforms to another. 679 -- By default, two types do not conform to each other. This query is 680 -- intended to be redefined for specific conformance situations. 681 682 overriding function Is_Compatible_With 683 (Self : not null access constant UML_Artifact_Proxy; 684 P : AMF.UML.Parameterable_Elements.UML_Parameterable_Element_Access) 685 return Boolean; 686 -- Operation ParameterableElement::isCompatibleWith. 687 -- 688 -- The query isCompatibleWith() determines if this parameterable element 689 -- is compatible with the specified parameterable element. By default 690 -- parameterable element P is compatible with parameterable element Q if 691 -- the kind of P is the same or a subtype as the kind of Q. Subclasses 692 -- should override this operation to specify different compatibility 693 -- constraints. 694 695 overriding function Is_Template_Parameter 696 (Self : not null access constant UML_Artifact_Proxy) 697 return Boolean; 698 -- Operation ParameterableElement::isTemplateParameter. 699 -- 700 -- The query isTemplateParameter() determines if this parameterable 701 -- element is exposed as a formal template parameter. 702 703 overriding function Parameterable_Elements 704 (Self : not null access constant UML_Artifact_Proxy) 705 return AMF.UML.Parameterable_Elements.Collections.Set_Of_UML_Parameterable_Element; 706 -- Operation TemplateableElement::parameterableElements. 707 -- 708 -- The query parameterableElements() returns the set of elements that may 709 -- be used as the parametered elements for a template parameter of this 710 -- templateable element. By default, this set includes all the owned 711 -- elements. Subclasses may override this operation if they choose to 712 -- restrict the set of parameterable elements. 713 714 overriding function Is_Consistent_With 715 (Self : not null access constant UML_Artifact_Proxy; 716 Redefinee : AMF.UML.Redefinable_Elements.UML_Redefinable_Element_Access) 717 return Boolean; 718 -- Operation RedefinableElement::isConsistentWith. 719 -- 720 -- The query isConsistentWith() specifies, for any two RedefinableElements 721 -- in a context in which redefinition is possible, whether redefinition 722 -- would be logically consistent. By default, this is false; this 723 -- operation must be overridden for subclasses of RedefinableElement to 724 -- define the consistency conditions. 725 726 overriding function Is_Redefinition_Context_Valid 727 (Self : not null access constant UML_Artifact_Proxy; 728 Redefined : AMF.UML.Redefinable_Elements.UML_Redefinable_Element_Access) 729 return Boolean; 730 -- Operation RedefinableElement::isRedefinitionContextValid. 731 -- 732 -- The query isRedefinitionContextValid() specifies whether the 733 -- redefinition contexts of this RedefinableElement are properly related 734 -- to the redefinition contexts of the specified RedefinableElement to 735 -- allow this element to redefine the other. By default at least one of 736 -- the redefinition contexts of this element must be a specialization of 737 -- at least one of the redefinition contexts of the specified element. 738 739 overriding procedure Enter_Element 740 (Self : not null access constant UML_Artifact_Proxy; 741 Visitor : in out AMF.Visitors.Abstract_Visitor'Class; 742 Control : in out AMF.Visitors.Traverse_Control); 743 -- Dispatch call to corresponding subprogram of visitor interface. 744 745 overriding procedure Leave_Element 746 (Self : not null access constant UML_Artifact_Proxy; 747 Visitor : in out AMF.Visitors.Abstract_Visitor'Class; 748 Control : in out AMF.Visitors.Traverse_Control); 749 -- Dispatch call to corresponding subprogram of visitor interface. 750 751 overriding procedure Visit_Element 752 (Self : not null access constant UML_Artifact_Proxy; 753 Iterator : in out AMF.Visitors.Abstract_Iterator'Class; 754 Visitor : in out AMF.Visitors.Abstract_Visitor'Class; 755 Control : in out AMF.Visitors.Traverse_Control); 756 -- Dispatch call to corresponding subprogram of iterator interface. 757 758end AMF.Internals.UML_Artifacts; 759