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 protocol transition specifies a legal transition for an operation. 47-- Transitions of protocol state machines have the following information: a 48-- pre condition (guard), on trigger, and a post condition. Every protocol 49-- transition is associated to zero or one operation (referred 50-- BehavioralFeature) that belongs to the context classifier of the protocol 51-- state machine. 52------------------------------------------------------------------------------ 53limited with AMF.UML.Constraints; 54limited with AMF.UML.Operations.Collections; 55with AMF.UML.Transitions; 56 57package AMF.UML.Protocol_Transitions is 58 59 pragma Preelaborate; 60 61 type UML_Protocol_Transition is limited interface 62 and AMF.UML.Transitions.UML_Transition; 63 64 type UML_Protocol_Transition_Access is 65 access all UML_Protocol_Transition'Class; 66 for UML_Protocol_Transition_Access'Storage_Size use 0; 67 68 not overriding function Get_Post_Condition 69 (Self : not null access constant UML_Protocol_Transition) 70 return AMF.UML.Constraints.UML_Constraint_Access is abstract; 71 -- Getter of ProtocolTransition::postCondition. 72 -- 73 -- Specifies the post condition of the transition which is the condition 74 -- that should be obtained once the transition is triggered. This post 75 -- condition is part of the post condition of the operation connected to 76 -- the transition. 77 78 not overriding procedure Set_Post_Condition 79 (Self : not null access UML_Protocol_Transition; 80 To : AMF.UML.Constraints.UML_Constraint_Access) is abstract; 81 -- Setter of ProtocolTransition::postCondition. 82 -- 83 -- Specifies the post condition of the transition which is the condition 84 -- that should be obtained once the transition is triggered. This post 85 -- condition is part of the post condition of the operation connected to 86 -- the transition. 87 88 not overriding function Get_Pre_Condition 89 (Self : not null access constant UML_Protocol_Transition) 90 return AMF.UML.Constraints.UML_Constraint_Access is abstract; 91 -- Getter of ProtocolTransition::preCondition. 92 -- 93 -- Specifies the precondition of the transition. It specifies the 94 -- condition that should be verified before triggering the transition. 95 -- This guard condition added to the source state will be evaluated as 96 -- part of the precondition of the operation referred by the transition if 97 -- any. 98 99 not overriding procedure Set_Pre_Condition 100 (Self : not null access UML_Protocol_Transition; 101 To : AMF.UML.Constraints.UML_Constraint_Access) is abstract; 102 -- Setter of ProtocolTransition::preCondition. 103 -- 104 -- Specifies the precondition of the transition. It specifies the 105 -- condition that should be verified before triggering the transition. 106 -- This guard condition added to the source state will be evaluated as 107 -- part of the precondition of the operation referred by the transition if 108 -- any. 109 110 not overriding function Get_Referred 111 (Self : not null access constant UML_Protocol_Transition) 112 return AMF.UML.Operations.Collections.Set_Of_UML_Operation is abstract; 113 -- Getter of ProtocolTransition::referred. 114 -- 115 -- This association refers to the associated operation. It is derived from 116 -- the operation of the call trigger when applicable. 117 118 not overriding function Referred 119 (Self : not null access constant UML_Protocol_Transition) 120 return AMF.UML.Operations.Collections.Set_Of_UML_Operation is abstract; 121 -- Operation ProtocolTransition::referred. 122 -- 123 -- Missing derivation for ProtocolTransition::/referred : Operation 124 125end AMF.UML.Protocol_Transitions; 126