API/evaluated_type/multi_formal_a.e

note
        description: "Descripion of a multi formal generic type"
        legal: "See notice at end of class."
        status: "See notice at end of class."
        date: "$Date$"
        revision: "$Revision$"

class MULTI_FORMAL_A

inherit
        FORMAL_A
                redefine
                        has_multi_constrained,
                        process
                end

create
        make

feature -- Visitor

        process (v: TYPE_A_VISITOR)
                        -- Process current element.
                do
                        v.process_multi_formal_a (Current)
                end

feature -- Property

        has_multi_constrained: BOOLEAN = True;

note
        copyright:      "Copyright (c) 1984-2007, Eiffel Software"
        license:        "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
        licensing_options:      "http://www.eiffel.com/licensing"
        copying: "[
                        This file is part of Eiffel Software's Eiffel Development Environment.
                        
                        Eiffel Software's Eiffel Development Environment is free
                        software; you can redistribute it and/or modify it under
                        the terms of the GNU General Public License as published
                        by the Free Software Foundation, version 2 of the License
                        (available at the URL listed under "license" above).
                        
                        Eiffel Software's Eiffel Development Environment is
                        distributed in the hope that it will be useful, but
                        WITHOUT ANY WARRANTY; without even the implied warranty
                        of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
                        See the GNU General Public License for more details.
                        
                        You should have received a copy of the GNU General Public
                        License along with Eiffel Software's Eiffel Development
                        Environment; if not, write to the Free Software Foundation,
                        Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301  USA
                ]"
        source: "[
                         Eiffel Software
                         356 Storke Road, Goleta, CA 93117 USA
                         Telephone 805-685-1006, Fax 805-685-6869
                         Website http://www.eiffel.com
                         Customer support http://support.eiffel.com
                ]"

end
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
Name	Value
svn:eol-style	native
svn:keywords	Author Date Id Revision