Cup et JFlex - ITFormation

Cup etJFlex

Introduction
Téléchargement
•CUP
http://www2.cs.tum.edu/projects/cup/java‐cup‐11b.jar
•Jflex +Documentation
http://jflex.de/jflex‐1.5.1.zip
Documentationenligne
•Cup
http://www2.cs.tum.edu/projects/cup/manual.html
•JFlex
http://jflex.de/manual.html
Compilation
java‐jarjava‐cup‐11b.jarparse0.cup
Résultat:
sym.java:latabledessymbolescontenantlesterminaux
parser.java

CUP
Structured’unfichierCUP
UnfichierCUP(extension:.cup)estcomposédequatresectionsquidoivent
êtredansl’ordresuivant:
•déclarationspréliminaires(sectionnonobligatoire)
•Codeutilisateur (sectionnonobligatoire)
•Définitiondesterminauxetdesnonterminaux.
•Précédenceetassociativitédesterminaux.(nonobligatoire)
•Lagrammaire.
1. Lapremièresectionpeutcontenir:
•lenomdupackagedelaclasseparser.java(classegénéréeparCUP).
•Importsdepackagesjava.
•Exemple:package lir;
import java_cup.runtime.*;

2. Codeutilisateur
Cettepeutcontenirducodejavaquiserainclusdansleparseur,
parser code{:
Lecontenuserainclusdanslaclasseparse.
:};
3. Déclarationdeterminaux
Syntaxe:terminal[Type]T1[,T2…];
nonterminal [Type]n1[,n2…];
4. Précédenceetassociativitédesterminaux
precedence left T1[,T2...];
precedence rightT1[,T2...];
precedence nonassoc T1[,T2...];
5. Lagrammaire
pardéfautl’axiomeestlenonterminaldelapartiegauchedelapremièreproduction. La
directive«startwith N;»permetdedéfinirl’axiome.
lagrammaireestdéfinieparunelistedeproductions,exempled’uneproduction
instruction::=affectation|affichage;
onpeutaussiexécuterdesactionssémantiquesécritesenJavasilaproductionestutilisée,
exemple:
expression::=expression:e1ADDexpression:e2{:RESULT=newInteger(e1.intValue()+
e2.intValue());:}
RESULTdésignetoujourslenonterminaldelapartiegauche.

•Exécution:java‐jarchemin/java‐cup‐11b.jarlir.cup.
•Résultat:
•parser.java:implémentationduparseur
•sym.java:contientlesconstantesquireprésententlesterminaux.