/[eiffelstudio]/branches/eth/eve/Src/framework/eiffel_transform/Visitors/Printers/etr_ast_structure_printer.e
ViewVC logotype

Diff of /branches/eth/eve/Src/framework/eiffel_transform/Visitors/Printers/etr_ast_structure_printer.e

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

revision 85848 by msteindorfer, Fri Feb 25 13:42:56 2011 UTC revision 85849 by msteindorfer, Fri Mar 11 14:12:42 2011 UTC
# Line 138  feature {NONE} -- Creation Line 138  feature {NONE} -- Creation
138          make_with_output (a_output: like output)          make_with_output (a_output: like output)
139                          -- Make with `a_output'                          -- Make with `a_output'
140                  do                  do
141                            set_output (a_output)
142                    end
143    
144    feature -- Configuration
145    
146            set_output (a_output: like output)
147                            -- Configure with `a_output'.
148                    require
149                            a_output_attached: a_output /= Void
150                    do
151                          output := a_output                          output := a_output
152                    ensure
153                            a_output_attached: output /= Void
154                  end                  end
155    
156  feature {NONE} -- Implementation (Attributes)  feature {NONE} -- Implementation (Attributes)

Legend:
Removed from v.85848  
changed lines
  Added in v.85849

  ViewVC Help
Powered by ViewVC 1.1.23