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