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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 94983 - (show annotations)
Fri May 2 11:05:28 2014 UTC (5 years, 7 months ago) by jasonw
File size: 1720 byte(s)
<<Merged from trunk#94978.>>
1 note
2 description: "Types that are presented as a class name or generic parameter"
3 legal: "See notice at end of class."
4 status: "See notice at end of class."
5 date: "$Date$"
6 revision: "$Revision$"
7
8 deferred class
9 DEANCHORED_TYPE_A
10
11 inherit
12 TYPE_A
13 redefine
14 is_named_type
15 end
16
17 feature -- Property
18
19 is_named_type: BOOLEAN = True;
20 -- Current is a named type
21
22 note
23 copyright: "Copyright (c) 1984-2014, Eiffel Software"
24 license: "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
25 licensing_options: "http://www.eiffel.com/licensing"
26 copying: "[
27 This file is part of Eiffel Software's Eiffel Development Environment.
28
29 Eiffel Software's Eiffel Development Environment is free
30 software; you can redistribute it and/or modify it under
31 the terms of the GNU General Public License as published
32 by the Free Software Foundation, version 2 of the License
33 (available at the URL listed under "license" above).
34
35 Eiffel Software's Eiffel Development Environment is
36 distributed in the hope that it will be useful, but
37 WITHOUT ANY WARRANTY; without even the implied warranty
38 of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
39 See the GNU General Public License for more details.
40
41 You should have received a copy of the GNU General Public
42 License along with Eiffel Software's Eiffel Development
43 Environment; if not, write to the Free Software Foundation,
44 Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
45 ]"
46 source: "[
47 Eiffel Software
48 5949 Hollister Ave., Goleta, CA 93117 USA
49 Telephone 805-685-1006, Fax 805-685-6869
50 Website http://www.eiffel.com
51 Customer support http://support.eiffel.com
52 ]"
53
54 end -- class NAMED_TYPE_A

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23