class
     VARIABLES

inherit
     AGGREGATE
           redefine
                 post_action
           end

     POLYNOM

create
     make

feature

     construct_name: STRING is
           once
                 Result := "VARIABLES"
           end
     
feature {NONE}

     Separator: STRING is ";"
     
feature

     production: LINKED_LIST [IDENTIFIER] is
           local
                 base: VAR
           once
                 create Result.make
                 Result.forth
                 create base.make
                 put (base)
           end

     post_action is
           do
                 if not no_components then
                       from
                             child_start
                       until
                             child_after
                       loop
                             child.post_action
                             child_forth
                       end
                 end
           end
     
end -- class VARIABLES