Блог

Я сделал минимальный пример для генератора синтаксического анализа Packcc. Здесь анализатор должен распознавать числа с плавающей точкой или целые числа. Я пытаюсь напечатать местоположение обнаруженных чисел. Для простоты здесь нет количества строк / столбцов, только число из «ftell».

 %auxil "FILE*" # The type sent to "pcc_create" for access in "ftell".

test <- line 
        /
        _ EOL 

line <- num _ EOL

num <-  [0-9] '.'[0-9]      {printf("Float at %lin", ftell(auxil));}
        /
        [0-9]               {printf("Integer at %lin", ftell(auxil));}

_ <- [ t]*

EOL <- 'n' / 'rn' / 'r'

%%

int main()
{
    FILE* file = fopen("test.txt", "r");
    stdin = file;
    if(file == NULL) {
    // try to open.
        puts("File not found");
    }
    else {
    //  parse.
        pcc_context_t *ctx = pcc_create(file);
        while(pcc_parse(ctx, NULL));
        pcc_destroy(ctx);
    }
    return 0;
}
  

Файл для анализа может быть

 2.0
42
  

Команда может быть

 packcc test.peg amp;amp; cc test.c amp;amp; ./a.out
  

Проблема в том, что значение курсора всегда находится в конце файла, независимо от номера
положение.

Позиции могут быть получены с помощью специальных переменных. В приведенном выше примере «ftell» должен быть заменен на «$ 0s» или «$ 0e». $ 0s — это начало согласованного шаблона, $ 0e — это конец согласованного шаблона.

https://github.com/arithy/packcc/blob/master/README.md

Не глядя более внимательно на сгенерированный код, может показаться, что анализатор настаивает на чтении всего текста в память перед выполнением любого из действий. Это кажется ненужным для этой грамматики, и это, конечно, не так, как будет работать типичный сгенерированный лексический сканер. Это особенно странно, поскольку кажется, что сгенерированный сканер использует getchar для чтения по одному байту за раз, что не очень эффективно, если вы планируете прочитать весь файл.

Честно говоря, вы также не смогли бы использовать ftell сканер, созданный с помощью flex, если только вы не переведете сканер в интерактивный режим. (Оригинальный AT amp; T lex, который также считывает по одному символу за раз, даст вам разумную ценность от ftell . Но вы вряд ли найдете сканер, построенный с его помощью.)

Flex даст вам неправильный ответ, потому что он намеренно считывает свои входные данные фрагментами размером с его буфер, обычно 8 кб. Это намного эффективнее, чем чтение по символам за раз. Но это не работает для интерактивных сред — например, где вы выполняете синтаксический анализ непосредственно из пользовательского ввода — потому что вы не хотите читать дальше конца строки, введенной пользователем.

Вам нужно спросить того, кто поддерживает packcc, каков их предполагаемый подход к поддержанию исходного положения. Возможно, у них есть что-то встроенное.