ANTLR - ANTLR - Wikipedia

ANTLR
Түпнұсқа автор (лар)Теренс Парр және басқалар
Бастапқы шығарылымАқпан 1992 ж; 28 жыл бұрын (1992-02)
Тұрақты шығарылым
4.8 / 16 қаңтар 2020 ж; 11 ай бұрын (2020-01-16)
Репозиторий Мұны Wikidata-да өңде
ЖазылғанJava
ПлатформаКросс-платформа
ЛицензияBSD лицензиясы
Веб-сайтwww.antlr.org

Компьютерлік тілді тануда, ANTLR (айтылды мүйіз ), немесе Тілді танудың басқа құралы, Бұл талдаушы генератор қолданады LL (*) талдау үшін. ANTLR - мұрагері Purdue компиляторының құрылыс құралдар жиынтығы (PCCTS), алғаш рет 1989 жылы әзірленген және белсенді дамуда. Оның ұстаушысы - профессор Теренс Парр туралы Сан-Франциско университеті.[дәйексөз қажет ]

Пайдалану

ANTLR а ретінде қабылданады грамматика тілді анықтайтын және нәтиже ретінде шығаратын бастапқы код үшін танушы сол тілдің. 3-нұсқада кодты генерациялауды қолдайды бағдарламалау тілдері Ада95, ActionScript, C, C #, Java, JavaScript, Мақсат-С, Перл, Python, Рубин, және Стандартты ML,[1] қазіргі уақытта тек Java, C #, C ++,[2] JavaScript, Python, Свифт, және Барыңыз. Тіл a көмегімен көрсетіледі контекстсіз грамматика қолдану арқылы білдірілді Кеңейтілген Backus – Наур формасы (EBNF).[дәйексөз қажет ]

ANTLR құра алады лексерлер, талдаушылар, ағаш талдаушылары және біріктірілген лексер-талдаушылар. Парсерлер автоматты түрде генерациялай алады ағаштарды талдау немесе синтаксистік ағаштар, оны ағаш талдағыштарымен әрі қарай өңдеуге болады. ANTLR лексерлерді, талдаушыларды және ағаш талдаушыларды көрсету үшін бірыңғай дәйекті жазба ұсынады.

Әдепкі бойынша, ANTLR грамматиканы оқиды және грамматикамен анықталған тілдің танушысын тудырады (яғни кіріс ағынды оқитын және егер кіріс ағыны грамматикада көрсетілген синтаксиске сәйкес келмесе, қате тудыратын бағдарлама). Егер синтаксистік қателер болмаса, әдепкі әрекет - ешқандай хабарламаны басып шығармай шығу. Тілмен пайдалы нәрсе жасау үшін іс-әрекеттерді грамматикалық элементтерге қосуға болады. Бұл әрекеттер танушы құрылатын бағдарламалау тілінде жазылған. Танушы құрылатын кезде, әрекеттер тиісті нүктелерде танушының бастапқы кодына енгізіледі. Әрекеттер символдық кестелерді құру және тексеру және компилятор жағдайында мақсатты тілде нұсқаулар шығару үшін қолданыла алады.[дәйексөз қажет ]

Лексерлер мен талдаушылардан басқа, ANTLR ағаш талдағыштарын құру үшін қолданыла алады. Бұл абстрактілі синтаксистік ағаштарды өңдейтін танушылар, оларды автоматты түрде талдаушылар құра алады. Бұл ағаш талдағыштар тек ANTLR-ге ғана тән және синтаксистік дерексіз ағаштарды өңдеуге көмектеседі.[дәйексөз қажет ]

Лицензиялау

ANTLR 3[дәйексөз қажет ] және ANTLR 4 болып табылады ақысыз бағдарламалық жасақтама, үш тармақ бойынша жарияланған BSD лицензиясы.[3] Алдыңғы нұсқалары ретінде шығарылды көпшілікке арналған бағдарламалық жасақтама.[4] Паррдың кітабынан алынған құжаттама ANTLR 4 анықтамасы, BSD лицензияланған ANTLR 4 көзіне қосылған.[3][5]

Үшін әртүрлі плагиндер жасалды Тұтылуды дамыту ортасы ANTLR грамматикасын қолдау, соның ішінде ANTLR студиясы, а меншікті өнім, сонымен қатар «ANTLR 2»[6] және «ANTLR 3»[7] Eclipse плагиндері орналастырылған SourceForge.[дәйексөз қажет ]

