/[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 92434 by jasonw, Fri Apr 12 10:41:30 2013 UTC revision 92516 by jasonw, Fri May 3 04:29:22 2013 UTC
# Line 65  feature -- Output Line 65  feature -- Output
65          dump: STRING = "NONE"          dump: STRING = "NONE"
66                          -- Dumped trace                          -- Dumped trace
67    
68          ext_append_to (st: TEXT_FORMATTER; c: CLASS_C)          ext_append_to (a_text_formatter: TEXT_FORMATTER; a_context_class: CLASS_C)
69                            -- <Precursor>
70                  do                  do
71                          if                          if
72                                  not has_attached_mark and then not has_detachable_mark and then                                  not has_attached_mark and then not has_detachable_mark and then
73                                  not is_attached and then not is_implicitly_attached                                  not is_attached and then not is_implicitly_attached
74                          then                          then
75                                          -- There is no explicit attachment mark, let's put an assumed one.                                          -- There is no explicit attachment mark, let's put an assumed one.
76                                  st.process_symbol_text ({SHARED_TEXT_ITEMS}.ti_l_bracket)                                  a_text_formatter.process_symbol_text ({SHARED_TEXT_ITEMS}.ti_l_bracket)
77                                  st.process_keyword_text ({SHARED_TEXT_ITEMS}.ti_detachable_keyword, Void)                                  a_text_formatter.process_keyword_text ({SHARED_TEXT_ITEMS}.ti_detachable_keyword, Void)
78                                  st.process_symbol_text ({SHARED_TEXT_ITEMS}.ti_r_bracket)                                  a_text_formatter.process_symbol_text ({SHARED_TEXT_ITEMS}.ti_r_bracket)
79                                  st.add_space                                  a_text_formatter.add_space
80                          end                          end
81                          ext_append_marks (st)                          ext_append_marks (a_text_formatter)
82                          st.add ({SHARED_TEXT_ITEMS}.ti_none_class)                          a_text_formatter.add ({SHARED_TEXT_ITEMS}.ti_none_class)
83                  end                  end
84    
85  feature -- Generic conformance  feature -- Generic conformance

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

  ViewVC Help
Powered by ViewVC 1.1.23