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

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 94982 by jasonw, Fri Aug 10 15:09:25 2012 UTC revision 94983 by jasonw, Fri May 2 11:05:28 2014 UTC
# Line 9  deferred class Line 9  deferred class
9          DEANCHORED_TYPE_A          DEANCHORED_TYPE_A
10    
11  inherit  inherit
12          ANNOTATED_TYPE_A          TYPE_A
13                  redefine                  redefine
14                          is_named_type                          is_named_type
15                  end                  end
# Line 20  feature -- Property Line 20  feature -- Property
20                          -- Current is a named type                          -- Current is a named type
21    
22  note  note
23          copyright:      "Copyright (c) 1984-2007, Eiffel Software"          copyright:      "Copyright (c) 1984-2014, Eiffel Software"
24          license:        "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"          license:        "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
25          licensing_options:      "http://www.eiffel.com/licensing"          licensing_options:      "http://www.eiffel.com/licensing"
26          copying: "[          copying: "[
# Line 33  note Line 33  note
33                          (available at the URL listed under "license" above).                          (available at the URL listed under "license" above).
34                                                    
35                          Eiffel Software's Eiffel Development Environment is                          Eiffel Software's Eiffel Development Environment is
36                          distributed in the hope that it will be useful, but                          distributed in the hope that it will be useful, but
37                          WITHOUT ANY WARRANTY; without even the implied warranty                          WITHOUT ANY WARRANTY; without even the implied warranty
38                          of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.                          of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
39                          See the GNU General Public License for more details.                          See the GNU General Public License for more details.
40                                                    
41                          You should have received a copy of the GNU General Public                          You should have received a copy of the GNU General Public
42                          License along with Eiffel Software's Eiffel Development                          License along with Eiffel Software's Eiffel Development
43                          Environment; if not, write to the Free Software Foundation,                          Environment; if not, write to the Free Software Foundation,
44                          Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301  USA                          Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
45                  ]"                  ]"
46          source: "[          source: "[
47                           Eiffel Software                          Eiffel Software
48                           356 Storke Road, Goleta, CA 93117 USA                          5949 Hollister Ave., Goleta, CA 93117 USA
49                           Telephone 805-685-1006, Fax 805-685-6869                          Telephone 805-685-1006, Fax 805-685-6869
50                           Website http://www.eiffel.com                          Website http://www.eiffel.com
51                           Customer support http://support.eiffel.com                          Customer support http://support.eiffel.com
52                  ]"                  ]"
53    
54  end -- class NAMED_TYPE_A  end -- class NAMED_TYPE_A

Legend:
Removed from v.94982  
changed lines
  Added in v.94983

  ViewVC Help
Powered by ViewVC 1.1.23