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--  Interfaces may include receptions (in addition to operations).
47--
48--  An interface is a kind of classifier that represents a declaration of a
49--  set of coherent public features and obligations. An interface specifies a
50--  contract; any instance of a classifier that realizes the interface must
51--  fulfill that contract. The obligations that may be associated with an
52--  interface are in the form of various kinds of constraints (such as pre-
53--  and post-conditions) or protocol specifications, which may impose ordering
54--  restrictions on interactions through the interface.
55--
56--  Since an interface specifies conformance characteristics, it does not own
57--  detailed behavior specifications. Instead, interfaces may own a protocol
58--  state machine that specifies event sequences and pre/post conditions for
59--  the operations and receptions described by the interface.
60------------------------------------------------------------------------------
61with AMF.UML.Classifiers;
62limited with AMF.UML.Classifiers.Collections;
63limited with AMF.UML.Interfaces.Collections;
64limited with AMF.UML.Operations.Collections;
65limited with AMF.UML.Properties.Collections;
66limited with AMF.UML.Protocol_State_Machines;
67limited with AMF.UML.Receptions.Collections;
68
69package AMF.UML.Interfaces is
70
71   pragma Preelaborate;
72
73   type UML_Interface is limited interface
74     and AMF.UML.Classifiers.UML_Classifier;
75
76   type UML_Interface_Access is
77     access all UML_Interface'Class;
78   for UML_Interface_Access'Storage_Size use 0;
79
80   not overriding function Get_Nested_Classifier
81    (Self : not null access constant UML_Interface)
82       return AMF.UML.Classifiers.Collections.Ordered_Set_Of_UML_Classifier is abstract;
83   --  Getter of Interface::nestedClassifier.
84   --
85   --  References all the Classifiers that are defined (nested) within the
86   --  Class.
87
88   not overriding function Get_Owned_Attribute
89    (Self : not null access constant UML_Interface)
90       return AMF.UML.Properties.Collections.Ordered_Set_Of_UML_Property is abstract;
91   --  Getter of Interface::ownedAttribute.
92   --
93   --  The attributes (i.e. the properties) owned by the class.
94
95   not overriding function Get_Owned_Operation
96    (Self : not null access constant UML_Interface)
97       return AMF.UML.Operations.Collections.Ordered_Set_Of_UML_Operation is abstract;
98   --  Getter of Interface::ownedOperation.
99   --
100   --  The operations owned by the class.
101
102   not overriding function Get_Owned_Reception
103    (Self : not null access constant UML_Interface)
104       return AMF.UML.Receptions.Collections.Set_Of_UML_Reception is abstract;
105   --  Getter of Interface::ownedReception.
106   --
107   --  Receptions that objects providing this interface are willing to accept.
108
109   not overriding function Get_Protocol
110    (Self : not null access constant UML_Interface)
111       return AMF.UML.Protocol_State_Machines.UML_Protocol_State_Machine_Access is abstract;
112   --  Getter of Interface::protocol.
113   --
114   --  References a protocol state machine specifying the legal sequences of
115   --  the invocation of the behavioral features described in the interface.
116
117   not overriding procedure Set_Protocol
118    (Self : not null access UML_Interface;
119     To   : AMF.UML.Protocol_State_Machines.UML_Protocol_State_Machine_Access) is abstract;
120   --  Setter of Interface::protocol.
121   --
122   --  References a protocol state machine specifying the legal sequences of
123   --  the invocation of the behavioral features described in the interface.
124
125   not overriding function Get_Redefined_Interface
126    (Self : not null access constant UML_Interface)
127       return AMF.UML.Interfaces.Collections.Set_Of_UML_Interface is abstract;
128   --  Getter of Interface::redefinedInterface.
129   --
130   --  References all the Interfaces redefined by this Interface.
131
132end AMF.UML.Interfaces;
133