Cours de théorie des langages, théorie de la compilation, techniques de compilations et paradigmes de programmation que je dispense aux Ingé 2 et 3 à l’École National des Sciences Géographiques de Paris.

1. TP – Well known text
Présenté par Yann Caron
skyguide
ENSG Géomatique

2. But
✔ Définir une grammaire EBNF
✔ Écrire le Recursive Descent Parser
correspondant
✔ Depuis un texte, créer les objets
✔ Et vice versa (CodeGen)
2/26

3. Cible
✔ Parser de Well Known Text simplifié
✔ POINT (0 0)
✔ GEOMETRYCOLLECTION (
POINT (0 0),
GEOMETRYCOLLECTION( POINT 0 0)
)
3/26

4. A faire
4/26
LexerLexer ParserParser
AST
or
Struct data
AST
or
Struct data
CodeGenCodeGen

5. Outils
✔ WktLexer
✔ Transforme “POINT (0, 0)”
vers :
✔ Token{type=KEYWORD, lexem='POINT'}
✔ Token{type=SYMBOL, lexem='('}
✔ Token{type=NUMBER, lexem='0'}
✔ Token{type=NUMBER, lexem='0'}
✔ Token{type=SYMBOL, lexem=')'}
5/26

6. Rappels
✔ Organisation typique d’un Recursive
Descent Parser :
✔ Tester qu’il y ai bien un lexem
✔ Tester le mot clé
✔ Tester les symboles et appeler les
fonctions si nécessaire
6/26

7. Parse :: POINT

8. Étape 1
✔ Définir la grammaire
✔ POINT (0 0)
8/26

9. Étape 1 - Grammaire
✔ POINT (0 0)
point ::= 'POINT' '(' xy ')';
xy ::= number number;
9/26

10. Étape 2 - WktParser
✔ Dans la classe WktParser implémenter :
public static Point
parsePoint(List<Token> lexems)
10/26
Résultat du lexer

11. Étape 3 – Instancier le modèle
✔ Point
11/26

12. Pseudo-code
parsePoint
tester si lexem
tester si suivant = ‘POINT’
tester si suivant = ‘(’
coord = parseXYCoord
tester si suivant = ‘)’
Retourner le point(coord)
12/26

13. Pseudo-code
parseXYCoord
tester si lexem
tester si le type suivant = NUMBER
x = lexem
tester si le type suivant = NUMBER
y = lexem
Retourner le xyCoord (x, y)
13/26

14. Parse :: GEOMETRYCOLLECTION

15. Étape 1
✔ Définir la grammaire
✔ GEOMETRYCOLLECTION (
POINT (0 0),
GEOMETRYCOLLECTION( POINT 0 0)
)
✔ Récursivité !
15/26

16. Étape 1 - Grammaire
geoCol ::= 'GEOCO...' '(' collect ')';
collect ::= geometry { ',' geometry };
geometry ::= geoCol | point;
point ::= 'POINT' '(' xy ')';
xy ::= number number;
16/26

17. Étape 2 - WktParser
✔ Dans la classe WktParser implémenter :
public static Point
parseGeometryCollection(List<Token>
lexems)
17/26

18. Étape 3 – Instancier le modèle
18/26

19. Pseudo-code
parseGeometryCollection
tester si lexem
tester si suivant = ‘GEOMETRYCOL...’
tester si suivant = ‘(’
gcl = parseGeometryList
tester si suivant = ‘)’
Retourner le geometryCollection(gcl)
19/26

20. Pseudo-code
parseGeometryList
tester si lexem
gc.addChild( parseGeometry )
tant que suivant = ‘,’
gc.addChild( parseGeometry )
fin tant que
20/26

21. Pseudo-code
parseGeometry
tester si lexem
tester si parseGeometryCollection
si oui le retourner
tester si parsePoint
si oui le retourner
21/26

22. CodeGen

23. DFS
✔ Parcours en profondeur de l’arbre
✔ Définir la méthode toWkt() pour toutes les
géométries
✔ Où ajouter la méthode dans la hiérarchie
de classes ?
✔ Indice : Utilisation du polymorphisme
23/26

24. Polymorphisme
24/26

25. A faire
✔ Définir la méthode toWkt() dans l’interface
geometry
✔ L’implémenter dans toutes les classes qui
en héritent
✔ Créer les tests unitaires relatifs
25/26

26. Merci de votre attention