/[eiffelstudio]/branches/eth/eve/Src/Eiffel/API/evaluated_type/future_checking_info.e
ViewVC logotype

Contents of /branches/eth/eve/Src/Eiffel/API/evaluated_type/future_checking_info.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 83441 - (show annotations)
Sat Jun 5 13:52:53 2010 UTC (9 years, 8 months ago) by jasonw
File size: 2320 byte(s)
Renamed branch eve3 to eve. The eve branch serves as the new branch for the EVE project.
1 note
2 description: "Objects that stores all the info needed for validity checking of a declaration%N%
3 %of a generic class with its generic creation constraint part"
4 legal: "See notice at end of class."
5 status: "See notice at end of class."
6 author: "Emmanuel STAPF"
7 date: "$Date$"
8 revision: "$Revision$"
9
10 class
11 FUTURE_CHECKING_INFO
12
13 create
14 make
15
16 feature -- Initialization
17
18 make (c_class: like context_class; p: like action)
19 -- Initialize all the fields.
20 require
21 c_class_not_void: c_class /= Void
22 p_not_void: p /= Void
23 do
24 context_class := c_class
25 action := p
26 ensure
27 context_class_set: context_class = c_class
28 action_set: action = p
29 end
30
31 feature -- Access
32
33 context_class: CLASS_C
34 -- Class where the occurrence of generic type to be checked appears
35
36 action: PROCEDURE [ANY, TUPLE]
37 -- Action launched in context of current to check validity of constraint
38
39 invariant
40 context_class_not_void: context_class /= Void
41 action_not_void: action /= Void
42
43 note
44 copyright: "Copyright (c) 1984-2006, Eiffel Software"
45 license: "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
46 licensing_options: "http://www.eiffel.com/licensing"
47 copying: "[
48 This file is part of Eiffel Software's Eiffel Development Environment.
49
50 Eiffel Software's Eiffel Development Environment is free
51 software; you can redistribute it and/or modify it under
52 the terms of the GNU General Public License as published
53 by the Free Software Foundation, version 2 of the License
54 (available at the URL listed under "license" above).
55
56 Eiffel Software's Eiffel Development Environment is
57 distributed in the hope that it will be useful, but
58 WITHOUT ANY WARRANTY; without even the implied warranty
59 of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
60 See the GNU General Public License for more details.
61
62 You should have received a copy of the GNU General Public
63 License along with Eiffel Software's Eiffel Development
64 Environment; if not, write to the Free Software Foundation,
65 Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
66 ]"
67 source: "[
68 Eiffel Software
69 356 Storke Road, Goleta, CA 93117 USA
70 Telephone 805-685-1006, Fax 805-685-6869
71 Website http://www.eiffel.com
72 Customer support http://support.eiffel.com
73 ]"
74
75 end

Properties

Name Value
svn:eol-style native
svn:keywords Author Date Id Revision

  ViewVC Help
Powered by ViewVC 1.1.23