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_Message_Occurrence_Specifications is 54 55 ------------------- 56 -- Enter_Element -- 57 ------------------- 58 59 overriding procedure Enter_Element 60 (Self : not null access constant UML_Message_Occurrence_Specification_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_Message_Occurrence_Specification 67 (AMF.UML.Message_Occurrence_Specifications.UML_Message_Occurrence_Specification_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_Message_Occurrence_Specification_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_Message_Occurrence_Specification 84 (AMF.UML.Message_Occurrence_Specifications.UML_Message_Occurrence_Specification_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_Message_Occurrence_Specification_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_Message_Occurrence_Specification 102 (Visitor, 103 AMF.UML.Message_Occurrence_Specifications.UML_Message_Occurrence_Specification_Access (Self), 104 Control); 105 end if; 106 end Visit_Element; 107 108 ----------------- 109 -- Get_Message -- 110 ----------------- 111 112 overriding function Get_Message 113 (Self : not null access constant UML_Message_Occurrence_Specification_Proxy) 114 return AMF.UML.Messages.UML_Message_Access is 115 begin 116 return 117 AMF.UML.Messages.UML_Message_Access 118 (AMF.Internals.Helpers.To_Element 119 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Message 120 (Self.Element))); 121 end Get_Message; 122 123 ----------------- 124 -- Set_Message -- 125 ----------------- 126 127 overriding procedure Set_Message 128 (Self : not null access UML_Message_Occurrence_Specification_Proxy; 129 To : AMF.UML.Messages.UML_Message_Access) is 130 begin 131 AMF.Internals.Tables.UML_Attributes.Internal_Set_Message 132 (Self.Element, 133 AMF.Internals.Helpers.To_Element 134 (AMF.Elements.Element_Access (To))); 135 end Set_Message; 136 137 --------------------------- 138 -- Get_Client_Dependency -- 139 --------------------------- 140 141 overriding function Get_Client_Dependency 142 (Self : not null access constant UML_Message_Occurrence_Specification_Proxy) 143 return AMF.UML.Dependencies.Collections.Set_Of_UML_Dependency is 144 begin 145 return 146 AMF.UML.Dependencies.Collections.Wrap 147 (AMF.Internals.Element_Collections.Wrap 148 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Client_Dependency 149 (Self.Element))); 150 end Get_Client_Dependency; 151 152 ------------------------- 153 -- Get_Name_Expression -- 154 ------------------------- 155 156 overriding function Get_Name_Expression 157 (Self : not null access constant UML_Message_Occurrence_Specification_Proxy) 158 return AMF.UML.String_Expressions.UML_String_Expression_Access is 159 begin 160 return 161 AMF.UML.String_Expressions.UML_String_Expression_Access 162 (AMF.Internals.Helpers.To_Element 163 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Name_Expression 164 (Self.Element))); 165 end Get_Name_Expression; 166 167 ------------------------- 168 -- Set_Name_Expression -- 169 ------------------------- 170 171 overriding procedure Set_Name_Expression 172 (Self : not null access UML_Message_Occurrence_Specification_Proxy; 173 To : AMF.UML.String_Expressions.UML_String_Expression_Access) is 174 begin 175 AMF.Internals.Tables.UML_Attributes.Internal_Set_Name_Expression 176 (Self.Element, 177 AMF.Internals.Helpers.To_Element 178 (AMF.Elements.Element_Access (To))); 179 end Set_Name_Expression; 180 181 ------------------- 182 -- Get_Namespace -- 183 ------------------- 184 185 overriding function Get_Namespace 186 (Self : not null access constant UML_Message_Occurrence_Specification_Proxy) 187 return AMF.UML.Namespaces.UML_Namespace_Access is 188 begin 189 return 190 AMF.UML.Namespaces.UML_Namespace_Access 191 (AMF.Internals.Helpers.To_Element 192 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Namespace 193 (Self.Element))); 194 end Get_Namespace; 195 196 ------------------------ 197 -- Get_Qualified_Name -- 198 ------------------------ 199 200 overriding function Get_Qualified_Name 201 (Self : not null access constant UML_Message_Occurrence_Specification_Proxy) 202 return AMF.Optional_String is 203 begin 204 declare 205 use type Matreshka.Internals.Strings.Shared_String_Access; 206 207 Aux : constant Matreshka.Internals.Strings.Shared_String_Access 208 := AMF.Internals.Tables.UML_Attributes.Internal_Get_Qualified_Name (Self.Element); 209 210 begin 211 if Aux = null then 212 return (Is_Empty => True); 213 214 else 215 return (False, League.Strings.Internals.Create (Aux)); 216 end if; 217 end; 218 end Get_Qualified_Name; 219 220 ----------------- 221 -- Get_Covered -- 222 ----------------- 223 224 overriding function Get_Covered 225 (Self : not null access constant UML_Message_Occurrence_Specification_Proxy) 226 return AMF.UML.Lifelines.UML_Lifeline_Access 227 is 228 Set : constant AMF.UML.Lifelines.Collections.Set_Of_UML_Lifeline 229 := Self.Get_Covered; 230 231 begin 232 if Set.Is_Empty then 233 return null; 234 235 else 236 return Set.Element (1); 237 end if; 238 end Get_Covered; 239 240 ----------------- 241 -- Set_Covered -- 242 ----------------- 243 244 overriding procedure Set_Covered 245 (Self : not null access UML_Message_Occurrence_Specification_Proxy; 246 To : AMF.UML.Lifelines.UML_Lifeline_Access) is 247 begin 248 raise Program_Error; 249 end Set_Covered; 250 251 ------------------ 252 -- Get_To_After -- 253 ------------------ 254 255 overriding function Get_To_After 256 (Self : not null access constant UML_Message_Occurrence_Specification_Proxy) 257 return AMF.UML.General_Orderings.Collections.Set_Of_UML_General_Ordering is 258 begin 259 return 260 AMF.UML.General_Orderings.Collections.Wrap 261 (AMF.Internals.Element_Collections.Wrap 262 (AMF.Internals.Tables.UML_Attributes.Internal_Get_To_After 263 (Self.Element))); 264 end Get_To_After; 265 266 ------------------- 267 -- Get_To_Before -- 268 ------------------- 269 270 overriding function Get_To_Before 271 (Self : not null access constant UML_Message_Occurrence_Specification_Proxy) 272 return AMF.UML.General_Orderings.Collections.Set_Of_UML_General_Ordering is 273 begin 274 return 275 AMF.UML.General_Orderings.Collections.Wrap 276 (AMF.Internals.Element_Collections.Wrap 277 (AMF.Internals.Tables.UML_Attributes.Internal_Get_To_Before 278 (Self.Element))); 279 end Get_To_Before; 280 281 ----------------- 282 -- Get_Covered -- 283 ----------------- 284 285 overriding function Get_Covered 286 (Self : not null access constant UML_Message_Occurrence_Specification_Proxy) 287 return AMF.UML.Lifelines.Collections.Set_Of_UML_Lifeline is 288 begin 289 return 290 AMF.UML.Lifelines.Collections.Wrap 291 (AMF.Internals.Element_Collections.Wrap 292 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Covered 293 (Self.Element))); 294 end Get_Covered; 295 296 ------------------------------- 297 -- Get_Enclosing_Interaction -- 298 ------------------------------- 299 300 overriding function Get_Enclosing_Interaction 301 (Self : not null access constant UML_Message_Occurrence_Specification_Proxy) 302 return AMF.UML.Interactions.UML_Interaction_Access is 303 begin 304 return 305 AMF.UML.Interactions.UML_Interaction_Access 306 (AMF.Internals.Helpers.To_Element 307 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Enclosing_Interaction 308 (Self.Element))); 309 end Get_Enclosing_Interaction; 310 311 ------------------------------- 312 -- Set_Enclosing_Interaction -- 313 ------------------------------- 314 315 overriding procedure Set_Enclosing_Interaction 316 (Self : not null access UML_Message_Occurrence_Specification_Proxy; 317 To : AMF.UML.Interactions.UML_Interaction_Access) is 318 begin 319 AMF.Internals.Tables.UML_Attributes.Internal_Set_Enclosing_Interaction 320 (Self.Element, 321 AMF.Internals.Helpers.To_Element 322 (AMF.Elements.Element_Access (To))); 323 end Set_Enclosing_Interaction; 324 325 --------------------------- 326 -- Get_Enclosing_Operand -- 327 --------------------------- 328 329 overriding function Get_Enclosing_Operand 330 (Self : not null access constant UML_Message_Occurrence_Specification_Proxy) 331 return AMF.UML.Interaction_Operands.UML_Interaction_Operand_Access is 332 begin 333 return 334 AMF.UML.Interaction_Operands.UML_Interaction_Operand_Access 335 (AMF.Internals.Helpers.To_Element 336 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Enclosing_Operand 337 (Self.Element))); 338 end Get_Enclosing_Operand; 339 340 --------------------------- 341 -- Set_Enclosing_Operand -- 342 --------------------------- 343 344 overriding procedure Set_Enclosing_Operand 345 (Self : not null access UML_Message_Occurrence_Specification_Proxy; 346 To : AMF.UML.Interaction_Operands.UML_Interaction_Operand_Access) is 347 begin 348 AMF.Internals.Tables.UML_Attributes.Internal_Set_Enclosing_Operand 349 (Self.Element, 350 AMF.Internals.Helpers.To_Element 351 (AMF.Elements.Element_Access (To))); 352 end Set_Enclosing_Operand; 353 354 -------------------------- 355 -- Get_General_Ordering -- 356 -------------------------- 357 358 overriding function Get_General_Ordering 359 (Self : not null access constant UML_Message_Occurrence_Specification_Proxy) 360 return AMF.UML.General_Orderings.Collections.Set_Of_UML_General_Ordering is 361 begin 362 return 363 AMF.UML.General_Orderings.Collections.Wrap 364 (AMF.Internals.Element_Collections.Wrap 365 (AMF.Internals.Tables.UML_Attributes.Internal_Get_General_Ordering 366 (Self.Element))); 367 end Get_General_Ordering; 368 369 ------------------------- 370 -- All_Owning_Packages -- 371 ------------------------- 372 373 overriding function All_Owning_Packages 374 (Self : not null access constant UML_Message_Occurrence_Specification_Proxy) 375 return AMF.UML.Packages.Collections.Set_Of_UML_Package is 376 begin 377 -- Generated stub: replace with real body! 378 pragma Compile_Time_Warning (Standard.True, "All_Owning_Packages unimplemented"); 379 raise Program_Error with "Unimplemented procedure UML_Message_Occurrence_Specification_Proxy.All_Owning_Packages"; 380 return All_Owning_Packages (Self); 381 end All_Owning_Packages; 382 383 ----------------------------- 384 -- Is_Distinguishable_From -- 385 ----------------------------- 386 387 overriding function Is_Distinguishable_From 388 (Self : not null access constant UML_Message_Occurrence_Specification_Proxy; 389 N : AMF.UML.Named_Elements.UML_Named_Element_Access; 390 Ns : AMF.UML.Namespaces.UML_Namespace_Access) 391 return Boolean is 392 begin 393 -- Generated stub: replace with real body! 394 pragma Compile_Time_Warning (Standard.True, "Is_Distinguishable_From unimplemented"); 395 raise Program_Error with "Unimplemented procedure UML_Message_Occurrence_Specification_Proxy.Is_Distinguishable_From"; 396 return Is_Distinguishable_From (Self, N, Ns); 397 end Is_Distinguishable_From; 398 399 --------------- 400 -- Namespace -- 401 --------------- 402 403 overriding function Namespace 404 (Self : not null access constant UML_Message_Occurrence_Specification_Proxy) 405 return AMF.UML.Namespaces.UML_Namespace_Access is 406 begin 407 -- Generated stub: replace with real body! 408 pragma Compile_Time_Warning (Standard.True, "Namespace unimplemented"); 409 raise Program_Error with "Unimplemented procedure UML_Message_Occurrence_Specification_Proxy.Namespace"; 410 return Namespace (Self); 411 end Namespace; 412 413end AMF.Internals.UML_Message_Occurrence_Specifications; 414