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: 3364 $ $Date: 2012-11-11 01:52:37 +0400 (Sun, 11 Nov 2012) $
43------------------------------------------------------------------------------
44--  This file is generated, don't edit it.
45------------------------------------------------------------------------------
46--  An opaque expression is an uninterpreted textual statement that denotes a
47--  (possibly empty) set of values when evaluated in a context.
48--
49--  Provides a mechanism for precisely defining the behavior of an opaque
50--  expression. An opaque expression is defined by a behavior restricted to
51--  return one result.
52------------------------------------------------------------------------------
53with AMF.String_Collections;
54limited with AMF.UML.Behaviors;
55limited with AMF.UML.Parameters;
56with AMF.UML.Value_Specifications;
57
58package AMF.UML.Opaque_Expressions is
59
60   pragma Preelaborate;
61
62   type UML_Opaque_Expression is limited interface
63     and AMF.UML.Value_Specifications.UML_Value_Specification;
64
65   type UML_Opaque_Expression_Access is
66     access all UML_Opaque_Expression'Class;
67   for UML_Opaque_Expression_Access'Storage_Size use 0;
68
69   not overriding function Get_Behavior
70    (Self : not null access constant UML_Opaque_Expression)
71       return AMF.UML.Behaviors.UML_Behavior_Access is abstract;
72   --  Getter of OpaqueExpression::behavior.
73   --
74   --  Specifies the behavior of the opaque expression.
75
76   not overriding procedure Set_Behavior
77    (Self : not null access UML_Opaque_Expression;
78     To   : AMF.UML.Behaviors.UML_Behavior_Access) is abstract;
79   --  Setter of OpaqueExpression::behavior.
80   --
81   --  Specifies the behavior of the opaque expression.
82
83   not overriding function Get_Body
84    (Self : not null access constant UML_Opaque_Expression)
85       return AMF.String_Collections.Sequence_Of_String is abstract;
86   --  Getter of OpaqueExpression::body.
87   --
88   --  The text of the expression, possibly in multiple languages.
89
90   not overriding function Get_Language
91    (Self : not null access constant UML_Opaque_Expression)
92       return AMF.String_Collections.Ordered_Set_Of_String is abstract;
93   --  Getter of OpaqueExpression::language.
94   --
95   --  Specifies the languages in which the expression is stated. The
96   --  interpretation of the expression body depends on the languages. If the
97   --  languages are unspecified, they might be implicit from the expression
98   --  body or the context. Languages are matched to body strings by order.
99
100   not overriding function Get_Result
101    (Self : not null access constant UML_Opaque_Expression)
102       return AMF.UML.Parameters.UML_Parameter_Access is abstract;
103   --  Getter of OpaqueExpression::result.
104   --
105   --  Restricts an opaque expression to return exactly one return result.
106   --  When the invocation of the opaque expression completes, a single set of
107   --  values is returned to its owner. This association is derived from the
108   --  single return result parameter of the associated behavior.
109
110   not overriding function Is_Integral
111    (Self : not null access constant UML_Opaque_Expression)
112       return Boolean is abstract;
113   --  Operation OpaqueExpression::isIntegral.
114   --
115   --  The query isIntegral() tells whether an expression is intended to
116   --  produce an integer.
117
118   not overriding function Is_Non_Negative
119    (Self : not null access constant UML_Opaque_Expression)
120       return Boolean is abstract;
121   --  Operation OpaqueExpression::isNonNegative.
122   --
123   --  The query isNonNegative() tells whether an integer expression has a
124   --  non-negative value.
125
126   not overriding function Is_Positive
127    (Self : not null access constant UML_Opaque_Expression)
128       return Boolean is abstract;
129   --  Operation OpaqueExpression::isPositive.
130   --
131   --  The query isPositive() tells whether an integer expression has a
132   --  positive value.
133
134   not overriding function Result
135    (Self : not null access constant UML_Opaque_Expression)
136       return AMF.UML.Parameters.UML_Parameter_Access is abstract;
137   --  Operation OpaqueExpression::result.
138   --
139   --  Missing derivation for OpaqueExpression::/result : Parameter
140
141   not overriding function Value
142    (Self : not null access constant UML_Opaque_Expression)
143       return Integer is abstract;
144   --  Operation OpaqueExpression::value.
145   --
146   --  The query value() gives an integer value for an expression intended to
147   --  produce one.
148
149end AMF.UML.Opaque_Expressions;
150