Sintaks : Tentative de guide de mise en œuvre Michel Hassenforder

Sintaks : Tentative de guide de mise en œuvre

Michel Hassenforder

3

Sintaks : guide de mise en œuvre

/ 294Plan

• Introduction• Beaucoup de façon de faire

StandardFacultativeMotifs

• Contraintes de séquencement• Conclusion

4


/ 294Introduction - Problèmes de base

• Beaucoup de conceptCertains sont uniquesBeaucoup se chevauchentCertains sont simplesD'autres complexes

• Comment les choisir• Comment procéder pour construire un fichier

STSOrganisation du fichierSTS qui marche en écritureSTS qui marche en lecture

5


/ 294Introduction - Métamodèle de sintaks

6


/ 294Beaucoup de façon de faire : standard

• Une classeUn Template pour identifier la classe à manipuler

7



• Une famille de classesUn Template par classe fille, si X est abstraite pas de template XEt une Alternative et une polymorphicCond pour chaque template

8



• Un attribut uniqueUne PrimitiveValue pour extraire/affecter la valeurOu une ConstantValue pour fixer/affecter la valeur

9



• Un attribut multipleUne Iteration pour le containerEt une PrimitiveValue (extraire) ou une ConstantValue (fixer)

10



• Une agrégation uniqueUn template pour manipuler la classe cibleEt un RuleRef pour affecter la relation

11



• Un agrégation multipleUne Iteration pour le containerEt un template pour la classe cible ou un RuleRef vers le template

12



• Une référence uniqueUn ObjectReference pour cibler la référence et faire l’affectation

13



• Une référence multipleUne Iteration pour le containerEt un ObjectReference pour cibler la référence

14


/ 294Beaucoup de façon de faire : facultatif

• Les concepts Alternative + CustomCondition

Permettent de modéliser des variations dans la syntaxe textuelle

Selon la valeur d’un attributSelon la valeur de plusieurs attributs (si on

introduit des attributs dérivés…)

Dans l’exemple TinyJavala manipulation de 'static' était basée sur ce

principe

15



• Le concept Once (ou tout autre nom à l’issue de cette journée)

Permet la modélisation d’un texte composéd’un grand nombre de propriétésqui ne sont pas dans un containerqui peuvent apparaître dans un ordre quelconque

Dans l’exemple TinyJavala manipulation de abstract/finalétait basée sur ce principe

16



• Le concept RuleRefPermet d’invoquer une règlePermet de manipuler une propriété

• Combiner un RuleRef avec d’autres conceptsRuleRef (RR) possède une propriété à manipulerL’autre concept (C) possède aussi une propriété à manipuler

• Deux formes de combinaisons possiblesRR(p) x C()RR() x C(p)

17



• Pour un attribut

• Pour un texte : package hassen ;

• Il y trois façons différentes de le manipuler

PV(p) RR() -> PV(p) RR(p) -> PV()

18


/ 294Beaucoup de façon de faire : motifs

• Selon le voisinage de la propriété avec sa classe et les propriétés des autres classes

1. Une propriété totalement indépendante2. Une propriété dans une classe mère3. Des propriétés dans une fratrie4. Des propriétés distribuées dans des classes

• Selon le degré de partage la syntaxe textuelle

1. Syntaxe textuelle partagée2. Syntaxe textuelle non partagée

19



• Trois cas "génériques" clairement identifiés : X : propriété indépendanteY : propriété dans la classe mère, syntaxe textuelle partagéeZ* : propriété dans une classe, syntaxe textuelle partagée

différentes variantes

20



21



22



23



24



• Les motifs illustrés pourAttribut unique

• Sont extensibles pourAttribut multipleAgrégation uniqueAgrégation multipleRéférence uniqueRéférence multiple

25


/ 294Contraintes de séquencement

• Le concept primordial est le template. Tout est construit autour de lui.

• C'est lors du traitement du template que l'on profite de ses liens d'agrégation pour visiter l'ensemble des propriétés qu'il possède.

• Un attribut ou une agrégation (unique ou multiple) ne peuvent être traités qu'après l’occurrence du template définissant la classe les possédants.

• Lorsqu’une classe doit sérialiser plusieurs propriétés, il n’y a pas d’ordre imposé par sintaks entre les différentes propriétés.

• Un container est toujours complètement sérialisé lors d'une opération, il n’est pas possible de sérialiser indépendamment des fractions de container.

• Une référence ne peut pas servir à manipuler un objet. En principe c'est le possesseur de l'objet référencé qui s'occupe de lui

26


/ 294Effet de ces contraintes

• Très facile de manipuler un texte sous une forme préfixée :class abstract final private AbstractValue { }

class -> Template puis utilise les propriétés de la classe

• Plus difficile de manipuler un texte sous une forme infixée voire postfixée

abstract final private class AbstractValue { }

class arrive trop tard car il faut déjà remplir les propriétés de la classe…Solution : faire commencer le template class plus tôt dès la définition de la première propriété la concernant : abstract

• Problème induitabstract final private class AbstractValue { }abstract final private interface IValue { }

Les deux templates class et interface sont en concurrence et c’est le KW qui va les départager… au prix d’une lecture ‘longue’ puis d’un backtracking.

27


/ 294Effets de ces contraintes

• Exemple dans TinyJavaprivate String val;public String getValue();

• TJData et TJMethod ont la même description

début génériquepour TJMethod les () avec les paramètresfin générique

• Alternative "data or method" les met en concurrence

• Factorisationles séquences de début et de fin

• Remarque4 propriétés ont été factorisées dans …begin

28


/ 294Effet de ces contraintes

• Une référence ne peut pas servir à manipuler l'objet

Dommage car si l'objet est très synthétique (que la clé)On aurait pu imaginer un langage plus simple

29


/ 294Conclusion

• Sintaks est très riche• Sintaks peut être très déroutant• Sintaks peut servir à une étude de GL• Les règles Sintaks peuvent faire l’objet d’un

refactoring …

• Il doit y avoir bien d’autres motifs

• PS : le Once n’est pas traité dans toutes les propositions car il est trop récent

Documents

Sintaks : Tentative de guide de mise en œuvre Michel Hassenforder