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

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

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

revision 92516 by jasonw, Fri May 3 04:29:22 2013 UTC revision 92684 by jasonw, Fri Jun 7 15:28:53 2013 UTC
# Line 68  feature -- Output Line 68  feature -- Output
68          ext_append_to (a_text_formatter: TEXT_FORMATTER; a_context_class: CLASS_C)          ext_append_to (a_text_formatter: TEXT_FORMATTER; a_context_class: CLASS_C)
69                          -- <Precursor>                          -- <Precursor>
70                  do                  do
                         if  
                                 not has_attached_mark and then not has_detachable_mark and then  
                                 not is_attached and then not is_implicitly_attached  
                         then  
                                         -- There is no explicit attachment mark, let's put an assumed one.  
                                 a_text_formatter.process_symbol_text ({SHARED_TEXT_ITEMS}.ti_l_bracket)  
                                 a_text_formatter.process_keyword_text ({SHARED_TEXT_ITEMS}.ti_detachable_keyword, Void)  
                                 a_text_formatter.process_symbol_text ({SHARED_TEXT_ITEMS}.ti_r_bracket)  
                                 a_text_formatter.add_space  
                         end  
71                          ext_append_marks (a_text_formatter)                          ext_append_marks (a_text_formatter)
72                          a_text_formatter.add ({SHARED_TEXT_ITEMS}.ti_none_class)                          a_text_formatter.add ({SHARED_TEXT_ITEMS}.ti_none_class)
73                  end                  end

Legend:
Removed from v.92516  
changed lines
  Added in v.92684

  ViewVC Help
Powered by ViewVC 1.1.23