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