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