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: 2714 $ $Date: 2012-03-24 10:29:08 +0400 (Sat, 24 Mar 2012) $ 43------------------------------------------------------------------------------ 44-- This file is generated, don't edit it. 45------------------------------------------------------------------------------ 46-- A generalization set is a packageable element whose instances define 47-- collections of subsets of generalization relationships. 48------------------------------------------------------------------------------ 49limited with AMF.UML.Classifiers; 50limited with AMF.UML.Generalizations.Collections; 51with AMF.UML.Packageable_Elements; 52 53package AMF.UML.Generalization_Sets is 54 55 pragma Preelaborate; 56 57 type UML_Generalization_Set is limited interface 58 and AMF.UML.Packageable_Elements.UML_Packageable_Element; 59 60 type UML_Generalization_Set_Access is 61 access all UML_Generalization_Set'Class; 62 for UML_Generalization_Set_Access'Storage_Size use 0; 63 64 not overriding function Get_Generalization 65 (Self : not null access constant UML_Generalization_Set) 66 return AMF.UML.Generalizations.Collections.Set_Of_UML_Generalization is abstract; 67 -- Getter of GeneralizationSet::generalization. 68 -- 69 -- Designates the instances of Generalization which are members of a given 70 -- GeneralizationSet. 71 72 not overriding function Get_Is_Covering 73 (Self : not null access constant UML_Generalization_Set) 74 return Boolean is abstract; 75 -- Getter of GeneralizationSet::isCovering. 76 -- 77 -- Indicates (via the associated Generalizations) whether or not the set 78 -- of specific Classifiers are covering for a particular general 79 -- classifier. When isCovering is true, every instance of a particular 80 -- general Classifier is also an instance of at least one of its specific 81 -- Classifiers for the GeneralizationSet. When isCovering is false, there 82 -- are one or more instances of the particular general Classifier that are 83 -- not instances of at least one of its specific Classifiers defined for 84 -- the GeneralizationSet. 85 86 not overriding procedure Set_Is_Covering 87 (Self : not null access UML_Generalization_Set; 88 To : Boolean) is abstract; 89 -- Setter of GeneralizationSet::isCovering. 90 -- 91 -- Indicates (via the associated Generalizations) whether or not the set 92 -- of specific Classifiers are covering for a particular general 93 -- classifier. When isCovering is true, every instance of a particular 94 -- general Classifier is also an instance of at least one of its specific 95 -- Classifiers for the GeneralizationSet. When isCovering is false, there 96 -- are one or more instances of the particular general Classifier that are 97 -- not instances of at least one of its specific Classifiers defined for 98 -- the GeneralizationSet. 99 100 not overriding function Get_Is_Disjoint 101 (Self : not null access constant UML_Generalization_Set) 102 return Boolean is abstract; 103 -- Getter of GeneralizationSet::isDisjoint. 104 -- 105 -- Indicates whether or not the set of specific Classifiers in a 106 -- Generalization relationship have instance in common. If isDisjoint is 107 -- true, the specific Classifiers for a particular GeneralizationSet have 108 -- no members in common; that is, their intersection is empty. If 109 -- isDisjoint is false, the specific Classifiers in a particular 110 -- GeneralizationSet have one or more members in common; that is, their 111 -- intersection is not empty. For example, Person could have two 112 -- Generalization relationships, each with the different specific 113 -- Classifier: Manager or Staff. This would be disjoint because every 114 -- instance of Person must either be a Manager or Staff. In contrast, 115 -- Person could have two Generalization relationships involving two 116 -- specific (and non-covering) Classifiers: Sales Person and Manager. This 117 -- GeneralizationSet would not be disjoint because there are instances of 118 -- Person which can be a Sales Person and a Manager. 119 120 not overriding procedure Set_Is_Disjoint 121 (Self : not null access UML_Generalization_Set; 122 To : Boolean) is abstract; 123 -- Setter of GeneralizationSet::isDisjoint. 124 -- 125 -- Indicates whether or not the set of specific Classifiers in a 126 -- Generalization relationship have instance in common. If isDisjoint is 127 -- true, the specific Classifiers for a particular GeneralizationSet have 128 -- no members in common; that is, their intersection is empty. If 129 -- isDisjoint is false, the specific Classifiers in a particular 130 -- GeneralizationSet have one or more members in common; that is, their 131 -- intersection is not empty. For example, Person could have two 132 -- Generalization relationships, each with the different specific 133 -- Classifier: Manager or Staff. This would be disjoint because every 134 -- instance of Person must either be a Manager or Staff. In contrast, 135 -- Person could have two Generalization relationships involving two 136 -- specific (and non-covering) Classifiers: Sales Person and Manager. This 137 -- GeneralizationSet would not be disjoint because there are instances of 138 -- Person which can be a Sales Person and a Manager. 139 140 not overriding function Get_Powertype 141 (Self : not null access constant UML_Generalization_Set) 142 return AMF.UML.Classifiers.UML_Classifier_Access is abstract; 143 -- Getter of GeneralizationSet::powertype. 144 -- 145 -- Designates the Classifier that is defined as the power type for the 146 -- associated GeneralizationSet. 147 148 not overriding procedure Set_Powertype 149 (Self : not null access UML_Generalization_Set; 150 To : AMF.UML.Classifiers.UML_Classifier_Access) is abstract; 151 -- Setter of GeneralizationSet::powertype. 152 -- 153 -- Designates the Classifier that is defined as the power type for the 154 -- associated GeneralizationSet. 155 156end AMF.UML.Generalization_Sets; 157