Использование грамматики ParseKit для анализа временных меток

Разработчик ParseKit здесь.

Во-первых, спасибо за предупреждение об ошибке в файле date.grammar. Я исправил это.

Что касается вашего основного вопроса, я почти уверен, что то, что вы пытаетесь сделать, было невозможно с ParseKit до сих пор.

То есть токенизатор ParseKit (PKTokenizer) не смог создать только целое число токенов Number. Числа всегда были токенизированы как числа с плавающей запятой, что означает невозможность анализа ввода, такого как 3.14, как трех отдельных токенов 3 (Число) . (Символ) 14 (Число). Скорее, он всегда будет обозначаться как 3.14.

Хорошие новости: я добавил эту возможность с помощью нового метода:

-[PKNumberState allowsFloatingPoint]

который по умолчанию равен YES.

И я добавил соответствующую Директиву Tokenizer, которую вы можете использовать в своих грамматиках ParseKit, например:

@allowsFloatingPoint = NO;

ПРИМЕЧАНИЕ вам необходимо проверить последнюю версию HEAD из ствола в Google Code, чтобы увидеть эту функцию.

Итак, вот пример грамматики дат, который делает примерно то, что вы просили с новой функцией:

@symbolState = '.';
@allowsFloatingPoint = NO;

@start  = date;

date    = year dot month dot day;

year    = /\d{4}/;
month   = /\d{2}/;
day     = /\d{2}/;

dot    = '.';

Мне интересно, может ли более простая идея заставить parseKit просто проанализировать дату как строку, а затем передать ее NSDate::dateWithNaturalLanguageString:locale: orNSDate::dateWithNaturalLanguageString: для обработки.