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