АНТЛР: Есть простой пример?

230

Я хотел бы начать работу с ANTLR, но, потратив несколько часов на рассмотрение примеров на сайте antlr.org , я все еще не могу получить четкое представление о грамматике процесса Java.

Есть ли какой-нибудь простой пример, что-то вроде калькулятора четырех операций, реализованного с помощью ANTLR, проходящего через определение синтаксического анализатора и вплоть до исходного кода Java?

Eli
источник
2
Этот точный пример используется в качестве учебного пособия на сайте Antlr, последний раз я проверял.
Кори Петоски
1
@ Кори Петоски: вы можете поставить ссылку?
Эли
Я только что опубликовал первые части видеоуроков по ANTLR. См. Javadude.com/articles/antlr3xtut Надеюсь, вы найдете это полезным!
Скотт Стэнчфилд
2
Я тоже поделюсь вашим поиском.
Пол Дрейпер
1
Лучший ответ для ANTLR 4 - купить книгу Парра "The Definitive ANTLR 4 Reference".
james.garriss

Ответы:

448

Примечание : этот ответ для ANTLR3 ! Если вы ищете пример ANTLR4 , тогда в этом разделе « Вопросы и ответы» показано, как создать простой анализатор выражений и вычислитель с использованием ANTLR4 .


Сначала вы создаете грамматику. Ниже приведена небольшая грамматика, которую вы можете использовать для оценки выражений, построенных с использованием 4 основных математических операторов: +, -, * и /. Вы также можете группировать выражения, используя круглые скобки.

Обратите внимание, что эта грамматика является очень простой: она не обрабатывает унарные операторы (минус в: -1 + 9) или десятичные числа, такие как .99 (без начального числа), чтобы назвать только два недостатка. Это всего лишь пример, который вы можете работать над собой.

Вот содержимое файла грамматики Exp.g :

grammar Exp;

/* This will be the entry point of our parser. */
eval
    :    additionExp
    ;

/* Addition and subtraction have the lowest precedence. */
additionExp
    :    multiplyExp 
         ( '+' multiplyExp 
         | '-' multiplyExp
         )* 
    ;

/* Multiplication and division have a higher precedence. */
multiplyExp
    :    atomExp
         ( '*' atomExp 
         | '/' atomExp
         )* 
    ;

/* An expression atom is the smallest part of an expression: a number. Or 
   when we encounter parenthesis, we're making a recursive call back to the
   rule 'additionExp'. As you can see, an 'atomExp' has the highest precedence. */
atomExp
    :    Number
    |    '(' additionExp ')'
    ;

/* A number: can be an integer value, or a decimal value */
Number
    :    ('0'..'9')+ ('.' ('0'..'9')+)?
    ;

/* We're going to ignore all white space characters */
WS  
    :   (' ' | '\t' | '\r'| '\n') {$channel=HIDDEN;}
    ;

(Правила парсера начинаются со строчной буквы, а правила лексера начинаются с заглавной буквы)

После создания грамматики вы захотите сгенерировать из нее парсер и лексер. Загрузите ANTLR jar и сохраните его в том же каталоге, что и ваш файл грамматики.

Выполните следующую команду в вашей оболочке / командной строке:

java -cp antlr-3.2.jar org.antlr.Tool Exp.g

Он не должен выдавать никаких сообщений об ошибках , и теперь должны быть сгенерированы файлы ExpLexer.java , ExpParser.java и Exp.tokens .

Чтобы увидеть, все ли работает правильно, создайте этот тестовый класс:

import org.antlr.runtime.*;

public class ANTLRDemo {
    public static void main(String[] args) throws Exception {
        ANTLRStringStream in = new ANTLRStringStream("12*(5-6)");
        ExpLexer lexer = new ExpLexer(in);
        CommonTokenStream tokens = new CommonTokenStream(lexer);
        ExpParser parser = new ExpParser(tokens);
        parser.eval();
    }
}

и скомпилируйте это:

// *nix/MacOS
javac -cp .:antlr-3.2.jar ANTLRDemo.java

// Windows
javac -cp .;antlr-3.2.jar ANTLRDemo.java

и затем запустите его:

// *nix/MacOS
java -cp .:antlr-3.2.jar ANTLRDemo

