/[eiffelstudio]/branches/CAT_mono/Src/Eiffel/eiffel/byte_code/byte_context.e
ViewVC logotype

Diff of /branches/CAT_mono/Src/Eiffel/eiffel/byte_code/byte_context.e

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

revision 69867 by manus, Mon Jul 23 21:36:18 2007 UTC revision 69868 by martins, Fri Aug 3 22:28:26 2007 UTC
# Line 1068  feature -- Access Line 1068  feature -- Access
1068                                  reference_i ?= Result                                  reference_i ?= Result
1069                                  if reference_i /= Void then                                  if reference_i /= Void then
1070                                          if formal.type_a.is_multi_constrained (context_type.type.base_class) then                                          if formal.type_a.is_multi_constrained (context_type.type.base_class) then
1071                                                  create {MULTI_FORMAL_I} Result.make (formal.is_reference, formal.is_expanded, formal.position, -1)                                                  create {MULTI_FORMAL_I} Result.make (formal.is_reference, formal.is_expanded, formal.is_monomorph, formal.position, -1)
1072                                          else                                          else
1073                                                  Result := context_type_i.base_class.constrained_type (formal_position).type_i                                                  Result := context_type_i.base_class.constrained_type (formal_position).type_i
1074                                          end                                          end
# Line 1116  feature -- Access Line 1116  feature -- Access
1116                                          if l_type_set.has_expanded then                                          if l_type_set.has_expanded then
1117                                                  Result := l_type_set.expanded_representative.type_i                                                  Result := l_type_set.expanded_representative.type_i
1118                                          else                                          else
1119                                                  create {MULTI_FORMAL_I} Result.make (type.is_reference, l_type_set.has_expanded, l_formal.position, -1)                                                  create {MULTI_FORMAL_I} Result.make (type.is_reference, l_type_set.has_expanded, l_formal.is_monomorph, l_formal.position, -1)
1120                                          end                                          end
1121                          else                          else
1122                                  Result := constrained_type_in (type, context_type).instantiation_in (context_type)                                  Result := constrained_type_in (type, context_type).instantiation_in (context_type)

Legend:
Removed from v.69867  
changed lines
  Added in v.69868

  ViewVC Help
Powered by ViewVC 1.1.23