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.Elements; 45with AMF.Internals.Element_Collections; 46with AMF.Internals.Helpers; 47with AMF.Internals.Tables.UML_Attributes; 48with AMF.Visitors.UML_Iterators; 49with AMF.Visitors.UML_Visitors; 50with League.Strings.Internals; 51with Matreshka.Internals.Strings; 52 53package body AMF.Internals.UML_Protocol_State_Machines is 54 55 ------------------- 56 -- Enter_Element -- 57 ------------------- 58 59 overriding procedure Enter_Element 60 (Self : not null access constant UML_Protocol_State_Machine_Proxy; 61 Visitor : in out AMF.Visitors.Abstract_Visitor'Class; 62 Control : in out AMF.Visitors.Traverse_Control) is 63 begin 64 if Visitor in AMF.Visitors.UML_Visitors.UML_Visitor'Class then 65 AMF.Visitors.UML_Visitors.UML_Visitor'Class 66 (Visitor).Enter_Protocol_State_Machine 67 (AMF.UML.Protocol_State_Machines.UML_Protocol_State_Machine_Access (Self), 68 Control); 69 end if; 70 end Enter_Element; 71 72 ------------------- 73 -- Leave_Element -- 74 ------------------- 75 76 overriding procedure Leave_Element 77 (Self : not null access constant UML_Protocol_State_Machine_Proxy; 78 Visitor : in out AMF.Visitors.Abstract_Visitor'Class; 79 Control : in out AMF.Visitors.Traverse_Control) is 80 begin 81 if Visitor in AMF.Visitors.UML_Visitors.UML_Visitor'Class then 82 AMF.Visitors.UML_Visitors.UML_Visitor'Class 83 (Visitor).Leave_Protocol_State_Machine 84 (AMF.UML.Protocol_State_Machines.UML_Protocol_State_Machine_Access (Self), 85 Control); 86 end if; 87 end Leave_Element; 88 89 ------------------- 90 -- Visit_Element -- 91 ------------------- 92 93 overriding procedure Visit_Element 94 (Self : not null access constant UML_Protocol_State_Machine_Proxy; 95 Iterator : in out AMF.Visitors.Abstract_Iterator'Class; 96 Visitor : in out AMF.Visitors.Abstract_Visitor'Class; 97 Control : in out AMF.Visitors.Traverse_Control) is 98 begin 99 if Iterator in AMF.Visitors.UML_Iterators.UML_Iterator'Class then 100 AMF.Visitors.UML_Iterators.UML_Iterator'Class 101 (Iterator).Visit_Protocol_State_Machine 102 (Visitor, 103 AMF.UML.Protocol_State_Machines.UML_Protocol_State_Machine_Access (Self), 104 Control); 105 end if; 106 end Visit_Element; 107 108 --------------------- 109 -- Get_Conformance -- 110 --------------------- 111 112 overriding function Get_Conformance 113 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 114 return AMF.UML.Protocol_Conformances.Collections.Set_Of_UML_Protocol_Conformance is 115 begin 116 return 117 AMF.UML.Protocol_Conformances.Collections.Wrap 118 (AMF.Internals.Element_Collections.Wrap 119 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Conformance 120 (Self.Element))); 121 end Get_Conformance; 122 123 -------------------------- 124 -- Get_Connection_Point -- 125 -------------------------- 126 127 overriding function Get_Connection_Point 128 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 129 return AMF.UML.Pseudostates.Collections.Set_Of_UML_Pseudostate is 130 begin 131 return 132 AMF.UML.Pseudostates.Collections.Wrap 133 (AMF.Internals.Element_Collections.Wrap 134 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Connection_Point 135 (Self.Element))); 136 end Get_Connection_Point; 137 138 -------------------------------- 139 -- Get_Extended_State_Machine -- 140 -------------------------------- 141 142 overriding function Get_Extended_State_Machine 143 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 144 return AMF.UML.State_Machines.Collections.Set_Of_UML_State_Machine is 145 begin 146 return 147 AMF.UML.State_Machines.Collections.Wrap 148 (AMF.Internals.Element_Collections.Wrap 149 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Extended_State_Machine 150 (Self.Element))); 151 end Get_Extended_State_Machine; 152 153 ---------------- 154 -- Get_Region -- 155 ---------------- 156 157 overriding function Get_Region 158 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 159 return AMF.UML.Regions.Collections.Set_Of_UML_Region is 160 begin 161 return 162 AMF.UML.Regions.Collections.Wrap 163 (AMF.Internals.Element_Collections.Wrap 164 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Region 165 (Self.Element))); 166 end Get_Region; 167 168 -------------------------- 169 -- Get_Submachine_State -- 170 -------------------------- 171 172 overriding function Get_Submachine_State 173 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 174 return AMF.UML.States.Collections.Set_Of_UML_State is 175 begin 176 return 177 AMF.UML.States.Collections.Wrap 178 (AMF.Internals.Element_Collections.Wrap 179 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Submachine_State 180 (Self.Element))); 181 end Get_Submachine_State; 182 183 ----------------- 184 -- Get_Context -- 185 ----------------- 186 187 overriding function Get_Context 188 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 189 return AMF.UML.Behaviored_Classifiers.UML_Behaviored_Classifier_Access is 190 begin 191 return 192 AMF.UML.Behaviored_Classifiers.UML_Behaviored_Classifier_Access 193 (AMF.Internals.Helpers.To_Element 194 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Context 195 (Self.Element))); 196 end Get_Context; 197 198 ---------------------- 199 -- Get_Is_Reentrant -- 200 ---------------------- 201 202 overriding function Get_Is_Reentrant 203 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 204 return Boolean is 205 begin 206 return 207 AMF.Internals.Tables.UML_Attributes.Internal_Get_Is_Reentrant 208 (Self.Element); 209 end Get_Is_Reentrant; 210 211 ---------------------- 212 -- Set_Is_Reentrant -- 213 ---------------------- 214 215 overriding procedure Set_Is_Reentrant 216 (Self : not null access UML_Protocol_State_Machine_Proxy; 217 To : Boolean) is 218 begin 219 AMF.Internals.Tables.UML_Attributes.Internal_Set_Is_Reentrant 220 (Self.Element, To); 221 end Set_Is_Reentrant; 222 223 ------------------------- 224 -- Get_Owned_Parameter -- 225 ------------------------- 226 227 overriding function Get_Owned_Parameter 228 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 229 return AMF.UML.Parameters.Collections.Ordered_Set_Of_UML_Parameter is 230 begin 231 return 232 AMF.UML.Parameters.Collections.Wrap 233 (AMF.Internals.Element_Collections.Wrap 234 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Parameter 235 (Self.Element))); 236 end Get_Owned_Parameter; 237 238 ----------------------------- 239 -- Get_Owned_Parameter_Set -- 240 ----------------------------- 241 242 overriding function Get_Owned_Parameter_Set 243 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 244 return AMF.UML.Parameter_Sets.Collections.Set_Of_UML_Parameter_Set is 245 begin 246 return 247 AMF.UML.Parameter_Sets.Collections.Wrap 248 (AMF.Internals.Element_Collections.Wrap 249 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Parameter_Set 250 (Self.Element))); 251 end Get_Owned_Parameter_Set; 252 253 ----------------------- 254 -- Get_Postcondition -- 255 ----------------------- 256 257 overriding function Get_Postcondition 258 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 259 return AMF.UML.Constraints.Collections.Set_Of_UML_Constraint is 260 begin 261 return 262 AMF.UML.Constraints.Collections.Wrap 263 (AMF.Internals.Element_Collections.Wrap 264 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Postcondition 265 (Self.Element))); 266 end Get_Postcondition; 267 268 ---------------------- 269 -- Get_Precondition -- 270 ---------------------- 271 272 overriding function Get_Precondition 273 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 274 return AMF.UML.Constraints.Collections.Set_Of_UML_Constraint is 275 begin 276 return 277 AMF.UML.Constraints.Collections.Wrap 278 (AMF.Internals.Element_Collections.Wrap 279 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Precondition 280 (Self.Element))); 281 end Get_Precondition; 282 283 ---------------------------- 284 -- Get_Redefined_Behavior -- 285 ---------------------------- 286 287 overriding function Get_Redefined_Behavior 288 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 289 return AMF.UML.Behaviors.Collections.Set_Of_UML_Behavior is 290 begin 291 return 292 AMF.UML.Behaviors.Collections.Wrap 293 (AMF.Internals.Element_Collections.Wrap 294 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Redefined_Behavior 295 (Self.Element))); 296 end Get_Redefined_Behavior; 297 298 ----------------------- 299 -- Get_Specification -- 300 ----------------------- 301 302 overriding function Get_Specification 303 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 304 return AMF.UML.Behavioral_Features.UML_Behavioral_Feature_Access is 305 begin 306 return 307 AMF.UML.Behavioral_Features.UML_Behavioral_Feature_Access 308 (AMF.Internals.Helpers.To_Element 309 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Specification 310 (Self.Element))); 311 end Get_Specification; 312 313 ----------------------- 314 -- Set_Specification -- 315 ----------------------- 316 317 overriding procedure Set_Specification 318 (Self : not null access UML_Protocol_State_Machine_Proxy; 319 To : AMF.UML.Behavioral_Features.UML_Behavioral_Feature_Access) is 320 begin 321 AMF.Internals.Tables.UML_Attributes.Internal_Set_Specification 322 (Self.Element, 323 AMF.Internals.Helpers.To_Element 324 (AMF.Elements.Element_Access (To))); 325 end Set_Specification; 326 327 ------------------- 328 -- Get_Extension -- 329 ------------------- 330 331 overriding function Get_Extension 332 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 333 return AMF.UML.Extensions.Collections.Set_Of_UML_Extension is 334 begin 335 return 336 AMF.UML.Extensions.Collections.Wrap 337 (AMF.Internals.Element_Collections.Wrap 338 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Extension 339 (Self.Element))); 340 end Get_Extension; 341 342 --------------------- 343 -- Get_Is_Abstract -- 344 --------------------- 345 346 overriding function Get_Is_Abstract 347 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 348 return Boolean is 349 begin 350 return 351 AMF.Internals.Tables.UML_Attributes.Internal_Get_Is_Abstract 352 (Self.Element); 353 end Get_Is_Abstract; 354 355 ------------------- 356 -- Get_Is_Active -- 357 ------------------- 358 359 overriding function Get_Is_Active 360 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 361 return Boolean is 362 begin 363 return 364 AMF.Internals.Tables.UML_Attributes.Internal_Get_Is_Active 365 (Self.Element); 366 end Get_Is_Active; 367 368 ------------------- 369 -- Set_Is_Active -- 370 ------------------- 371 372 overriding procedure Set_Is_Active 373 (Self : not null access UML_Protocol_State_Machine_Proxy; 374 To : Boolean) is 375 begin 376 AMF.Internals.Tables.UML_Attributes.Internal_Set_Is_Active 377 (Self.Element, To); 378 end Set_Is_Active; 379 380 --------------------------- 381 -- Get_Nested_Classifier -- 382 --------------------------- 383 384 overriding function Get_Nested_Classifier 385 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 386 return AMF.UML.Classifiers.Collections.Ordered_Set_Of_UML_Classifier is 387 begin 388 return 389 AMF.UML.Classifiers.Collections.Wrap 390 (AMF.Internals.Element_Collections.Wrap 391 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Nested_Classifier 392 (Self.Element))); 393 end Get_Nested_Classifier; 394 395 ------------------------- 396 -- Get_Owned_Attribute -- 397 ------------------------- 398 399 overriding function Get_Owned_Attribute 400 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 401 return AMF.UML.Properties.Collections.Ordered_Set_Of_UML_Property is 402 begin 403 return 404 AMF.UML.Properties.Collections.Wrap 405 (AMF.Internals.Element_Collections.Wrap 406 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Attribute 407 (Self.Element))); 408 end Get_Owned_Attribute; 409 410 ------------------------- 411 -- Get_Owned_Operation -- 412 ------------------------- 413 414 overriding function Get_Owned_Operation 415 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 416 return AMF.UML.Operations.Collections.Ordered_Set_Of_UML_Operation is 417 begin 418 return 419 AMF.UML.Operations.Collections.Wrap 420 (AMF.Internals.Element_Collections.Wrap 421 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Operation 422 (Self.Element))); 423 end Get_Owned_Operation; 424 425 ------------------------- 426 -- Get_Owned_Reception -- 427 ------------------------- 428 429 overriding function Get_Owned_Reception 430 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 431 return AMF.UML.Receptions.Collections.Set_Of_UML_Reception is 432 begin 433 return 434 AMF.UML.Receptions.Collections.Wrap 435 (AMF.Internals.Element_Collections.Wrap 436 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Reception 437 (Self.Element))); 438 end Get_Owned_Reception; 439 440 --------------------- 441 -- Get_Super_Class -- 442 --------------------- 443 444 overriding function Get_Super_Class 445 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 446 return AMF.UML.Classes.Collections.Set_Of_UML_Class is 447 begin 448 return 449 AMF.UML.Classes.Collections.Wrap 450 (AMF.Internals.Element_Collections.Wrap 451 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Super_Class 452 (Self.Element))); 453 end Get_Super_Class; 454 455 ----------------------------- 456 -- Get_Classifier_Behavior -- 457 ----------------------------- 458 459 overriding function Get_Classifier_Behavior 460 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 461 return AMF.UML.Behaviors.UML_Behavior_Access is 462 begin 463 return 464 AMF.UML.Behaviors.UML_Behavior_Access 465 (AMF.Internals.Helpers.To_Element 466 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Classifier_Behavior 467 (Self.Element))); 468 end Get_Classifier_Behavior; 469 470 ----------------------------- 471 -- Set_Classifier_Behavior -- 472 ----------------------------- 473 474 overriding procedure Set_Classifier_Behavior 475 (Self : not null access UML_Protocol_State_Machine_Proxy; 476 To : AMF.UML.Behaviors.UML_Behavior_Access) is 477 begin 478 AMF.Internals.Tables.UML_Attributes.Internal_Set_Classifier_Behavior 479 (Self.Element, 480 AMF.Internals.Helpers.To_Element 481 (AMF.Elements.Element_Access (To))); 482 end Set_Classifier_Behavior; 483 484 ------------------------------- 485 -- Get_Interface_Realization -- 486 ------------------------------- 487 488 overriding function Get_Interface_Realization 489 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 490 return AMF.UML.Interface_Realizations.Collections.Set_Of_UML_Interface_Realization is 491 begin 492 return 493 AMF.UML.Interface_Realizations.Collections.Wrap 494 (AMF.Internals.Element_Collections.Wrap 495 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Interface_Realization 496 (Self.Element))); 497 end Get_Interface_Realization; 498 499 ------------------------ 500 -- Get_Owned_Behavior -- 501 ------------------------ 502 503 overriding function Get_Owned_Behavior 504 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 505 return AMF.UML.Behaviors.Collections.Set_Of_UML_Behavior is 506 begin 507 return 508 AMF.UML.Behaviors.Collections.Wrap 509 (AMF.Internals.Element_Collections.Wrap 510 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Behavior 511 (Self.Element))); 512 end Get_Owned_Behavior; 513 514 ------------------- 515 -- Get_Attribute -- 516 ------------------- 517 518 overriding function Get_Attribute 519 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 520 return AMF.UML.Properties.Collections.Set_Of_UML_Property is 521 begin 522 return 523 AMF.UML.Properties.Collections.Wrap 524 (AMF.Internals.Element_Collections.Wrap 525 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Attribute 526 (Self.Element))); 527 end Get_Attribute; 528 529 --------------------------- 530 -- Get_Collaboration_Use -- 531 --------------------------- 532 533 overriding function Get_Collaboration_Use 534 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 535 return AMF.UML.Collaboration_Uses.Collections.Set_Of_UML_Collaboration_Use is 536 begin 537 return 538 AMF.UML.Collaboration_Uses.Collections.Wrap 539 (AMF.Internals.Element_Collections.Wrap 540 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Collaboration_Use 541 (Self.Element))); 542 end Get_Collaboration_Use; 543 544 ----------------- 545 -- Get_Feature -- 546 ----------------- 547 548 overriding function Get_Feature 549 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 550 return AMF.UML.Features.Collections.Set_Of_UML_Feature is 551 begin 552 return 553 AMF.UML.Features.Collections.Wrap 554 (AMF.Internals.Element_Collections.Wrap 555 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Feature 556 (Self.Element))); 557 end Get_Feature; 558 559 ----------------- 560 -- Get_General -- 561 ----------------- 562 563 overriding function Get_General 564 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 565 return AMF.UML.Classifiers.Collections.Set_Of_UML_Classifier is 566 begin 567 return 568 AMF.UML.Classifiers.Collections.Wrap 569 (AMF.Internals.Element_Collections.Wrap 570 (AMF.Internals.Tables.UML_Attributes.Internal_Get_General 571 (Self.Element))); 572 end Get_General; 573 574 ------------------------ 575 -- Get_Generalization -- 576 ------------------------ 577 578 overriding function Get_Generalization 579 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 580 return AMF.UML.Generalizations.Collections.Set_Of_UML_Generalization is 581 begin 582 return 583 AMF.UML.Generalizations.Collections.Wrap 584 (AMF.Internals.Element_Collections.Wrap 585 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Generalization 586 (Self.Element))); 587 end Get_Generalization; 588 589 -------------------------- 590 -- Get_Inherited_Member -- 591 -------------------------- 592 593 overriding function Get_Inherited_Member 594 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 595 return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element is 596 begin 597 return 598 AMF.UML.Named_Elements.Collections.Wrap 599 (AMF.Internals.Element_Collections.Wrap 600 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Inherited_Member 601 (Self.Element))); 602 end Get_Inherited_Member; 603 604 --------------------------------- 605 -- Get_Is_Final_Specialization -- 606 --------------------------------- 607 608 overriding function Get_Is_Final_Specialization 609 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 610 return Boolean is 611 begin 612 return 613 AMF.Internals.Tables.UML_Attributes.Internal_Get_Is_Final_Specialization 614 (Self.Element); 615 end Get_Is_Final_Specialization; 616 617 --------------------------------- 618 -- Set_Is_Final_Specialization -- 619 --------------------------------- 620 621 overriding procedure Set_Is_Final_Specialization 622 (Self : not null access UML_Protocol_State_Machine_Proxy; 623 To : Boolean) is 624 begin 625 AMF.Internals.Tables.UML_Attributes.Internal_Set_Is_Final_Specialization 626 (Self.Element, To); 627 end Set_Is_Final_Specialization; 628 629 ---------------------------------- 630 -- Get_Owned_Template_Signature -- 631 ---------------------------------- 632 633 overriding function Get_Owned_Template_Signature 634 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 635 return AMF.UML.Redefinable_Template_Signatures.UML_Redefinable_Template_Signature_Access is 636 begin 637 return 638 AMF.UML.Redefinable_Template_Signatures.UML_Redefinable_Template_Signature_Access 639 (AMF.Internals.Helpers.To_Element 640 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Template_Signature 641 (Self.Element))); 642 end Get_Owned_Template_Signature; 643 644 ---------------------------------- 645 -- Set_Owned_Template_Signature -- 646 ---------------------------------- 647 648 overriding procedure Set_Owned_Template_Signature 649 (Self : not null access UML_Protocol_State_Machine_Proxy; 650 To : AMF.UML.Redefinable_Template_Signatures.UML_Redefinable_Template_Signature_Access) is 651 begin 652 AMF.Internals.Tables.UML_Attributes.Internal_Set_Owned_Template_Signature 653 (Self.Element, 654 AMF.Internals.Helpers.To_Element 655 (AMF.Elements.Element_Access (To))); 656 end Set_Owned_Template_Signature; 657 658 ------------------------ 659 -- Get_Owned_Use_Case -- 660 ------------------------ 661 662 overriding function Get_Owned_Use_Case 663 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 664 return AMF.UML.Use_Cases.Collections.Set_Of_UML_Use_Case is 665 begin 666 return 667 AMF.UML.Use_Cases.Collections.Wrap 668 (AMF.Internals.Element_Collections.Wrap 669 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Use_Case 670 (Self.Element))); 671 end Get_Owned_Use_Case; 672 673 -------------------------- 674 -- Get_Powertype_Extent -- 675 -------------------------- 676 677 overriding function Get_Powertype_Extent 678 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 679 return AMF.UML.Generalization_Sets.Collections.Set_Of_UML_Generalization_Set is 680 begin 681 return 682 AMF.UML.Generalization_Sets.Collections.Wrap 683 (AMF.Internals.Element_Collections.Wrap 684 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Powertype_Extent 685 (Self.Element))); 686 end Get_Powertype_Extent; 687 688 ------------------------------ 689 -- Get_Redefined_Classifier -- 690 ------------------------------ 691 692 overriding function Get_Redefined_Classifier 693 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 694 return AMF.UML.Classifiers.Collections.Set_Of_UML_Classifier is 695 begin 696 return 697 AMF.UML.Classifiers.Collections.Wrap 698 (AMF.Internals.Element_Collections.Wrap 699 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Redefined_Classifier 700 (Self.Element))); 701 end Get_Redefined_Classifier; 702 703 ------------------------ 704 -- Get_Representation -- 705 ------------------------ 706 707 overriding function Get_Representation 708 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 709 return AMF.UML.Collaboration_Uses.UML_Collaboration_Use_Access is 710 begin 711 return 712 AMF.UML.Collaboration_Uses.UML_Collaboration_Use_Access 713 (AMF.Internals.Helpers.To_Element 714 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Representation 715 (Self.Element))); 716 end Get_Representation; 717 718 ------------------------ 719 -- Set_Representation -- 720 ------------------------ 721 722 overriding procedure Set_Representation 723 (Self : not null access UML_Protocol_State_Machine_Proxy; 724 To : AMF.UML.Collaboration_Uses.UML_Collaboration_Use_Access) is 725 begin 726 AMF.Internals.Tables.UML_Attributes.Internal_Set_Representation 727 (Self.Element, 728 AMF.Internals.Helpers.To_Element 729 (AMF.Elements.Element_Access (To))); 730 end Set_Representation; 731 732 ---------------------- 733 -- Get_Substitution -- 734 ---------------------- 735 736 overriding function Get_Substitution 737 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 738 return AMF.UML.Substitutions.Collections.Set_Of_UML_Substitution is 739 begin 740 return 741 AMF.UML.Substitutions.Collections.Wrap 742 (AMF.Internals.Element_Collections.Wrap 743 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Substitution 744 (Self.Element))); 745 end Get_Substitution; 746 747 ---------------------------- 748 -- Get_Template_Parameter -- 749 ---------------------------- 750 751 overriding function Get_Template_Parameter 752 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 753 return AMF.UML.Classifier_Template_Parameters.UML_Classifier_Template_Parameter_Access is 754 begin 755 return 756 AMF.UML.Classifier_Template_Parameters.UML_Classifier_Template_Parameter_Access 757 (AMF.Internals.Helpers.To_Element 758 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Template_Parameter 759 (Self.Element))); 760 end Get_Template_Parameter; 761 762 ---------------------------- 763 -- Set_Template_Parameter -- 764 ---------------------------- 765 766 overriding procedure Set_Template_Parameter 767 (Self : not null access UML_Protocol_State_Machine_Proxy; 768 To : AMF.UML.Classifier_Template_Parameters.UML_Classifier_Template_Parameter_Access) is 769 begin 770 AMF.Internals.Tables.UML_Attributes.Internal_Set_Template_Parameter 771 (Self.Element, 772 AMF.Internals.Helpers.To_Element 773 (AMF.Elements.Element_Access (To))); 774 end Set_Template_Parameter; 775 776 ------------------ 777 -- Get_Use_Case -- 778 ------------------ 779 780 overriding function Get_Use_Case 781 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 782 return AMF.UML.Use_Cases.Collections.Set_Of_UML_Use_Case is 783 begin 784 return 785 AMF.UML.Use_Cases.Collections.Wrap 786 (AMF.Internals.Element_Collections.Wrap 787 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Use_Case 788 (Self.Element))); 789 end Get_Use_Case; 790 791 ------------------------ 792 -- Get_Element_Import -- 793 ------------------------ 794 795 overriding function Get_Element_Import 796 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 797 return AMF.UML.Element_Imports.Collections.Set_Of_UML_Element_Import is 798 begin 799 return 800 AMF.UML.Element_Imports.Collections.Wrap 801 (AMF.Internals.Element_Collections.Wrap 802 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Element_Import 803 (Self.Element))); 804 end Get_Element_Import; 805 806 ------------------------- 807 -- Get_Imported_Member -- 808 ------------------------- 809 810 overriding function Get_Imported_Member 811 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 812 return AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element is 813 begin 814 return 815 AMF.UML.Packageable_Elements.Collections.Wrap 816 (AMF.Internals.Element_Collections.Wrap 817 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Imported_Member 818 (Self.Element))); 819 end Get_Imported_Member; 820 821 ---------------- 822 -- Get_Member -- 823 ---------------- 824 825 overriding function Get_Member 826 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 827 return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element is 828 begin 829 return 830 AMF.UML.Named_Elements.Collections.Wrap 831 (AMF.Internals.Element_Collections.Wrap 832 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Member 833 (Self.Element))); 834 end Get_Member; 835 836 ---------------------- 837 -- Get_Owned_Member -- 838 ---------------------- 839 840 overriding function Get_Owned_Member 841 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 842 return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element is 843 begin 844 return 845 AMF.UML.Named_Elements.Collections.Wrap 846 (AMF.Internals.Element_Collections.Wrap 847 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Member 848 (Self.Element))); 849 end Get_Owned_Member; 850 851 -------------------- 852 -- Get_Owned_Rule -- 853 -------------------- 854 855 overriding function Get_Owned_Rule 856 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 857 return AMF.UML.Constraints.Collections.Set_Of_UML_Constraint is 858 begin 859 return 860 AMF.UML.Constraints.Collections.Wrap 861 (AMF.Internals.Element_Collections.Wrap 862 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Rule 863 (Self.Element))); 864 end Get_Owned_Rule; 865 866 ------------------------ 867 -- Get_Package_Import -- 868 ------------------------ 869 870 overriding function Get_Package_Import 871 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 872 return AMF.UML.Package_Imports.Collections.Set_Of_UML_Package_Import is 873 begin 874 return 875 AMF.UML.Package_Imports.Collections.Wrap 876 (AMF.Internals.Element_Collections.Wrap 877 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Package_Import 878 (Self.Element))); 879 end Get_Package_Import; 880 881 --------------------------- 882 -- Get_Client_Dependency -- 883 --------------------------- 884 885 overriding function Get_Client_Dependency 886 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 887 return AMF.UML.Dependencies.Collections.Set_Of_UML_Dependency is 888 begin 889 return 890 AMF.UML.Dependencies.Collections.Wrap 891 (AMF.Internals.Element_Collections.Wrap 892 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Client_Dependency 893 (Self.Element))); 894 end Get_Client_Dependency; 895 896 ------------------------- 897 -- Get_Name_Expression -- 898 ------------------------- 899 900 overriding function Get_Name_Expression 901 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 902 return AMF.UML.String_Expressions.UML_String_Expression_Access is 903 begin 904 return 905 AMF.UML.String_Expressions.UML_String_Expression_Access 906 (AMF.Internals.Helpers.To_Element 907 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Name_Expression 908 (Self.Element))); 909 end Get_Name_Expression; 910 911 ------------------------- 912 -- Set_Name_Expression -- 913 ------------------------- 914 915 overriding procedure Set_Name_Expression 916 (Self : not null access UML_Protocol_State_Machine_Proxy; 917 To : AMF.UML.String_Expressions.UML_String_Expression_Access) is 918 begin 919 AMF.Internals.Tables.UML_Attributes.Internal_Set_Name_Expression 920 (Self.Element, 921 AMF.Internals.Helpers.To_Element 922 (AMF.Elements.Element_Access (To))); 923 end Set_Name_Expression; 924 925 ------------------- 926 -- Get_Namespace -- 927 ------------------- 928 929 overriding function Get_Namespace 930 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 931 return AMF.UML.Namespaces.UML_Namespace_Access is 932 begin 933 return 934 AMF.UML.Namespaces.UML_Namespace_Access 935 (AMF.Internals.Helpers.To_Element 936 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Namespace 937 (Self.Element))); 938 end Get_Namespace; 939 940 ------------------------ 941 -- Get_Qualified_Name -- 942 ------------------------ 943 944 overriding function Get_Qualified_Name 945 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 946 return AMF.Optional_String is 947 begin 948 declare 949 use type Matreshka.Internals.Strings.Shared_String_Access; 950 951 Aux : constant Matreshka.Internals.Strings.Shared_String_Access 952 := AMF.Internals.Tables.UML_Attributes.Internal_Get_Qualified_Name (Self.Element); 953 954 begin 955 if Aux = null then 956 return (Is_Empty => True); 957 958 else 959 return (False, League.Strings.Internals.Create (Aux)); 960 end if; 961 end; 962 end Get_Qualified_Name; 963 964 ----------------- 965 -- Get_Package -- 966 ----------------- 967 968 overriding function Get_Package 969 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 970 return AMF.UML.Packages.UML_Package_Access is 971 begin 972 return 973 AMF.UML.Packages.UML_Package_Access 974 (AMF.Internals.Helpers.To_Element 975 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Package 976 (Self.Element))); 977 end Get_Package; 978 979 ----------------- 980 -- Set_Package -- 981 ----------------- 982 983 overriding procedure Set_Package 984 (Self : not null access UML_Protocol_State_Machine_Proxy; 985 To : AMF.UML.Packages.UML_Package_Access) is 986 begin 987 AMF.Internals.Tables.UML_Attributes.Internal_Set_Package 988 (Self.Element, 989 AMF.Internals.Helpers.To_Element 990 (AMF.Elements.Element_Access (To))); 991 end Set_Package; 992 993 ----------------------------------- 994 -- Get_Owning_Template_Parameter -- 995 ----------------------------------- 996 997 overriding function Get_Owning_Template_Parameter 998 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 999 return AMF.UML.Template_Parameters.UML_Template_Parameter_Access is 1000 begin 1001 return 1002 AMF.UML.Template_Parameters.UML_Template_Parameter_Access 1003 (AMF.Internals.Helpers.To_Element 1004 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owning_Template_Parameter 1005 (Self.Element))); 1006 end Get_Owning_Template_Parameter; 1007 1008 ----------------------------------- 1009 -- Set_Owning_Template_Parameter -- 1010 ----------------------------------- 1011 1012 overriding procedure Set_Owning_Template_Parameter 1013 (Self : not null access UML_Protocol_State_Machine_Proxy; 1014 To : AMF.UML.Template_Parameters.UML_Template_Parameter_Access) is 1015 begin 1016 AMF.Internals.Tables.UML_Attributes.Internal_Set_Owning_Template_Parameter 1017 (Self.Element, 1018 AMF.Internals.Helpers.To_Element 1019 (AMF.Elements.Element_Access (To))); 1020 end Set_Owning_Template_Parameter; 1021 1022 ---------------------------- 1023 -- Get_Template_Parameter -- 1024 ---------------------------- 1025 1026 overriding function Get_Template_Parameter 1027 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 1028 return AMF.UML.Template_Parameters.UML_Template_Parameter_Access is 1029 begin 1030 return 1031 AMF.UML.Template_Parameters.UML_Template_Parameter_Access 1032 (AMF.Internals.Helpers.To_Element 1033 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Template_Parameter 1034 (Self.Element))); 1035 end Get_Template_Parameter; 1036 1037 ---------------------------- 1038 -- Set_Template_Parameter -- 1039 ---------------------------- 1040 1041 overriding procedure Set_Template_Parameter 1042 (Self : not null access UML_Protocol_State_Machine_Proxy; 1043 To : AMF.UML.Template_Parameters.UML_Template_Parameter_Access) is 1044 begin 1045 AMF.Internals.Tables.UML_Attributes.Internal_Set_Template_Parameter 1046 (Self.Element, 1047 AMF.Internals.Helpers.To_Element 1048 (AMF.Elements.Element_Access (To))); 1049 end Set_Template_Parameter; 1050 1051 ---------------------------------- 1052 -- Get_Owned_Template_Signature -- 1053 ---------------------------------- 1054 1055 overriding function Get_Owned_Template_Signature 1056 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 1057 return AMF.UML.Template_Signatures.UML_Template_Signature_Access is 1058 begin 1059 return 1060 AMF.UML.Template_Signatures.UML_Template_Signature_Access 1061 (AMF.Internals.Helpers.To_Element 1062 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Template_Signature 1063 (Self.Element))); 1064 end Get_Owned_Template_Signature; 1065 1066 ---------------------------------- 1067 -- Set_Owned_Template_Signature -- 1068 ---------------------------------- 1069 1070 overriding procedure Set_Owned_Template_Signature 1071 (Self : not null access UML_Protocol_State_Machine_Proxy; 1072 To : AMF.UML.Template_Signatures.UML_Template_Signature_Access) is 1073 begin 1074 AMF.Internals.Tables.UML_Attributes.Internal_Set_Owned_Template_Signature 1075 (Self.Element, 1076 AMF.Internals.Helpers.To_Element 1077 (AMF.Elements.Element_Access (To))); 1078 end Set_Owned_Template_Signature; 1079 1080 -------------------------- 1081 -- Get_Template_Binding -- 1082 -------------------------- 1083 1084 overriding function Get_Template_Binding 1085 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 1086 return AMF.UML.Template_Bindings.Collections.Set_Of_UML_Template_Binding is 1087 begin 1088 return 1089 AMF.UML.Template_Bindings.Collections.Wrap 1090 (AMF.Internals.Element_Collections.Wrap 1091 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Template_Binding 1092 (Self.Element))); 1093 end Get_Template_Binding; 1094 1095 ----------------- 1096 -- Get_Is_Leaf -- 1097 ----------------- 1098 1099 overriding function Get_Is_Leaf 1100 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 1101 return Boolean is 1102 begin 1103 return 1104 AMF.Internals.Tables.UML_Attributes.Internal_Get_Is_Leaf 1105 (Self.Element); 1106 end Get_Is_Leaf; 1107 1108 ----------------- 1109 -- Set_Is_Leaf -- 1110 ----------------- 1111 1112 overriding procedure Set_Is_Leaf 1113 (Self : not null access UML_Protocol_State_Machine_Proxy; 1114 To : Boolean) is 1115 begin 1116 AMF.Internals.Tables.UML_Attributes.Internal_Set_Is_Leaf 1117 (Self.Element, To); 1118 end Set_Is_Leaf; 1119 1120 --------------------------- 1121 -- Get_Redefined_Element -- 1122 --------------------------- 1123 1124 overriding function Get_Redefined_Element 1125 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 1126 return AMF.UML.Redefinable_Elements.Collections.Set_Of_UML_Redefinable_Element is 1127 begin 1128 return 1129 AMF.UML.Redefinable_Elements.Collections.Wrap 1130 (AMF.Internals.Element_Collections.Wrap 1131 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Redefined_Element 1132 (Self.Element))); 1133 end Get_Redefined_Element; 1134 1135 ------------------------------ 1136 -- Get_Redefinition_Context -- 1137 ------------------------------ 1138 1139 overriding function Get_Redefinition_Context 1140 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 1141 return AMF.UML.Classifiers.Collections.Set_Of_UML_Classifier is 1142 begin 1143 return 1144 AMF.UML.Classifiers.Collections.Wrap 1145 (AMF.Internals.Element_Collections.Wrap 1146 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Redefinition_Context 1147 (Self.Element))); 1148 end Get_Redefinition_Context; 1149 1150 -------------------- 1151 -- Get_Owned_Port -- 1152 -------------------- 1153 1154 overriding function Get_Owned_Port 1155 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 1156 return AMF.UML.Ports.Collections.Set_Of_UML_Port is 1157 begin 1158 return 1159 AMF.UML.Ports.Collections.Wrap 1160 (AMF.Internals.Element_Collections.Wrap 1161 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Port 1162 (Self.Element))); 1163 end Get_Owned_Port; 1164 1165 ------------------------- 1166 -- Get_Owned_Connector -- 1167 ------------------------- 1168 1169 overriding function Get_Owned_Connector 1170 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 1171 return AMF.UML.Connectors.Collections.Set_Of_UML_Connector is 1172 begin 1173 return 1174 AMF.UML.Connectors.Collections.Wrap 1175 (AMF.Internals.Element_Collections.Wrap 1176 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owned_Connector 1177 (Self.Element))); 1178 end Get_Owned_Connector; 1179 1180 -------------- 1181 -- Get_Part -- 1182 -------------- 1183 1184 overriding function Get_Part 1185 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 1186 return AMF.UML.Properties.Collections.Set_Of_UML_Property is 1187 begin 1188 return 1189 AMF.UML.Properties.Collections.Wrap 1190 (AMF.Internals.Element_Collections.Wrap 1191 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Part 1192 (Self.Element))); 1193 end Get_Part; 1194 1195 -------------- 1196 -- Get_Role -- 1197 -------------- 1198 1199 overriding function Get_Role 1200 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 1201 return AMF.UML.Connectable_Elements.Collections.Set_Of_UML_Connectable_Element is 1202 begin 1203 return 1204 AMF.UML.Connectable_Elements.Collections.Wrap 1205 (AMF.Internals.Element_Collections.Wrap 1206 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Role 1207 (Self.Element))); 1208 end Get_Role; 1209 1210 --------- 1211 -- LCA -- 1212 --------- 1213 1214 overriding function LCA 1215 (Self : not null access constant UML_Protocol_State_Machine_Proxy; 1216 S1 : AMF.UML.States.UML_State_Access; 1217 S2 : AMF.UML.States.UML_State_Access) 1218 return AMF.UML.Namespaces.UML_Namespace_Access is 1219 begin 1220 -- Generated stub: replace with real body! 1221 pragma Compile_Time_Warning (Standard.True, "LCA unimplemented"); 1222 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.LCA"; 1223 return LCA (Self, S1, S2); 1224 end LCA; 1225 1226 -------------- 1227 -- Ancestor -- 1228 -------------- 1229 1230 overriding function Ancestor 1231 (Self : not null access constant UML_Protocol_State_Machine_Proxy; 1232 S1 : AMF.UML.States.UML_State_Access; 1233 S2 : AMF.UML.States.UML_State_Access) 1234 return Boolean is 1235 begin 1236 -- Generated stub: replace with real body! 1237 pragma Compile_Time_Warning (Standard.True, "Ancestor unimplemented"); 1238 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Ancestor"; 1239 return Ancestor (Self, S1, S2); 1240 end Ancestor; 1241 1242 ------------------------ 1243 -- Is_Consistent_With -- 1244 ------------------------ 1245 1246 overriding function Is_Consistent_With 1247 (Self : not null access constant UML_Protocol_State_Machine_Proxy; 1248 Redefinee : AMF.UML.Redefinable_Elements.UML_Redefinable_Element_Access) 1249 return Boolean is 1250 begin 1251 -- Generated stub: replace with real body! 1252 pragma Compile_Time_Warning (Standard.True, "Is_Consistent_With unimplemented"); 1253 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Is_Consistent_With"; 1254 return Is_Consistent_With (Self, Redefinee); 1255 end Is_Consistent_With; 1256 1257 ----------------------------------- 1258 -- Is_Redefinition_Context_Valid -- 1259 ----------------------------------- 1260 1261 overriding function Is_Redefinition_Context_Valid 1262 (Self : not null access constant UML_Protocol_State_Machine_Proxy; 1263 Redefined : AMF.UML.State_Machines.UML_State_Machine_Access) 1264 return Boolean is 1265 begin 1266 -- Generated stub: replace with real body! 1267 pragma Compile_Time_Warning (Standard.True, "Is_Redefinition_Context_Valid unimplemented"); 1268 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Is_Redefinition_Context_Valid"; 1269 return Is_Redefinition_Context_Valid (Self, Redefined); 1270 end Is_Redefinition_Context_Valid; 1271 1272 ------------- 1273 -- Context -- 1274 ------------- 1275 1276 overriding function Context 1277 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 1278 return AMF.UML.Behaviored_Classifiers.UML_Behaviored_Classifier_Access is 1279 begin 1280 -- Generated stub: replace with real body! 1281 pragma Compile_Time_Warning (Standard.True, "Context unimplemented"); 1282 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Context"; 1283 return Context (Self); 1284 end Context; 1285 1286 --------------- 1287 -- Extension -- 1288 --------------- 1289 1290 overriding function Extension 1291 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 1292 return AMF.UML.Extensions.Collections.Set_Of_UML_Extension is 1293 begin 1294 -- Generated stub: replace with real body! 1295 pragma Compile_Time_Warning (Standard.True, "Extension unimplemented"); 1296 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Extension"; 1297 return Extension (Self); 1298 end Extension; 1299 1300 ------------- 1301 -- Inherit -- 1302 ------------- 1303 1304 overriding function Inherit 1305 (Self : not null access constant UML_Protocol_State_Machine_Proxy; 1306 Inhs : AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element) 1307 return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element is 1308 begin 1309 -- Generated stub: replace with real body! 1310 pragma Compile_Time_Warning (Standard.True, "Inherit unimplemented"); 1311 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Inherit"; 1312 return Inherit (Self, Inhs); 1313 end Inherit; 1314 1315 ----------------- 1316 -- Super_Class -- 1317 ----------------- 1318 1319 overriding function Super_Class 1320 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 1321 return AMF.UML.Classes.Collections.Set_Of_UML_Class is 1322 begin 1323 -- Generated stub: replace with real body! 1324 pragma Compile_Time_Warning (Standard.True, "Super_Class unimplemented"); 1325 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Super_Class"; 1326 return Super_Class (Self); 1327 end Super_Class; 1328 1329 ------------------ 1330 -- All_Features -- 1331 ------------------ 1332 1333 overriding function All_Features 1334 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 1335 return AMF.UML.Features.Collections.Set_Of_UML_Feature is 1336 begin 1337 -- Generated stub: replace with real body! 1338 pragma Compile_Time_Warning (Standard.True, "All_Features unimplemented"); 1339 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.All_Features"; 1340 return All_Features (Self); 1341 end All_Features; 1342 1343 ----------------- 1344 -- Conforms_To -- 1345 ----------------- 1346 1347 overriding function Conforms_To 1348 (Self : not null access constant UML_Protocol_State_Machine_Proxy; 1349 Other : AMF.UML.Classifiers.UML_Classifier_Access) 1350 return Boolean is 1351 begin 1352 -- Generated stub: replace with real body! 1353 pragma Compile_Time_Warning (Standard.True, "Conforms_To unimplemented"); 1354 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Conforms_To"; 1355 return Conforms_To (Self, Other); 1356 end Conforms_To; 1357 1358 ------------- 1359 -- General -- 1360 ------------- 1361 1362 overriding function General 1363 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 1364 return AMF.UML.Classifiers.Collections.Set_Of_UML_Classifier is 1365 begin 1366 -- Generated stub: replace with real body! 1367 pragma Compile_Time_Warning (Standard.True, "General unimplemented"); 1368 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.General"; 1369 return General (Self); 1370 end General; 1371 1372 ----------------------- 1373 -- Has_Visibility_Of -- 1374 ----------------------- 1375 1376 overriding function Has_Visibility_Of 1377 (Self : not null access constant UML_Protocol_State_Machine_Proxy; 1378 N : AMF.UML.Named_Elements.UML_Named_Element_Access) 1379 return Boolean is 1380 begin 1381 -- Generated stub: replace with real body! 1382 pragma Compile_Time_Warning (Standard.True, "Has_Visibility_Of unimplemented"); 1383 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Has_Visibility_Of"; 1384 return Has_Visibility_Of (Self, N); 1385 end Has_Visibility_Of; 1386 1387 ------------------------- 1388 -- Inheritable_Members -- 1389 ------------------------- 1390 1391 overriding function Inheritable_Members 1392 (Self : not null access constant UML_Protocol_State_Machine_Proxy; 1393 C : AMF.UML.Classifiers.UML_Classifier_Access) 1394 return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element is 1395 begin 1396 -- Generated stub: replace with real body! 1397 pragma Compile_Time_Warning (Standard.True, "Inheritable_Members unimplemented"); 1398 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Inheritable_Members"; 1399 return Inheritable_Members (Self, C); 1400 end Inheritable_Members; 1401 1402 ---------------------- 1403 -- Inherited_Member -- 1404 ---------------------- 1405 1406 overriding function Inherited_Member 1407 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 1408 return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element is 1409 begin 1410 -- Generated stub: replace with real body! 1411 pragma Compile_Time_Warning (Standard.True, "Inherited_Member unimplemented"); 1412 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Inherited_Member"; 1413 return Inherited_Member (Self); 1414 end Inherited_Member; 1415 1416 ----------------- 1417 -- Is_Template -- 1418 ----------------- 1419 1420 overriding function Is_Template 1421 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 1422 return Boolean is 1423 begin 1424 -- Generated stub: replace with real body! 1425 pragma Compile_Time_Warning (Standard.True, "Is_Template unimplemented"); 1426 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Is_Template"; 1427 return Is_Template (Self); 1428 end Is_Template; 1429 1430 ------------------------- 1431 -- May_Specialize_Type -- 1432 ------------------------- 1433 1434 overriding function May_Specialize_Type 1435 (Self : not null access constant UML_Protocol_State_Machine_Proxy; 1436 C : AMF.UML.Classifiers.UML_Classifier_Access) 1437 return Boolean is 1438 begin 1439 -- Generated stub: replace with real body! 1440 pragma Compile_Time_Warning (Standard.True, "May_Specialize_Type unimplemented"); 1441 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.May_Specialize_Type"; 1442 return May_Specialize_Type (Self, C); 1443 end May_Specialize_Type; 1444 1445 ------------------------ 1446 -- Exclude_Collisions -- 1447 ------------------------ 1448 1449 overriding function Exclude_Collisions 1450 (Self : not null access constant UML_Protocol_State_Machine_Proxy; 1451 Imps : AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element) 1452 return AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element is 1453 begin 1454 -- Generated stub: replace with real body! 1455 pragma Compile_Time_Warning (Standard.True, "Exclude_Collisions unimplemented"); 1456 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Exclude_Collisions"; 1457 return Exclude_Collisions (Self, Imps); 1458 end Exclude_Collisions; 1459 1460 ------------------------- 1461 -- Get_Names_Of_Member -- 1462 ------------------------- 1463 1464 overriding function Get_Names_Of_Member 1465 (Self : not null access constant UML_Protocol_State_Machine_Proxy; 1466 Element : AMF.UML.Named_Elements.UML_Named_Element_Access) 1467 return AMF.String_Collections.Set_Of_String is 1468 begin 1469 -- Generated stub: replace with real body! 1470 pragma Compile_Time_Warning (Standard.True, "Get_Names_Of_Member unimplemented"); 1471 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Get_Names_Of_Member"; 1472 return Get_Names_Of_Member (Self, Element); 1473 end Get_Names_Of_Member; 1474 1475 -------------------- 1476 -- Import_Members -- 1477 -------------------- 1478 1479 overriding function Import_Members 1480 (Self : not null access constant UML_Protocol_State_Machine_Proxy; 1481 Imps : AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element) 1482 return AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element is 1483 begin 1484 -- Generated stub: replace with real body! 1485 pragma Compile_Time_Warning (Standard.True, "Import_Members unimplemented"); 1486 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Import_Members"; 1487 return Import_Members (Self, Imps); 1488 end Import_Members; 1489 1490 --------------------- 1491 -- Imported_Member -- 1492 --------------------- 1493 1494 overriding function Imported_Member 1495 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 1496 return AMF.UML.Packageable_Elements.Collections.Set_Of_UML_Packageable_Element is 1497 begin 1498 -- Generated stub: replace with real body! 1499 pragma Compile_Time_Warning (Standard.True, "Imported_Member unimplemented"); 1500 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Imported_Member"; 1501 return Imported_Member (Self); 1502 end Imported_Member; 1503 1504 --------------------------------- 1505 -- Members_Are_Distinguishable -- 1506 --------------------------------- 1507 1508 overriding function Members_Are_Distinguishable 1509 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 1510 return Boolean is 1511 begin 1512 -- Generated stub: replace with real body! 1513 pragma Compile_Time_Warning (Standard.True, "Members_Are_Distinguishable unimplemented"); 1514 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Members_Are_Distinguishable"; 1515 return Members_Are_Distinguishable (Self); 1516 end Members_Are_Distinguishable; 1517 1518 ------------------ 1519 -- Owned_Member -- 1520 ------------------ 1521 1522 overriding function Owned_Member 1523 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 1524 return AMF.UML.Named_Elements.Collections.Set_Of_UML_Named_Element is 1525 begin 1526 -- Generated stub: replace with real body! 1527 pragma Compile_Time_Warning (Standard.True, "Owned_Member unimplemented"); 1528 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Owned_Member"; 1529 return Owned_Member (Self); 1530 end Owned_Member; 1531 1532 ------------------------- 1533 -- All_Owning_Packages -- 1534 ------------------------- 1535 1536 overriding function All_Owning_Packages 1537 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 1538 return AMF.UML.Packages.Collections.Set_Of_UML_Package is 1539 begin 1540 -- Generated stub: replace with real body! 1541 pragma Compile_Time_Warning (Standard.True, "All_Owning_Packages unimplemented"); 1542 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.All_Owning_Packages"; 1543 return All_Owning_Packages (Self); 1544 end All_Owning_Packages; 1545 1546 ----------------------------- 1547 -- Is_Distinguishable_From -- 1548 ----------------------------- 1549 1550 overriding function Is_Distinguishable_From 1551 (Self : not null access constant UML_Protocol_State_Machine_Proxy; 1552 N : AMF.UML.Named_Elements.UML_Named_Element_Access; 1553 Ns : AMF.UML.Namespaces.UML_Namespace_Access) 1554 return Boolean is 1555 begin 1556 -- Generated stub: replace with real body! 1557 pragma Compile_Time_Warning (Standard.True, "Is_Distinguishable_From unimplemented"); 1558 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Is_Distinguishable_From"; 1559 return Is_Distinguishable_From (Self, N, Ns); 1560 end Is_Distinguishable_From; 1561 1562 --------------- 1563 -- Namespace -- 1564 --------------- 1565 1566 overriding function Namespace 1567 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 1568 return AMF.UML.Namespaces.UML_Namespace_Access is 1569 begin 1570 -- Generated stub: replace with real body! 1571 pragma Compile_Time_Warning (Standard.True, "Namespace unimplemented"); 1572 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Namespace"; 1573 return Namespace (Self); 1574 end Namespace; 1575 1576 ----------------- 1577 -- Conforms_To -- 1578 ----------------- 1579 1580 overriding function Conforms_To 1581 (Self : not null access constant UML_Protocol_State_Machine_Proxy; 1582 Other : AMF.UML.Types.UML_Type_Access) 1583 return Boolean is 1584 begin 1585 -- Generated stub: replace with real body! 1586 pragma Compile_Time_Warning (Standard.True, "Conforms_To unimplemented"); 1587 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Conforms_To"; 1588 return Conforms_To (Self, Other); 1589 end Conforms_To; 1590 1591 ------------------------ 1592 -- Is_Compatible_With -- 1593 ------------------------ 1594 1595 overriding function Is_Compatible_With 1596 (Self : not null access constant UML_Protocol_State_Machine_Proxy; 1597 P : AMF.UML.Parameterable_Elements.UML_Parameterable_Element_Access) 1598 return Boolean is 1599 begin 1600 -- Generated stub: replace with real body! 1601 pragma Compile_Time_Warning (Standard.True, "Is_Compatible_With unimplemented"); 1602 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Is_Compatible_With"; 1603 return Is_Compatible_With (Self, P); 1604 end Is_Compatible_With; 1605 1606 --------------------------- 1607 -- Is_Template_Parameter -- 1608 --------------------------- 1609 1610 overriding function Is_Template_Parameter 1611 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 1612 return Boolean is 1613 begin 1614 -- Generated stub: replace with real body! 1615 pragma Compile_Time_Warning (Standard.True, "Is_Template_Parameter unimplemented"); 1616 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Is_Template_Parameter"; 1617 return Is_Template_Parameter (Self); 1618 end Is_Template_Parameter; 1619 1620 ---------------------------- 1621 -- Parameterable_Elements -- 1622 ---------------------------- 1623 1624 overriding function Parameterable_Elements 1625 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 1626 return AMF.UML.Parameterable_Elements.Collections.Set_Of_UML_Parameterable_Element is 1627 begin 1628 -- Generated stub: replace with real body! 1629 pragma Compile_Time_Warning (Standard.True, "Parameterable_Elements unimplemented"); 1630 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Parameterable_Elements"; 1631 return Parameterable_Elements (Self); 1632 end Parameterable_Elements; 1633 1634 ----------------------------------- 1635 -- Is_Redefinition_Context_Valid -- 1636 ----------------------------------- 1637 1638 overriding function Is_Redefinition_Context_Valid 1639 (Self : not null access constant UML_Protocol_State_Machine_Proxy; 1640 Redefined : AMF.UML.Redefinable_Elements.UML_Redefinable_Element_Access) 1641 return Boolean is 1642 begin 1643 -- Generated stub: replace with real body! 1644 pragma Compile_Time_Warning (Standard.True, "Is_Redefinition_Context_Valid unimplemented"); 1645 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Is_Redefinition_Context_Valid"; 1646 return Is_Redefinition_Context_Valid (Self, Redefined); 1647 end Is_Redefinition_Context_Valid; 1648 1649 ---------------- 1650 -- Owned_Port -- 1651 ---------------- 1652 1653 overriding function Owned_Port 1654 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 1655 return AMF.UML.Ports.Collections.Set_Of_UML_Port is 1656 begin 1657 -- Generated stub: replace with real body! 1658 pragma Compile_Time_Warning (Standard.True, "Owned_Port unimplemented"); 1659 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Owned_Port"; 1660 return Owned_Port (Self); 1661 end Owned_Port; 1662 1663 ---------- 1664 -- Part -- 1665 ---------- 1666 1667 overriding function Part 1668 (Self : not null access constant UML_Protocol_State_Machine_Proxy) 1669 return AMF.UML.Properties.Collections.Set_Of_UML_Property is 1670 begin 1671 -- Generated stub: replace with real body! 1672 pragma Compile_Time_Warning (Standard.True, "Part unimplemented"); 1673 raise Program_Error with "Unimplemented procedure UML_Protocol_State_Machine_Proxy.Part"; 1674 return Part (Self); 1675 end Part; 1676 1677end AMF.Internals.UML_Protocol_State_Machines; 1678