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_Interaction_Constraints is 54 55 ------------------- 56 -- Enter_Element -- 57 ------------------- 58 59 overriding procedure Enter_Element 60 (Self : not null access constant UML_Interaction_Constraint_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_Interaction_Constraint 67 (AMF.UML.Interaction_Constraints.UML_Interaction_Constraint_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_Interaction_Constraint_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_Interaction_Constraint 84 (AMF.UML.Interaction_Constraints.UML_Interaction_Constraint_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_Interaction_Constraint_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_Interaction_Constraint 102 (Visitor, 103 AMF.UML.Interaction_Constraints.UML_Interaction_Constraint_Access (Self), 104 Control); 105 end if; 106 end Visit_Element; 107 108 ---------------- 109 -- Get_Maxint -- 110 ---------------- 111 112 overriding function Get_Maxint 113 (Self : not null access constant UML_Interaction_Constraint_Proxy) 114 return AMF.UML.Value_Specifications.UML_Value_Specification_Access is 115 begin 116 return 117 AMF.UML.Value_Specifications.UML_Value_Specification_Access 118 (AMF.Internals.Helpers.To_Element 119 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Maxint 120 (Self.Element))); 121 end Get_Maxint; 122 123 ---------------- 124 -- Set_Maxint -- 125 ---------------- 126 127 overriding procedure Set_Maxint 128 (Self : not null access UML_Interaction_Constraint_Proxy; 129 To : AMF.UML.Value_Specifications.UML_Value_Specification_Access) is 130 begin 131 AMF.Internals.Tables.UML_Attributes.Internal_Set_Maxint 132 (Self.Element, 133 AMF.Internals.Helpers.To_Element 134 (AMF.Elements.Element_Access (To))); 135 end Set_Maxint; 136 137 ---------------- 138 -- Get_Minint -- 139 ---------------- 140 141 overriding function Get_Minint 142 (Self : not null access constant UML_Interaction_Constraint_Proxy) 143 return AMF.UML.Value_Specifications.UML_Value_Specification_Access is 144 begin 145 return 146 AMF.UML.Value_Specifications.UML_Value_Specification_Access 147 (AMF.Internals.Helpers.To_Element 148 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Minint 149 (Self.Element))); 150 end Get_Minint; 151 152 ---------------- 153 -- Set_Minint -- 154 ---------------- 155 156 overriding procedure Set_Minint 157 (Self : not null access UML_Interaction_Constraint_Proxy; 158 To : AMF.UML.Value_Specifications.UML_Value_Specification_Access) is 159 begin 160 AMF.Internals.Tables.UML_Attributes.Internal_Set_Minint 161 (Self.Element, 162 AMF.Internals.Helpers.To_Element 163 (AMF.Elements.Element_Access (To))); 164 end Set_Minint; 165 166 ----------------------------- 167 -- Get_Constrained_Element -- 168 ----------------------------- 169 170 overriding function Get_Constrained_Element 171 (Self : not null access constant UML_Interaction_Constraint_Proxy) 172 return AMF.UML.Elements.Collections.Ordered_Set_Of_UML_Element is 173 begin 174 return 175 AMF.UML.Elements.Collections.Wrap 176 (AMF.Internals.Element_Collections.Wrap 177 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Constrained_Element 178 (Self.Element))); 179 end Get_Constrained_Element; 180 181 ----------------- 182 -- Get_Context -- 183 ----------------- 184 185 overriding function Get_Context 186 (Self : not null access constant UML_Interaction_Constraint_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_Context 193 (Self.Element))); 194 end Get_Context; 195 196 ----------------- 197 -- Set_Context -- 198 ----------------- 199 200 overriding procedure Set_Context 201 (Self : not null access UML_Interaction_Constraint_Proxy; 202 To : AMF.UML.Namespaces.UML_Namespace_Access) is 203 begin 204 raise Program_Error; 205 end Set_Context; 206 207 ----------------------- 208 -- Get_Specification -- 209 ----------------------- 210 211 overriding function Get_Specification 212 (Self : not null access constant UML_Interaction_Constraint_Proxy) 213 return AMF.UML.Value_Specifications.UML_Value_Specification_Access is 214 begin 215 return 216 AMF.UML.Value_Specifications.UML_Value_Specification_Access 217 (AMF.Internals.Helpers.To_Element 218 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Specification 219 (Self.Element))); 220 end Get_Specification; 221 222 ----------------------- 223 -- Set_Specification -- 224 ----------------------- 225 226 overriding procedure Set_Specification 227 (Self : not null access UML_Interaction_Constraint_Proxy; 228 To : AMF.UML.Value_Specifications.UML_Value_Specification_Access) is 229 begin 230 AMF.Internals.Tables.UML_Attributes.Internal_Set_Specification 231 (Self.Element, 232 AMF.Internals.Helpers.To_Element 233 (AMF.Elements.Element_Access (To))); 234 end Set_Specification; 235 236 --------------------------- 237 -- Get_Client_Dependency -- 238 --------------------------- 239 240 overriding function Get_Client_Dependency 241 (Self : not null access constant UML_Interaction_Constraint_Proxy) 242 return AMF.UML.Dependencies.Collections.Set_Of_UML_Dependency is 243 begin 244 return 245 AMF.UML.Dependencies.Collections.Wrap 246 (AMF.Internals.Element_Collections.Wrap 247 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Client_Dependency 248 (Self.Element))); 249 end Get_Client_Dependency; 250 251 ------------------------- 252 -- Get_Name_Expression -- 253 ------------------------- 254 255 overriding function Get_Name_Expression 256 (Self : not null access constant UML_Interaction_Constraint_Proxy) 257 return AMF.UML.String_Expressions.UML_String_Expression_Access is 258 begin 259 return 260 AMF.UML.String_Expressions.UML_String_Expression_Access 261 (AMF.Internals.Helpers.To_Element 262 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Name_Expression 263 (Self.Element))); 264 end Get_Name_Expression; 265 266 ------------------------- 267 -- Set_Name_Expression -- 268 ------------------------- 269 270 overriding procedure Set_Name_Expression 271 (Self : not null access UML_Interaction_Constraint_Proxy; 272 To : AMF.UML.String_Expressions.UML_String_Expression_Access) is 273 begin 274 AMF.Internals.Tables.UML_Attributes.Internal_Set_Name_Expression 275 (Self.Element, 276 AMF.Internals.Helpers.To_Element 277 (AMF.Elements.Element_Access (To))); 278 end Set_Name_Expression; 279 280 ------------------- 281 -- Get_Namespace -- 282 ------------------- 283 284 overriding function Get_Namespace 285 (Self : not null access constant UML_Interaction_Constraint_Proxy) 286 return AMF.UML.Namespaces.UML_Namespace_Access is 287 begin 288 return 289 AMF.UML.Namespaces.UML_Namespace_Access 290 (AMF.Internals.Helpers.To_Element 291 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Namespace 292 (Self.Element))); 293 end Get_Namespace; 294 295 ------------------------ 296 -- Get_Qualified_Name -- 297 ------------------------ 298 299 overriding function Get_Qualified_Name 300 (Self : not null access constant UML_Interaction_Constraint_Proxy) 301 return AMF.Optional_String is 302 begin 303 declare 304 use type Matreshka.Internals.Strings.Shared_String_Access; 305 306 Aux : constant Matreshka.Internals.Strings.Shared_String_Access 307 := AMF.Internals.Tables.UML_Attributes.Internal_Get_Qualified_Name (Self.Element); 308 309 begin 310 if Aux = null then 311 return (Is_Empty => True); 312 313 else 314 return (False, League.Strings.Internals.Create (Aux)); 315 end if; 316 end; 317 end Get_Qualified_Name; 318 319 ----------------------------------- 320 -- Get_Owning_Template_Parameter -- 321 ----------------------------------- 322 323 overriding function Get_Owning_Template_Parameter 324 (Self : not null access constant UML_Interaction_Constraint_Proxy) 325 return AMF.UML.Template_Parameters.UML_Template_Parameter_Access is 326 begin 327 return 328 AMF.UML.Template_Parameters.UML_Template_Parameter_Access 329 (AMF.Internals.Helpers.To_Element 330 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Owning_Template_Parameter 331 (Self.Element))); 332 end Get_Owning_Template_Parameter; 333 334 ----------------------------------- 335 -- Set_Owning_Template_Parameter -- 336 ----------------------------------- 337 338 overriding procedure Set_Owning_Template_Parameter 339 (Self : not null access UML_Interaction_Constraint_Proxy; 340 To : AMF.UML.Template_Parameters.UML_Template_Parameter_Access) is 341 begin 342 AMF.Internals.Tables.UML_Attributes.Internal_Set_Owning_Template_Parameter 343 (Self.Element, 344 AMF.Internals.Helpers.To_Element 345 (AMF.Elements.Element_Access (To))); 346 end Set_Owning_Template_Parameter; 347 348 ---------------------------- 349 -- Get_Template_Parameter -- 350 ---------------------------- 351 352 overriding function Get_Template_Parameter 353 (Self : not null access constant UML_Interaction_Constraint_Proxy) 354 return AMF.UML.Template_Parameters.UML_Template_Parameter_Access is 355 begin 356 return 357 AMF.UML.Template_Parameters.UML_Template_Parameter_Access 358 (AMF.Internals.Helpers.To_Element 359 (AMF.Internals.Tables.UML_Attributes.Internal_Get_Template_Parameter 360 (Self.Element))); 361 end Get_Template_Parameter; 362 363 ---------------------------- 364 -- Set_Template_Parameter -- 365 ---------------------------- 366 367 overriding procedure Set_Template_Parameter 368 (Self : not null access UML_Interaction_Constraint_Proxy; 369 To : AMF.UML.Template_Parameters.UML_Template_Parameter_Access) is 370 begin 371 AMF.Internals.Tables.UML_Attributes.Internal_Set_Template_Parameter 372 (Self.Element, 373 AMF.Internals.Helpers.To_Element 374 (AMF.Elements.Element_Access (To))); 375 end Set_Template_Parameter; 376 377 ------------------------- 378 -- All_Owning_Packages -- 379 ------------------------- 380 381 overriding function All_Owning_Packages 382 (Self : not null access constant UML_Interaction_Constraint_Proxy) 383 return AMF.UML.Packages.Collections.Set_Of_UML_Package is 384 begin 385 -- Generated stub: replace with real body! 386 pragma Compile_Time_Warning (Standard.True, "All_Owning_Packages unimplemented"); 387 raise Program_Error with "Unimplemented procedure UML_Interaction_Constraint_Proxy.All_Owning_Packages"; 388 return All_Owning_Packages (Self); 389 end All_Owning_Packages; 390 391 ----------------------------- 392 -- Is_Distinguishable_From -- 393 ----------------------------- 394 395 overriding function Is_Distinguishable_From 396 (Self : not null access constant UML_Interaction_Constraint_Proxy; 397 N : AMF.UML.Named_Elements.UML_Named_Element_Access; 398 Ns : AMF.UML.Namespaces.UML_Namespace_Access) 399 return Boolean is 400 begin 401 -- Generated stub: replace with real body! 402 pragma Compile_Time_Warning (Standard.True, "Is_Distinguishable_From unimplemented"); 403 raise Program_Error with "Unimplemented procedure UML_Interaction_Constraint_Proxy.Is_Distinguishable_From"; 404 return Is_Distinguishable_From (Self, N, Ns); 405 end Is_Distinguishable_From; 406 407 --------------- 408 -- Namespace -- 409 --------------- 410 411 overriding function Namespace 412 (Self : not null access constant UML_Interaction_Constraint_Proxy) 413 return AMF.UML.Namespaces.UML_Namespace_Access is 414 begin 415 -- Generated stub: replace with real body! 416 pragma Compile_Time_Warning (Standard.True, "Namespace unimplemented"); 417 raise Program_Error with "Unimplemented procedure UML_Interaction_Constraint_Proxy.Namespace"; 418 return Namespace (Self); 419 end Namespace; 420 421 ------------------------ 422 -- Is_Compatible_With -- 423 ------------------------ 424 425 overriding function Is_Compatible_With 426 (Self : not null access constant UML_Interaction_Constraint_Proxy; 427 P : AMF.UML.Parameterable_Elements.UML_Parameterable_Element_Access) 428 return Boolean is 429 begin 430 -- Generated stub: replace with real body! 431 pragma Compile_Time_Warning (Standard.True, "Is_Compatible_With unimplemented"); 432 raise Program_Error with "Unimplemented procedure UML_Interaction_Constraint_Proxy.Is_Compatible_With"; 433 return Is_Compatible_With (Self, P); 434 end Is_Compatible_With; 435 436 --------------------------- 437 -- Is_Template_Parameter -- 438 --------------------------- 439 440 overriding function Is_Template_Parameter 441 (Self : not null access constant UML_Interaction_Constraint_Proxy) 442 return Boolean is 443 begin 444 -- Generated stub: replace with real body! 445 pragma Compile_Time_Warning (Standard.True, "Is_Template_Parameter unimplemented"); 446 raise Program_Error with "Unimplemented procedure UML_Interaction_Constraint_Proxy.Is_Template_Parameter"; 447 return Is_Template_Parameter (Self); 448 end Is_Template_Parameter; 449 450end AMF.Internals.UML_Interaction_Constraints; 451