/[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 56564 by alexk, Tue Jan 17 15:00:56 2006 UTC revision 56735 by alexk, Thu Jan 26 13:08:50 2006 UTC
# Line 27  inherit Line 27  inherit
27                          is_expanded,                          is_expanded,
28                          is_explicit,                          is_explicit,
29                          is_external,                          is_external,
30                            is_frozen,
31                          is_generated_as_single_type,                          is_generated_as_single_type,
32                          is_reference,                          is_reference,
33                          is_separate,                          is_separate,
# Line 330  feature -- Status Line 331  feature -- Status
331                          Result := is_basic or (not l_base_class.is_basic and l_base_class.is_external)                          Result := is_basic or (not l_base_class.is_basic and l_base_class.is_external)
332                  end                  end
333    
334            is_frozen: BOOLEAN is
335                            -- Is current type based on a frozen class?
336                    do
337                            Result := base_class.is_frozen
338                    end
339    
340          is_generated_as_single_type: BOOLEAN is          is_generated_as_single_type: BOOLEAN is
341                          -- Is associated type generated as a single type or as an interface type and                          -- Is associated type generated as a single type or as an interface type and
342                          -- an implementation type.                          -- an implementation type.
# Line 637  indexing Line 644  indexing
644          licensing_options:      "http://www.eiffel.com/licensing"          licensing_options:      "http://www.eiffel.com/licensing"
645          copying: "[          copying: "[
646                          This file is part of Eiffel Software's Eiffel Development Environment.                          This file is part of Eiffel Software's Eiffel Development Environment.
647                            
648                          Eiffel Software's Eiffel Development Environment is free                          Eiffel Software's Eiffel Development Environment is free
649                          software; you can redistribute it and/or modify it under                          software; you can redistribute it and/or modify it under
650                          the terms of the GNU General Public License as published                          the terms of the GNU General Public License as published
651                          by the Free Software Foundation, version 2 of the License                          by the Free Software Foundation, version 2 of the License
652                          (available at the URL listed under "license" above).                          (available at the URL listed under "license" above).
653                            
654                          Eiffel Software's Eiffel Development Environment is                          Eiffel Software's Eiffel Development Environment is
655                          distributed in the hope that it will be useful, but                          distributed in the hope that it will be useful, but
656                          WITHOUT ANY WARRANTY; without even the implied warranty                          WITHOUT ANY WARRANTY; without even the implied warranty
657                          of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.                          of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
658                          See the GNU General Public License for more details.                          See the GNU General Public License for more details.
659                            
660                          You should have received a copy of the GNU General Public                          You should have received a copy of the GNU General Public
661                          License along with Eiffel Software's Eiffel Development                          License along with Eiffel Software's Eiffel Development
662                          Environment; if not, write to the Free Software Foundation,                          Environment; if not, write to the Free Software Foundation,

Legend:
Removed from v.56564  
changed lines
  Added in v.56735

  ViewVC Help
Powered by ViewVC 1.1.23