class
     IDENTIFIER

inherit
     TERMINAL

     CONSTANTS

create
     make

feature {NONE}

     default_identifier_name: STRING is
           once
                 Result := "IDENTIFIER"
           end

     construct_name: STRING is
           do
                 Result := default_identifier_name
           end
     
feature

     token_type: INTEGER is
           do
                 Result := simple_identifier
           end
     
end -- class IDENTIFIER