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 clause is an element that represents a single branch of a conditional 47-- construct, including a test and a body section. The body section is 48-- executed only if (but not necessarily if) the test section evaluates true. 49------------------------------------------------------------------------------ 50limited with AMF.UML.Clauses.Collections; 51with AMF.UML.Elements; 52limited with AMF.UML.Executable_Nodes.Collections; 53limited with AMF.UML.Output_Pins.Collections; 54 55package AMF.UML.Clauses is 56 57 pragma Preelaborate; 58 59 type UML_Clause is limited interface 60 and AMF.UML.Elements.UML_Element; 61 62 type UML_Clause_Access is 63 access all UML_Clause'Class; 64 for UML_Clause_Access'Storage_Size use 0; 65 66 not overriding function Get_Body 67 (Self : not null access constant UML_Clause) 68 return AMF.UML.Executable_Nodes.Collections.Set_Of_UML_Executable_Node is abstract; 69 -- Getter of Clause::body. 70 -- 71 -- A nested activity fragment that is executed if the test evaluates to 72 -- true and the clause is chosen over any concurrent clauses that also 73 -- evaluate to true. 74 75 not overriding function Get_Body_Output 76 (Self : not null access constant UML_Clause) 77 return AMF.UML.Output_Pins.Collections.Ordered_Set_Of_UML_Output_Pin is abstract; 78 -- Getter of Clause::bodyOutput. 79 -- 80 -- A list of output pins within the body fragment whose values are moved 81 -- to the result pins of the containing conditional node after execution 82 -- of the clause body. 83 84 not overriding function Get_Decider 85 (Self : not null access constant UML_Clause) 86 return AMF.UML.Output_Pins.UML_Output_Pin_Access is abstract; 87 -- Getter of Clause::decider. 88 -- 89 -- An output pin within the test fragment the value of which is examined 90 -- after execution of the test to determine whether the body should be 91 -- executed. 92 93 not overriding procedure Set_Decider 94 (Self : not null access UML_Clause; 95 To : AMF.UML.Output_Pins.UML_Output_Pin_Access) is abstract; 96 -- Setter of Clause::decider. 97 -- 98 -- An output pin within the test fragment the value of which is examined 99 -- after execution of the test to determine whether the body should be 100 -- executed. 101 102 not overriding function Get_Predecessor_Clause 103 (Self : not null access constant UML_Clause) 104 return AMF.UML.Clauses.Collections.Set_Of_UML_Clause is abstract; 105 -- Getter of Clause::predecessorClause. 106 -- 107 -- A set of clauses whose tests must all evaluate false before the current 108 -- clause can be tested. 109 110 not overriding function Get_Successor_Clause 111 (Self : not null access constant UML_Clause) 112 return AMF.UML.Clauses.Collections.Set_Of_UML_Clause is abstract; 113 -- Getter of Clause::successorClause. 114 -- 115 -- A set of clauses which may not be tested unless the current clause 116 -- tests false. 117 118 not overriding function Get_Test 119 (Self : not null access constant UML_Clause) 120 return AMF.UML.Executable_Nodes.Collections.Set_Of_UML_Executable_Node is abstract; 121 -- Getter of Clause::test. 122 -- 123 -- A nested activity fragment with a designated output pin that specifies 124 -- the result of the test. 125 126end AMF.UML.Clauses; 127