class
     LINE

inherit
     AGGREGATE
           export
                 {PROCESS} all
           redefine
                 post_action
           end

     POLYNOM

create
     make

feature

     construct_name: STRING is
           once
                 Result := "LINE"
           end

     production: LINKED_LIST [CONSTRUCT] is
           local
                 var: VARIABLES
                 sum: SUM
           once
                 create Result.make
                 Result.forth
                 create var.make
                 put (var)
                 keyword (":")
                 create sum.make
                 put (sum)
           end

     post_action is
           do
                 child_start
                 child.post_action
                 from
                       child_finish
                 until
                       info.end_session
                 loop
                       info.set_value
                       child.post_action
                       io.putstring ("value: ")
                       io.putint (info.child_value)
                       io.new_line
                 end
           end
     
end -- class LINE