Sissejuhatus
Mõned näited on src/main/antlr/week8/demo kataloogis. Nendes .g4 failides kirjeldame grammatikaid, et ANTLR genereeriks meile selle põhjal parseri ja lekseri. ANTLR'i dokumentatsioonist saab väga põhjalikku infot selle kasutuse kohta. Kõige olulisem on järgmised lehed:
Grammatika loomine
Grammatikad peavad olema defineeritud g4 laiendiga failis, mille nimi kattub nende grammatika nimega. Näiteks järgnev näitena toodud grammatika peaks olema defineeritud failis Avaldis.g4. Me edaspidi loome neid faili teie jaoks, sest kompileerimiseks on vaja, et ta läheks õigesse paketti.
grammar Avaldis;
// grammatika nimi peab klappima failinimega
// parseri reeglid algavad väikeste tähtedega
avaldis
: avaldis '+' term
| avaldis '-' term
| term
;
term
: term '*' faktor
| term '/' faktor
| faktor
;
faktor
: '(' avaldis ')'
| Muutuja
| Konstant
;
// lekseri reeglid algavad suurte tähtedega
Muutuja
: [a-zA-Z_][a-zA-Z_0-9]*
;
Konstant
: [0-9]|[1-9][0-9]+
;
ANTLR'is eristame kahte tüüpi reegleid - parserireegleid ning lekserireegleid.
Parserireeglite muutujanimed algavad väiketähega ning need tähistavad mitteterminale. Erinevad produktsioonireeglid on eraldatud püstkriipsuga. Parserireegel võib sisaldada ka tühja reeglit, mis teeb selle reegli valikuliseks. Lisaks on võimalik kasutada ka operaatoreid ?*+, mis on analoogid vastavate regulaaravaldiste operaatoritele.
Lekserireeglite muutujanimed algavad suurtähega. Need lubavad meil defineerida terminalsümboleid paindlikumalt, kasutades regulaaravaldistele sarnast süntaksit. Terminalsümboleid võib lisada ka parserireeglite sisse kasutades ülakomasid.
Kurjad lekserireeglid
Kuigi lekserireeglid võivad tunduda teisejärgulised ning "lihtsam" osa grammatika defineerimisest, siis tegelikult nõuavad lekserireeglid palju tähelepanu.
Näiteks juhul kui üks sõnejupp sobitub kahe lekserireegliga, siis sellest sõnejupist saab esimesena defineeritud lekserireegli token. Grammatikas Priority.g4 reegel doubleRule on küll õigesti defineeritud, kuid kuna üldisem lekserireegel Kurjus sobitub kõigega, millega sobitub lekserireegel Tere, siis ka õige sisendiga "tere" saame me vea. Ja kahjuks ANTLR'i veateade pole meie jaoks väga abistav:
line 1:0 mismatched input 'tere' expecting 'tere'
Sarnane olukord on ka näites Number.g4, aga seal võib olukorda ka lahendada võtmesõnaga fragment, sest seal on DIGIT ainult vaja täisarvude INT defineerimisel. Fragment tähendab, et lekseem iseseisvalt ei eksisteeri ja seetõttu ei sega lekseri tööd: teda lihtsalt kopeeritakse tähthaaval sinna sisse, kus teda kasutatakse.
Mõnikord on vaja ka arvestada sellega, et korduse kasutamisel on reeglid on võimalikult ahned. Korduse mitte-ahneks tegemine käis küsimärgi lisamisega, st * asemel *? ning + asemel +?.
Lekseri tükeldamise harjutamine
Failis MungeDemo.java ja grammatika Munge.g4 abil saab lahendada ühte tüüpi moodle'i quizi ülesannet. Meil on antud lekseri reeglid ja peame oskama ennustada, kuidas see tükeldub lekseemideks. Kuna seda tüüpi küsimusi meeldib meile eksami moodle quizis küsida, siis oleks hea kui oskate seda ANTLR abil lahendada. (Lekseri tööpõhimõtte kohta olid lingid materjalidele sellel lehel.)