Рекурсивный правило в ANTLR

Question

мне нужна идея, как выразить заявление вроде следующего:

Int<Double<Float>> 

Таким образом, в абстрактной форме, мы должны иметь:

1.(easiest case): a<b> 
2. case: a<a<b>> 
3. case: a<a<a<b>>> 
4. ....and so on... 

Дело в том, что я должен позволяют встраивать в форму < .. инструкцию типа a <b> - знаки, чтобы я имел вложенный оператор. Другими словами: я должен заменить b на a<b>. Второе: количество открытий и закрытых окон должно быть одинаковым.

Как я могу это сделать в ANTLR?

Answer 1

Правило может ссылаться на себя без каких-либо проблем¹. Скажем, у нас есть правило type, который описывает ваш случай, в минималистском подходе:

type: typeLiteral ('<' type '>')?; 
typeLiteral: 'Int' | 'Double' | 'Float'; 

Обратите внимание на ('<' type '>') не является обязательным, обозначается символом ?, поэтому использование только в typeLiteral является действительным type. Вот Synta деревья, порождаемые этими правилами в вашем примере Int<Double<Float>>:

¹: До тех пор, некоторые терминалы (например, «<» или «>») может diferentiate когда рекуррентное остановку.

_{Изображение генерируется http://ironcreek.net/phpsyntaxtree/}