/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/eiffel/genericity/cl_type_i.e
ViewVC logotype

Diff of /branches/CAT_mono/Src/Eiffel/eiffel/genericity/cl_type_i.e

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

revision 56356 by alexk, Fri Dec 23 11:15:48 2005 UTC revision 56535 by manus, Tue Jan 17 01:37:10 2006 UTC
# Line 1  Line 1 
1  indexing  indexing
2          description: "Type class."          description: "Type class."
3            legal: "See notice at end of class."
4            status: "See notice at end of class."
5          date: "$Date$"          date: "$Date$"
6          revision: "$Revision$"          revision: "$Revision$"
7    
# Line 614  invariant Line 616  invariant
616                  declaration_mark = {CL_TYPE_A}.reference_mark or                  declaration_mark = {CL_TYPE_A}.reference_mark or
617                  declaration_mark = {CL_TYPE_A}.separate_mark                  declaration_mark = {CL_TYPE_A}.separate_mark
618    
619    indexing
620            copyright:      "Copyright (c) 1984-2006, Eiffel Software"
621            license:        "GPL version 2 see http://www.eiffel.com/licensing/gpl.txt)"
622            licensing_options:      "http://www.eiffel.com/licensing"
623            copying: "[
624                            This file is part of Eiffel Software's Eiffel Development Environment.
625                            
626                            Eiffel Software's Eiffel Development Environment is free
627                            software; you can redistribute it and/or modify it under
628                            the terms of the GNU General Public License as published
629                            by the Free Software Foundation, version 2 of the License
630                            (available at the URL listed under "license" above).
631                            
632                            Eiffel Software's Eiffel Development Environment is
633                            distributed in the hope that it will be useful, but
634                            WITHOUT ANY WARRANTY; without even the implied warranty
635                            of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
636                            See the GNU General Public License for more details.
637                            
638                            You should have received a copy of the GNU General Public
639                            License along with Eiffel Software's Eiffel Development
640                            Environment; if not, write to the Free Software Foundation,
641                            Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301  USA
642                    ]"
643            source: "[
644                             Eiffel Software
645                             356 Storke Road, Goleta, CA 93117 USA
646                             Telephone 805-685-1006, Fax 805-685-6869
647                             Website http://www.eiffel.com
648                             Customer support http://support.eiffel.com
649                    ]"
650    
651  end  end

Legend:
Removed from v.56356  
changed lines
  Added in v.56535

  ViewVC Help
Powered by ViewVC 1.1.23