class
     POLY_INTEGER

inherit
     INT_CONSTANT
           redefine
                 action
           end

     POLYNOM

create
     make

feature {NONE}

     action is
           do
                 info.set_child_value (token.string_value.to_integer)
           end
     
end -- class POLY_INTEGER