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