1------------------------------------------------------------------------------ 2-- -- 3-- Matreshka Project -- 4-- -- 5-- Ada Modeling Framework -- 6-- -- 7-- Runtime Library Component -- 8-- -- 9------------------------------------------------------------------------------ 10-- -- 11-- Copyright © 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: 2635 $ $Date: 2012-03-18 19:06:27 +0400 (Sun, 18 Mar 2012) $ 43------------------------------------------------------------------------------ 44-- This file is generated, don't edit it. 45------------------------------------------------------------------------------ 46with AMF.Internals.OCL_Elements; 47with AMF.OCL.If_Exps; 48with AMF.OCL.Ocl_Expressions; 49with AMF.UML.Comments.Collections; 50with AMF.UML.Dependencies.Collections; 51with AMF.UML.Elements.Collections; 52with AMF.UML.Named_Elements; 53with AMF.UML.Namespaces.Collections; 54with AMF.UML.Packages.Collections; 55with AMF.UML.String_Expressions; 56with AMF.UML.Types; 57with AMF.Visitors; 58 59package AMF.Internals.OCL_If_Exps is 60 61 type OCL_If_Exp_Proxy is 62 limited new AMF.Internals.OCL_Elements.OCL_Element_Proxy 63 and AMF.OCL.If_Exps.OCL_If_Exp with null record; 64 65 overriding function Get_Condition 66 (Self : not null access constant OCL_If_Exp_Proxy) 67 return AMF.OCL.Ocl_Expressions.OCL_Ocl_Expression_Access; 68 -- Getter of IfExp::condition. 69 -- 70 71 overriding procedure Set_Condition 72 (Self : not null access OCL_If_Exp_Proxy; 73 To : AMF.OCL.Ocl_Expressions.OCL_Ocl_Expression_Access); 74 -- Setter of IfExp::condition. 75 -- 76 77 overriding function Get_Then_Expression 78 (Self : not null access constant OCL_If_Exp_Proxy) 79 return AMF.OCL.Ocl_Expressions.OCL_Ocl_Expression_Access; 80 -- Getter of IfExp::thenExpression. 81 -- 82 83 overriding procedure Set_Then_Expression 84 (Self : not null access OCL_If_Exp_Proxy; 85 To : AMF.OCL.Ocl_Expressions.OCL_Ocl_Expression_Access); 86 -- Setter of IfExp::thenExpression. 87 -- 88 89 overriding function Get_Else_Expression 90 (Self : not null access constant OCL_If_Exp_Proxy) 91 return AMF.OCL.Ocl_Expressions.OCL_Ocl_Expression_Access; 92 -- Getter of IfExp::elseExpression. 93 -- 94 95 overriding procedure Set_Else_Expression 96 (Self : not null access OCL_If_Exp_Proxy; 97 To : AMF.OCL.Ocl_Expressions.OCL_Ocl_Expression_Access); 98 -- Setter of IfExp::elseExpression. 99 -- 100 101 overriding function Get_Type 102 (Self : not null access constant OCL_If_Exp_Proxy) 103 return AMF.UML.Types.UML_Type_Access; 104 -- Getter of TypedElement::type. 105 -- 106 -- The type of the TypedElement. 107 -- This information is derived from the return result for this Operation. 108 109 overriding procedure Set_Type 110 (Self : not null access OCL_If_Exp_Proxy; 111 To : AMF.UML.Types.UML_Type_Access); 112 -- Setter of TypedElement::type. 113 -- 114 -- The type of the TypedElement. 115 -- This information is derived from the return result for this Operation. 116 117 overriding function Get_Client_Dependency 118 (Self : not null access constant OCL_If_Exp_Proxy) 119 return AMF.UML.Dependencies.Collections.Set_Of_UML_Dependency; 120 -- Getter of NamedElement::clientDependency. 121 -- 122 -- Indicates the dependencies that reference the client. 123 124 overriding function Get_Name 125 (Self : not null access constant OCL_If_Exp_Proxy) 126 return AMF.Optional_String; 127 -- Getter of NamedElement::name. 128 -- 129 -- The name of the NamedElement. 130 131 overriding procedure Set_Name 132 (Self : not null access OCL_If_Exp_Proxy; 133 To : AMF.Optional_String); 134 -- Setter of NamedElement::name. 135 -- 136 -- The name of the NamedElement. 137 138 overriding function Get_Name_Expression 139 (Self : not null access constant OCL_If_Exp_Proxy) 140 return AMF.UML.String_Expressions.UML_String_Expression_Access; 141 -- Getter of NamedElement::nameExpression. 142 -- 143 -- The string expression used to define the name of this named element. 144 145 overriding procedure Set_Name_Expression 146 (Self : not null access OCL_If_Exp_Proxy; 147 To : AMF.UML.String_Expressions.UML_String_Expression_Access); 148 -- Setter of NamedElement::nameExpression. 149 -- 150 -- The string expression used to define the name of this named element. 151 152 overriding function Get_Namespace 153 (Self : not null access constant OCL_If_Exp_Proxy) 154 return AMF.UML.Namespaces.UML_Namespace_Access; 155 -- Getter of NamedElement::namespace. 156 -- 157 -- Specifies the namespace that owns the NamedElement. 158 159 overriding function Get_Qualified_Name 160 (Self : not null access constant OCL_If_Exp_Proxy) 161 return AMF.Optional_String; 162 -- Getter of NamedElement::qualifiedName. 163 -- 164 -- A name which allows the NamedElement to be identified within a 165 -- hierarchy of nested Namespaces. It is constructed from the names of the 166 -- containing namespaces starting at the root of the hierarchy and ending 167 -- with the name of the NamedElement itself. 168 169 overriding function Get_Visibility 170 (Self : not null access constant OCL_If_Exp_Proxy) 171 return AMF.UML.Optional_UML_Visibility_Kind; 172 -- Getter of NamedElement::visibility. 173 -- 174 -- Determines where the NamedElement appears within different Namespaces 175 -- within the overall model, and its accessibility. 176 177 overriding procedure Set_Visibility 178 (Self : not null access OCL_If_Exp_Proxy; 179 To : AMF.UML.Optional_UML_Visibility_Kind); 180 -- Setter of NamedElement::visibility. 181 -- 182 -- Determines where the NamedElement appears within different Namespaces 183 -- within the overall model, and its accessibility. 184 185 overriding function Get_Owned_Comment 186 (Self : not null access constant OCL_If_Exp_Proxy) 187 return AMF.UML.Comments.Collections.Set_Of_UML_Comment; 188 -- Getter of Element::ownedComment. 189 -- 190 -- The Comments owned by this element. 191 192 overriding function Get_Owned_Element 193 (Self : not null access constant OCL_If_Exp_Proxy) 194 return AMF.UML.Elements.Collections.Set_Of_UML_Element; 195 -- Getter of Element::ownedElement. 196 -- 197 -- The Elements owned by this element. 198 199 overriding function Get_Owner 200 (Self : not null access constant OCL_If_Exp_Proxy) 201 return AMF.UML.Elements.UML_Element_Access; 202 -- Getter of Element::owner. 203 -- 204 -- The Element that owns this element. 205 206 overriding function All_Namespaces 207 (Self : not null access constant OCL_If_Exp_Proxy) 208 return AMF.UML.Namespaces.Collections.Ordered_Set_Of_UML_Namespace; 209 -- Operation NamedElement::allNamespaces. 210 -- 211 -- The query allNamespaces() gives the sequence of namespaces in which the 212 -- NamedElement is nested, working outwards. 213 214 overriding function All_Owning_Packages 215 (Self : not null access constant OCL_If_Exp_Proxy) 216 return AMF.UML.Packages.Collections.Set_Of_UML_Package; 217 -- Operation NamedElement::allOwningPackages. 218 -- 219 -- The query allOwningPackages() returns all the directly or indirectly 220 -- owning packages. 221 222 overriding function Is_Distinguishable_From 223 (Self : not null access constant OCL_If_Exp_Proxy; 224 N : AMF.UML.Named_Elements.UML_Named_Element_Access; 225 Ns : AMF.UML.Namespaces.UML_Namespace_Access) 226 return Boolean; 227 -- Operation NamedElement::isDistinguishableFrom. 228 -- 229 -- The query isDistinguishableFrom() determines whether two NamedElements 230 -- may logically co-exist within a Namespace. By default, two named 231 -- elements are distinguishable if (a) they have unrelated types or (b) 232 -- they have related types but different names. 233 234 overriding function Namespace 235 (Self : not null access constant OCL_If_Exp_Proxy) 236 return AMF.UML.Namespaces.UML_Namespace_Access; 237 -- Operation NamedElement::namespace. 238 -- 239 -- Missing derivation for NamedElement::/namespace : Namespace 240 241 overriding function Qualified_Name 242 (Self : not null access constant OCL_If_Exp_Proxy) 243 return League.Strings.Universal_String; 244 -- Operation NamedElement::qualifiedName. 245 -- 246 -- When there is a name, and all of the containing namespaces have a name, 247 -- the qualified name is constructed from the names of the containing 248 -- namespaces. 249 250 overriding function Separator 251 (Self : not null access constant OCL_If_Exp_Proxy) 252 return League.Strings.Universal_String; 253 -- Operation NamedElement::separator. 254 -- 255 -- The query separator() gives the string that is used to separate names 256 -- when constructing a qualified name. 257 258 overriding function All_Owned_Elements 259 (Self : not null access constant OCL_If_Exp_Proxy) 260 return AMF.UML.Elements.Collections.Set_Of_UML_Element; 261 -- Operation Element::allOwnedElements. 262 -- 263 -- The query allOwnedElements() gives all of the direct and indirect owned 264 -- elements of an element. 265 266 overriding function Must_Be_Owned 267 (Self : not null access constant OCL_If_Exp_Proxy) 268 return Boolean; 269 -- Operation Element::mustBeOwned. 270 -- 271 -- The query mustBeOwned() indicates whether elements of this type must 272 -- have an owner. Subclasses of Element that do not require an owner must 273 -- override this operation. 274 275 overriding procedure Enter_Element 276 (Self : not null access constant OCL_If_Exp_Proxy; 277 Visitor : in out AMF.Visitors.Abstract_Visitor'Class; 278 Control : in out AMF.Visitors.Traverse_Control); 279 280 overriding procedure Leave_Element 281 (Self : not null access constant OCL_If_Exp_Proxy; 282 Visitor : in out AMF.Visitors.Abstract_Visitor'Class; 283 Control : in out AMF.Visitors.Traverse_Control); 284 285 overriding procedure Visit_Element 286 (Self : not null access constant OCL_If_Exp_Proxy; 287 Iterator : in out AMF.Visitors.Abstract_Iterator'Class; 288 Visitor : in out AMF.Visitors.Abstract_Visitor'Class; 289 Control : in out AMF.Visitors.Traverse_Control); 290 291end AMF.Internals.OCL_If_Exps; 292