Searched refs:keyword_num (Results 1 – 1 of 1) sorted by relevance
336 Integer keyword_num; in do_id() local354 keyword_num = (Integer)keywords.get(result_str); in do_id()357 if (keyword_num != null) in do_id()358 return new token(keyword_num.intValue()); in do_id()