// Windows
java -cp .;antlr-3.2.jar ANTLRDemo

Если все идет хорошо, ничего не выводится на консоль. Это означает, что парсер не нашел никакой ошибки. При изменении "12*(5-6)"в "12*(5-6"и затем перекомпилировать и запустить его, там должно быть напечатано следующее:

line 0:-1 mismatched input '<EOF>' expecting ')'

Хорошо, теперь мы хотим добавить немного кода Java к грамматике, чтобы парсер действительно делал что-то полезное. Добавление кода может быть сделано путем размещения {и }внутри вашей грамматики с некоторым простым Java-кодом внутри.

Но сначала: все правила парсера в файле грамматики должны возвращать примитивное двойное значение. Вы можете сделать это, добавив returns [double value]после каждого правила:

grammar Exp;

eval returns [double value]
    :    additionExp
    ;

additionExp returns [double value]
    :    multiplyExp 
         ( '+' multiplyExp 
         | '-' multiplyExp
         )* 
    ;

// ...

который требует небольшого объяснения: каждое правило должно возвращать двойное значение. Теперь, чтобы «взаимодействовать» с возвращаемым значением double value(которое НЕ находится внутри простого блока кода Java {...}) изнутри блока кода, вам нужно добавить знак доллара перед value:

grammar Exp;

/* This will be the entry point of our parser. */
eval returns [double value]                                                  
    :    additionExp { /* plain code block! */ System.out.println("value equals: "+$value); }
    ;

// ...

Вот грамматика, но теперь с добавленным кодом Java:

grammar Exp;

eval returns [double value]
    :    exp=additionExp {$value = $exp.value;}
    ;

additionExp returns [double value]
    :    m1=multiplyExp       {$value =  $m1.value;} 
         ( '+' m2=multiplyExp {$value += $m2.value;} 
         | '-' m2=multiplyExp {$value -= $m2.value;}
         )* 
    ;

multiplyExp returns [double value]
    :    a1=atomExp       {$value =  $a1.value;}
         ( '*' a2=atomExp {$value *= $a2.value;} 
         | '/' a2=atomExp {$value /= $a2.value;}
         )* 
    ;

atomExp returns [double value]
    :    n=Number                {$value = Double.parseDouble($n.text);}
    |    '(' exp=additionExp ')' {$value = $exp.value;}
    ;

Number
    :    ('0'..'9')+ ('.' ('0'..'9')+)?
    ;

WS  
    :   (' ' | '\t' | '\r'| '\n') {$channel=HIDDEN;}
    ;

и так как наше evalправило теперь возвращает double, измените ваш ANTLRDemo.java на это:

import org.antlr.runtime.*;

public class ANTLRDemo {
    public static void main(String[] args) throws Exception {
        ANTLRStringStream in = new ANTLRStringStream("12*(5-6)");
        ExpLexer lexer = new ExpLexer(in);
        CommonTokenStream tokens = new CommonTokenStream(lexer);
        ExpParser parser = new ExpParser(tokens);
        System.out.println(parser.eval()); // print the value
    }
}

Снова (заново) сгенерируйте свежий лексер и парсер из вашей грамматики (1), скомпилируйте все классы (2) и запустите ANTLRDemo (3):

// *nix/MacOS
java -cp antlr-3.2.jar org.antlr.Tool Exp.g   // 1
javac -cp .:antlr-3.2.jar ANTLRDemo.java      // 2
java -cp .:antlr-3.2.jar ANTLRDemo            // 3

// Windows
java -cp antlr-3.2.jar org.antlr.Tool Exp.g   // 1
javac -cp .;antlr-3.2.jar ANTLRDemo.java      // 2
java -cp .;antlr-3.2.jar ANTLRDemo            // 3

и теперь вы увидите результат выражения, 12*(5-6)напечатанного на вашей консоли!

Опять же: это очень краткое объяснение. Я призываю вас просмотреть вики ANTLR и прочитать некоторые учебные пособия и / или поиграть с тем, что я только что опубликовал.

Удачи!

РЕДАКТИРОВАТЬ:

В этом посте показано, как расширить приведенный выше пример, чтобы Map<String, Double>можно было предоставить переменную, которая содержит переменные в предоставленном выражении.

