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

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

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

revision 84267 by mpei, Fri Jul 16 15:21:01 2010 UTC revision 84268 by jasonw, Tue Aug 24 14:02:11 2010 UTC
# Line 24  inherit Line 24  inherit
24                          maximum_interval_value, minimum_interval_value, is_optimized_as_frozen,                          maximum_interval_value, minimum_interval_value, is_optimized_as_frozen,
25                          is_generated_as_single_type, heaviest, instantiation_in, adapted_in,                          is_generated_as_single_type, heaviest, instantiation_in, adapted_in,
26                          hash_code, internal_generic_derivation, internal_same_generic_derivation_as,                          hash_code, internal_generic_derivation, internal_same_generic_derivation_as,
27                          is_class_valid, skeleton_adapted_in, good_generics, has_like_current, is_type_set,                          is_class_valid, skeleton_adapted_in, good_generics, has_like_current, is_type_set
                         is_computable_using_ancestors  
28                  end                  end
29    
30  feature -- Visitor  feature -- Visitor
# Line 152  feature -- Properties Line 151  feature -- Properties
151                  do                  do
152                          if other.is_like_current then                          if other.is_like_current then
153                                  l ?= other                                  l ?= other
154                                  Result := has_same_attachment_marks (l)                                  Result := has_same_marks (l)
155                          end                          end
156                  end                  end
157    
158          good_generics: BOOLEAN = True          good_generics: BOOLEAN = True
159                          --| A current type always has the right number of generic parameter.                          --| A current type always has the right number of generic parameter.
160    
         is_computable_using_ancestors: BOOLEAN = True  
                         -- <Precursor>  
   
161  feature -- Access  feature -- Access
162    
163          hash_code: INTEGER          hash_code: INTEGER
# Line 232  feature -- Output Line 228  feature -- Output
228                          actual_dump := conformance_type.dump                          actual_dump := conformance_type.dump
229                          create Result.make (17 + actual_dump.count)                          create Result.make (17 + actual_dump.count)
230                          Result.append_character ('[')                          Result.append_character ('[')
231                          if has_attached_mark then                          dump_marks (Result)
                                 Result.append_character ('!')  
                         elseif has_detachable_mark then  
                                 Result.append_character ('?')  
                         end  
232                          Result.append ("like Current] ")                          Result.append ("like Current] ")
233                          Result.append (actual_dump)                          Result.append (actual_dump)
234                  end                  end
# Line 244  feature -- Output Line 236  feature -- Output
236          ext_append_to (st: TEXT_FORMATTER; c: CLASS_C)          ext_append_to (st: TEXT_FORMATTER; c: CLASS_C)
237                  do                  do
238                          st.process_symbol_text ({SHARED_TEXT_ITEMS}.ti_L_bracket)                          st.process_symbol_text ({SHARED_TEXT_ITEMS}.ti_L_bracket)
239                          if has_attached_mark then                          ext_append_marks (st)
                                 st.process_keyword_text ({SHARED_TEXT_ITEMS}.ti_attached_keyword, Void)  
                                 st.add_space  
                         elseif has_detachable_mark then  
                                 st.process_keyword_text ({SHARED_TEXT_ITEMS}.ti_detachable_keyword, Void)  
                                 st.add_space  
                         end  
240                          st.process_keyword_text ({SHARED_TEXT_ITEMS}.ti_Like_keyword, Void)                          st.process_keyword_text ({SHARED_TEXT_ITEMS}.ti_Like_keyword, Void)
241                          st.add_space                          st.add_space
242                          st.process_keyword_text ({SHARED_TEXT_ITEMS}.ti_Current, Void)                          st.process_keyword_text ({SHARED_TEXT_ITEMS}.ti_Current, Void)

Legend:
Removed from v.84267  
changed lines
  Added in v.84268

  ViewVC Help
Powered by ViewVC 1.1.23