class
     INT_CONSTANT

inherit
     TERMINAL

     CONSTANTS

feature

     token_type: INTEGER is
           do
                 Result := integer_constant
           end
     
feature {NONE}

     construct_name: STRING is
           once
                 Result := "INT_CONSTANT"
           end
     
end -- class INT_CONSTANT