Чтобы этот код работал с текущей версией Antlr (июнь 2014 г.), мне нужно было внести несколько изменений. ANTLRStringStreamнужно было стать ANTLRInputStream, возвращаемое значение нужно было изменить с parser.eval()на parser.eval().value, и мне нужно было удалить WSпредложение в конце, потому что значения атрибутов, такие как $channel, больше не могут появляться в действиях лексера.

Барт Киерс
источник
1
Где происходит реализация parser.eval()? Это не ясно ЗДЕСЬ или на ANTLR3 Wiki!
1
@ Джаррод, извини, я не совсем тебя понимаю. evalэто правило синтаксического анализатора, которое возвращает double. Таким образом, есть eval()метод, который вы можете вызвать в экземпляре класса ExpParser, как я продемонстрировал в ANTLRDemo.main(...). После создания лексера / парсера просто откройте файл, ExpParser.javaи вы увидите, что есть eval()метод, возвращающий a double.
Барт Киерс
@ Барт Я исследовал это в течение недели - это первый пример, который был достаточно подробным и полным, чтобы работать в первый раз, и я думаю, что я понимаю. Я почти сдался. Спасибо!
Vineel Shah
13

Мега-учебник АНТЛР Габриэле Томассетти очень полезен

Здесь есть примеры грамматики, примеры посетителей на разных языках (Java, JavaScript, C # и Python) и многое другое. Настоятельно рекомендуется.

РЕДАКТИРОВАТЬ: другие полезные статьи Габриэле Томассетти на ANTLR

соло
источник
Отличный учебник!
Маниш Патель
Antlr теперь также использует cpp в качестве целевого языка. Есть ли учебники с примером на cpp?
vineeshvs
Тот же самый парень сделал учебник для ANTLR на C ++ tomassetti.me/getting-started-antlr-cpp Я предполагаю, что вы найдете то, что вы ищете здесь или в мега учебнике
соло
7

Для Antlr 4 процесс создания кода Java ниже: -

java -cp antlr-4.5.3-complete.jar org.antlr.v4.Tool Exp.g

Обновите свое имя фляги в classpath соответственно.

Абхишек К
источник
2

На странице https://github.com/BITPlan/com.bitplan.antlr вы найдете библиотеку Java ANTLR с некоторыми полезными вспомогательными классами и несколькими полными примерами. Он готов к использованию с Maven и, если вам нравятся Eclipse и Maven.

https://github.com/BITPlan/com.bitplan.antlr/blob/master/src/main/antlr4/com/bitplan/exp/Exp.g4

это простой язык выражений, который может делать операции умножения и сложения. https://github.com/BITPlan/com.bitplan.antlr/blob/master/src/test/java/com/bitplan/antlr/TestExpParser.java имеет соответствующие модульные тесты для этого.

https://github.com/BITPlan/com.bitplan.antlr/blob/master/src/main/antlr4/com/bitplan/iri/IRIParser.g4 - это анализатор IRI, который разделен на три части:

  1. грамматика синтаксического анализатора
  2. грамматика лексера
  3. импортированная грамматика LexBasic

https://github.com/BITPlan/com.bitplan.antlr/blob/master/src/test/java/com/bitplan/antlr/TestIRIParser.java имеет для этого модульные тесты.

Лично я нашел это самой сложной частью, чтобы получить право. Смотрите http://wiki.bitplan.com/index.php/ANTLR_maven_plugin

https://github.com/BITPlan/com.bitplan.antlr/tree/master/src/main/antlr4/com/bitplan/expr

содержит еще три примера, которые были созданы для проблемы производительности ANTLR4 в более ранней версии. Тем временем эта проблема была исправлена, как показывает тестовый пример https://github.com/BITPlan/com.bitplan.antlr/blob/master/src/test/java/com/bitplan/antlr/TestIssue994.java .

Вольфганг Фаль
источник
2

версия 4.7.1 была немного другой: для импорта:

import org.antlr.v4.runtime.*;

для основного сегмента - обратите внимание на CharStreams:

CharStream in = CharStreams.fromString("12*(5-6)");
ExpLexer lexer = new ExpLexer(in);
CommonTokenStream tokens = new CommonTokenStream(lexer);
ExpParser parser = new ExpParser(tokens);
user1562431
источник