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--  An action has pre- and post-conditions.
47--
48--  An action is a named element that is the fundamental unit of executable
49--  functionality. The execution of an action represents some transformation
50--  or processing in the modeled system, be it a computer system or otherwise.
51--
52--  An action represents a single step within an activity, that is, one that
53--  is not further decomposed within the activity.
54------------------------------------------------------------------------------
55limited with AMF.UML.Classifiers;
56limited with AMF.UML.Constraints.Collections;
57with AMF.UML.Executable_Nodes;
58limited with AMF.UML.Input_Pins.Collections;
59limited with AMF.UML.Output_Pins.Collections;
60
61package AMF.UML.Actions is
62
63   pragma Preelaborate;
64
65   type UML_Action is limited interface
66     and AMF.UML.Executable_Nodes.UML_Executable_Node;
67
68   type UML_Action_Access is
69     access all UML_Action'Class;
70   for UML_Action_Access'Storage_Size use 0;
71
72   not overriding function Get_Context
73    (Self : not null access constant UML_Action)
74       return AMF.UML.Classifiers.UML_Classifier_Access is abstract;
75   --  Getter of Action::context.
76   --
77   --  The classifier that owns the behavior of which this action is a part.
78
79   not overriding function Get_Input
80    (Self : not null access constant UML_Action)
81       return AMF.UML.Input_Pins.Collections.Ordered_Set_Of_UML_Input_Pin is abstract;
82   --  Getter of Action::input.
83   --
84   --  The ordered set of input pins connected to the Action. These are among
85   --  the total set of inputs.
86
87   not overriding function Get_Is_Locally_Reentrant
88    (Self : not null access constant UML_Action)
89       return Boolean is abstract;
90   --  Getter of Action::isLocallyReentrant.
91   --
92   --  If true, the action can begin a new, concurrent execution, even if
93   --  there is already another execution of the action ongoing. If false, the
94   --  action cannot begin a new execution until any previous execution has
95   --  completed.
96
97   not overriding procedure Set_Is_Locally_Reentrant
98    (Self : not null access UML_Action;
99     To   : Boolean) is abstract;
100   --  Setter of Action::isLocallyReentrant.
101   --
102   --  If true, the action can begin a new, concurrent execution, even if
103   --  there is already another execution of the action ongoing. If false, the
104   --  action cannot begin a new execution until any previous execution has
105   --  completed.
106
107   not overriding function Get_Local_Postcondition
108    (Self : not null access constant UML_Action)
109       return AMF.UML.Constraints.Collections.Set_Of_UML_Constraint is abstract;
110   --  Getter of Action::localPostcondition.
111   --
112   --  Constraint that must be satisfied when executed is completed.
113
114   not overriding function Get_Local_Precondition
115    (Self : not null access constant UML_Action)
116       return AMF.UML.Constraints.Collections.Set_Of_UML_Constraint is abstract;
117   --  Getter of Action::localPrecondition.
118   --
119   --  Constraint that must be satisfied when execution is started.
120
121   not overriding function Get_Output
122    (Self : not null access constant UML_Action)
123       return AMF.UML.Output_Pins.Collections.Ordered_Set_Of_UML_Output_Pin is abstract;
124   --  Getter of Action::output.
125   --
126   --  The ordered set of output pins connected to the Action. The action
127   --  places its results onto pins in this set.
128
129   not overriding function Context
130    (Self : not null access constant UML_Action)
131       return AMF.UML.Classifiers.UML_Classifier_Access is abstract;
132   --  Operation Action::context.
133   --
134   --  Missing derivation for Action::/context : Classifier
135
136end AMF.UML.Actions;
137