ANTLR 4

ANTLR 4 тікелей байланысты сол жақтағы рекурсия дұрыс, бірақ жалпы сол рекурсиямен емес, яғни грамматикалық ережелермен х сілтеме жасайтын ж сілтеме жасайтын х.[8]

Даму

Құралдар туралы хабарлағандай[9] ANTLR жобасының парағы, синтаксисті бөлектеу, синтаксистік қатені тексеру және кодты аяқтау сияқты мүмкіндіктерге мүмкіндік беретін плагиндер ең кең таралған IDE үшін қол жетімді (Intellij IDEA, NetBeans, Тұтылу, Visual Studio[10] және Visual Studio коды ).

Жобалар

ANTLR көмегімен жасалған бағдарламалық жасақтаманың толық емес тізімі:

ANTLR 4-те енгізілген 200-ден астам грамматика бар Github.[15] Олар грамматикадан а URL мекен-жайы C, Java және Go сияқты тілдердің грамматикасына.

Мысал

Келесі мысалда ANTLR-дегі талдаушы өрнектердің қосындысын сипаттайды «1 + 2 + 3» түрінде көрінеді:

// Жалпы нұсқалар, мысалы, аударылатын тілопциялар{тіл=«CSharp»;}// Артынан талдаушы сыныпSumParserұзарадыСаралаушы;опциялар{к=1;// Parser Lookahead: 1 Төкен}// Өрнектің анықтамасымәлімдеме:INTEGER(ПЛЮС^INTEGER)*;// Міне, ЛексерсыныпSumLexerұзарадыЛексер;опциялар{к=1;// Lexer Lookahead: 1 таңба}ПЛЮС:'+';DIGIT:('0'..'9');INTEGER:(DIGIT)+;

Келесі тізім бағдарламада талдаушының шақыруын көрсетеді:

 TextReader оқырман; // (...) TextReader-ді таңбамен толтырыңыз SumLexer лексер = жаңа SumLexer(оқырман); SumParser талдаушы = жаңа SumParser(лексер); талдаушы.мәлімдеме();

Сондай-ақ қараңыз

Әдебиеттер тізімі

  1. ^ SML / NJ тілдерін өңдеу құралдары: пайдаланушы нұсқаулығы
  2. ^ https://soft-gems.net/the-antlr4-c-runtime-reached-home
  3. ^ а б «antlr4 / LICENSE.txt». GitHub. 2017-03-30.
  4. ^ Парр, Теренс (2004-02-05). «лицензиялық заттар». қызығушылық (Тарату тізімі). Архивтелген түпнұсқа 2011-07-18. Алынған 2009-12-15.
  5. ^ «ANTLR 4 құжаттамасы». GitHub. 2017-03-30.
  6. ^ http://antlreclipse.sourceforge.net
  7. ^ http://antlrv3ide.sourceforge.net
  8. ^ ANTLR 3 & 4 арасындағы айырмашылық неде?
  9. ^ http://www.antlr.org/tools.html
  10. ^ https://marketplace.visualstudio.com/items?itemName=SamHarwell.ANTLRLanguageSupport
  11. ^ http://docs.groovy-lang.org/2.4.0/html/api/org/codehaus/groovy/antlr/parser/GroovyRecognizer.html
  12. ^ https://hg.python.org/jython/rev/31d97f0de5fe
  13. ^ Эберсоле, Стив (2018-12-06). «Күту режиміндегі ORM 6.0.0. Alpha1 шығарылды». «Күту режимі» тобы барлық деректерге байланысты блог жүргізеді. Алынған 2020-07-11.
  14. ^ https://openjdk.java.net/projects/compiler-grammar/
  15. ^ ANTLR v4 үшін жазылған грамматиктер; грамматиканың әрекетсіз болатынын күту .: antlr / grammars-v4, Antlr жобасы, 2019-09-25, алынды 2019-09-25

Библиография

Әрі қарай оқу

  • Парр, Т.Дж .; Quong, RW (шілде 1995). «ANTLR: болжамды-LL (k) талдаушы генераторы». Бағдарламалық жасақтама: тәжірибе және тәжірибе. 25 (7): 789–810. CiteSeerX  10.1.1.54.6015. дои:10.1002 / спе.4380250705.

Сыртқы сілтемелер