/[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 56735 by alexk, Thu Jan 26 13:08:50 2006 UTC revision 57781 by patrickr, Mon Mar 27 17:11:27 2006 UTC
# Line 607  feature {NONE} -- Implementation Line 607  feature {NONE} -- Implementation
607                          end                          end
608                          Result.append (a_base_name)                          Result.append (a_base_name)
609                          Result.to_lower                          Result.to_lower
610                          Result := il_casing.type_name (l_base_class.lace_class.actual_namespace, a_prefix, Result, System.dotnet_naming_convention)                          Result := il_casing.type_name (l_base_class.original_class.actual_namespace, a_prefix, Result, System.dotnet_naming_convention)
611                  ensure                  ensure
612                          internal_il_type_name_not_void: Result /= Void                          internal_il_type_name_not_void: Result /= Void
613                          internal_il_type_name_not_empty: not Result.is_empty                          internal_il_type_name_not_empty: not Result.is_empty

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

  ViewVC Help
Powered by ViewVC 1.1.23