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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 92684 - (show annotations)
Fri Jun 7 15:28:53 2013 UTC (6 years, 6 months ago) by jasonw
File size: 1811 byte(s)
<<Merged from trunk#92682.>>
1 note
2 description: "Descripion of a multi formal generic type"
3 legal: "See notice at end of class."
4 status: "See notice at end of class."
5 date: "$Date$"
6 revision: "$Revision$"
7
8 class MULTI_FORMAL_A
9
10 inherit
11 FORMAL_A
12 redefine
13 has_multi_constrained,
14 process
15 end
16
17 create
18 make
19
20 feature -- Visitor
21
22 process (v: TYPE_A_VISITOR)
23 -- Process current element.
24 do
25 v.process_multi_formal_a (Current)
26 end
27
28 feature -- Property
29
30 has_multi_constrained: BOOLEAN = True;
31
32 note
33 copyright: "Copyright (c) 1984-2007, Eiffel Software"
34 license: "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
35 licensing_options: "http://www.eiffel.com/licensing"
36 copying: "[
37 This file is part of Eiffel Software's Eiffel Development Environment.
38
39 Eiffel Software's Eiffel Development Environment is free
40 software; you can redistribute it and/or modify it under
41 the terms of the GNU General Public License as published
42 by the Free Software Foundation, version 2 of the License
43 (available at the URL listed under "license" above).
44
45 Eiffel Software's Eiffel Development Environment is
46 distributed in the hope that it will be useful, but
47 WITHOUT ANY WARRANTY; without even the implied warranty
48 of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
49 See the GNU General Public License for more details.
50
51 You should have received a copy of the GNU General Public
52 License along with Eiffel Software's Eiffel Development
53 Environment; if not, write to the Free Software Foundation,
54 Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
55 ]"
56 source: "[
57 Eiffel Software
58 356 Storke Road, Goleta, CA 93117 USA
59 Telephone 805-685-1006, Fax 805-685-6869
60 Website http://www.eiffel.com
61 Customer support http://support.eiffel.com
62 ]"
63
64 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23