Cherche un coup de main pour "parser" des conditions type SQL avec notamment parenthèses, AND/OR

Bonjour,

Je travaille sur un projet d'interfaçage entre un logiciel et d'autres applications.
Ce logiciel dispose en interne d'un langage propriétaire "UQL" qui permet d'interroger ses données, ce qui rend ainsi les utilisateurs autonomes pour créer des exports de données par exemple.
Malheureusement, le module qui permet de s'interfacer avec le logiciel ne supporte pas ce langage UQL et en lieu et place utilise des requêtes construites en XML.

C'est là que mon besoin intervient : je souhaite permettre aux utilisateurs d'utiliser leurs requêtes UQL dans les interfaces, et pour se faire, j'ai besoin de les traduire en requêtes XML.

Voici un exemple de requête UQL :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14

select (CoGrp, CoNo, 'E-mail1', Company, MA.Date, MB.CoGrp, MB.CoNo, MB.PeGrp, MB.PeNo, MB.PartType, FI1.Company, KP.Sex, KP.FirstName, KP.LastName, KP1.Sex, KP1.FirstName, KP1.LastName, AU.SeqNo, AU1.SeqNo, UP.PosNo, FI2.CoGrp, FI2.CoNo, FI2.Company) from (FI) where (Company='DEVELOPPEZ.NET') with (MA) with (MA.MB) with (MB.FI as FI1) plus (FI1.KP using link 26000 as KP1) plus (FI1.AU) where (OrderDate>='$curDay-2m' AND Status='#0') plus (AU.UP) plus (KP) plus (AU as AU1) plus (FI using link 26000 as FI2)

---

(je vous rassure, personne n'écrit ça, y'a un éditeur wysiwyg pour générer ça)
=> L'avantage de l'éditeur, c'est que du coup ça simplifie le parseur : la mise en forme est toujours la même.

Ca se traduit en XML comme ça :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40

<?xml version="1.0" encoding="utf-16" standalone="yes"?> <request user="******" pwd="******"> <query dateformatout="ymd" dateformatin="ymd" catexkeys="true" internalfields="false" xsdt="true" labels="false"> <tables> <table table="FI"> <table table="MA" flags="00000100"> <table table="MB" flags="00000100"> <table table="FI" alias="FI1" flags="00000100"> <table table="KP" alias="KP1" linkId="26000" flags="00000800" /> <table table="AU" flags="00000800"> <table table="UP" flags="00000800" /> </table> </table> </table> </table> <table table="KP" flags="00000800" /> <table table="AU" alias="AU1" flags="00000800" /> <table table="FI" alias="FI2" linkId="26000" flags="00000800" /> </table> </tables> <fields table="FI" fields="0,1,18,2" /> <fields table="MA" fields="2" /> <fields table="MB" fields="0,1,2,3,6" /> <fields table="FI" fields="2" alias="FI1" /> <fields table="KP" fields="0,3,2" alias="KP1" /> <fields table="AU" fields="1" /> <fields table="UP" fields="2" /> <fields table="KP" fields="0,3,2" /> <fields table="AU" fields="1" alias="AU1" /> <fields table="FI" fields="0,1,2" alias="FI2" /> <condition> <cond table="FI" fid="2" op="=" value="DEVELOPPEZ.NET" /> </condition> <condition> <cond table="AU" fid="10" op="&gt;=" value="$curDay-2m" /> <cond table="AU" fid="218" op="=" value="#0" /> </condition> </query> </request>

---

La bonne nouvelle, c'est que ça c'est ce que mon programme sait déjà faire : il ne reste qu'à améliorer le parsing des clauses "where" car actuellement je sais gérer ni les parenthèses ni les OR (je fais un bête split sur "AND" pour identifier les différents <cond> a créer... Je sais, c'est moche.

Voici quelques exemples de syntaxe que je peux avoir dans les clauses where.

Exemple 1 :
CoGrp = 'company_StatNo' AND CoNo = 'company_No'

Code:

---

1 2 3 4 5

<condition> <cond tablename="Company" fieldname="CoGrp" op="=" value="company_StatNo"/> <cond tablename="Company" fieldname="CoNo" op="=" value="company_No"/> </condition>

---

Exemple 2 :
Country = 'France' OR Synonym = 'test'

Code:

---

1 2 3 4 5 6 7

<condition resolve="true"> <lop value="or"> <cond tablename="Company" fieldname="Country" op="=" value="France"/> <cond tablename="Company" fieldname="Synonym" op="=" value="test"/> </lop> </condition>

---

Exemple 3 :
LeadStatus = 'Customer' AND Revenue > 1000000 and Employees > 250 AND (Country = 'Austria' OR (Country = 'Germany' AND Rep = '$curRep'))

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13

<condition> <cond tablename="Company" fieldname="LeadStatus" op="=" value="Customer"/> <cond tablename="Company" fieldname="Revenue" op=">" value="1000000"/> <cond tablename="Company" fieldname="Employees" op="=" value="250"/> <lop value="or"> <cond tablename="Company" fieldname="Country" op="=" value="Austria"/> <lop value="and"> <cond tablename="Company" fieldname="Country" op="=" value="Germany"/> <cond tablename="Company" fieldname="Rep" op="=" value="$curRep"/> </lop> </lop> </condition>

---

Quelques règles :
- Une clause "where" porte toujours sur une et une seule table
- Les types de jointures et clauses de jointures entre tables sont gérés sous forme de "link" directement dans les clauses "having", "plus", "with", etc.
- On peut avoir autant d'imbrications de AND/OR/parenthèses qu'on veut
- Les conditions sont toujours de type "<nom colonne parfois entre quottes> <operateur> <valeur littérale entre simples quottes>"
- Le membre de gauche d'un opérateur est toujours une colonne
- Le membre de droite d'un opérateur est toujours une valeur littérale
- Les opérateurs sont =, !=, <, <=, >, >=
- Contrairement au SQL, il n'y a pas d'opérateur "complexe" (IN, BETWEEN, etc.)


Déjà, dans un premier temps, je n'arrive même pas conceptualiser la structure des objets qui vont parser l'expression.

J'ai déjà ma classe "Cond" : (qui correspond à la balise <cond>)

Code:

---

1 2 3 4 5 6 7

public class Cond : IConditionsElement { public string Fid { get; set; } public string Op { get; set; } public string Value { get; set; } }

---

Ma classe "Condition" : (qui correspond à la balise "<condition>")

Code:

---

1 2 3 4 5 6

public class Condition { private readonly List<IConditionsElement> Conditions = new(); private readonly Table ConditionTable; }

---

Ainsi que la classe "Lop" : (qui correspond à la balise "<lop>")

Code:

---

1 2 3 4 5 6

public class Lop : IConditionsElement { private readonly LopValue Value; // AND ou OR private readonly List<IConditionsElement> Conditions = new(); }

---

On voit que j'ai déporté l'attribut "table" sur Condition plutôt que dans Cond car il y a une et une seule valeur "table" possible pour toutes les <cond> imbriquées dans une <condition> : du coup j'ai préféré le gérer dans Condition.

Règles :
- toutes les IConditionsElement à l'intérieur d'un Condition ou Lop sont combinés avec AND sauf si l'attribut Value du Lop parent est "OR" (dans ce cas, tous les IConditionsElement qu'il contient sont combinés avec des OR).
- on peut avoir plusieurs Lop imbriqués les uns dans les autres


Le but ici est de ne parser que ce qui se trouve entre parenthèses juste après un "where" : donc une seule table à la fois, donc un seul Condition

Tout conseil ou coup de main est le bienvenu

En fait, une de mes plus grosses difficultés, c'est savoir interpréter correctement une succession (probablement incohérente) de AND et OR sans parenthèses :
Company='toto' OR Company='titi' AND Country='France' OR Country='Germany' AND Revenue > 1000000
Qui se traduirait :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14

<condition> <lop value="or"> <cond tablename="Company" fieldname="Company" op="=" value="toto"/> <lop value="AND"> <cond tablename="Company" fieldname="Company" op="=" value="titi"/> <cond tablename="Company" fieldname="Country" op="=" value="France"/> </lop> <lop value="AND"> <cond tablename="Company" fieldname="Country" op="=" value="Germany"/> <cond tablename="Company" fieldname="Revenue" op=">" value="1000000"/> </lop> </lop> </condition>

---

Bon, la bonne nouvelle, c'est que les "<lop value="AND">" implicites peuvent être ajoutés, ce qui devrait implifier un peu... Mais je reste bloqué quand même

Ça inspire pas les foules :?

Actuellement j'ai ça : (ne pas tenir compte de Parser.ParseStatements() cette partie fonctionne bien).

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285

using System.Text;   namespace TestParser { internal class Program { static void Main(string[] args) { const string query = @"select (Company, ZipCode, City) from (FI) where (LeadStatus = 'Cust\'om\\er' AND Revenue > 1000000 and Employees > 250 AND (Country = 'Austria' OR (Country = 'Ge)rm()))any' AND Rep = '$curRep')))";   List<Statement> statements = Parser.ParseStatements(query);   foreach (Statement statement in statements) { Console.WriteLine(statement); if (statement.Verb == "where") { List<IConditionElement> conditions = Parser.ParseConditions(statement.Detail); foreach (IConditionElement condition in conditions) { Console.WriteLine("*-*-*-*-*"); Console.WriteLine(condition); } } } }   static string RemoveBackslashes(string input) { if (!input.Contains('\\')) { return input; } else { StringBuilder sb = new(); for (int i = 0, cpt = input.Length; i < cpt; i++) { if (input[i] == '\\') { i++; } sb.Append(input[i]); } return sb.ToString(); } }   private static class Parser { public static List<Statement> ParseStatements(string query) { List<Statement> statements = [];   int parenthesisLevel = 0; bool isInQuote = false; bool isInBackSlash = false;   int startVerb = -1; int startDetail = -1;   Statement currentStatement = new();   for (int i = 0, cpt = query.Length; i < cpt; i++) { switch (query[i]) { case '\r': case '\n': case ' ': if (isInQuote) break; if (startVerb != -1) { if (!string.IsNullOrWhiteSpace(currentStatement.Verb)) { throw new Exception("Deux verbes à la suite ?"); } currentStatement.Verb = RemoveBackslashes(query.Substring(startVerb, i - startVerb)); startVerb = -1; } break; case '\'': if (isInBackSlash) { isInBackSlash = false; } else { isInQuote = !isInQuote; } break; case '(': if (isInQuote) break; if (parenthesisLevel == 0 && startDetail == -1) { startDetail = i + 1; } parenthesisLevel++; break; case ')': if (isInQuote) break; if (parenthesisLevel == 1 && startDetail != 1) { if (!string.IsNullOrWhiteSpace(currentStatement.Detail)) { throw new Exception("Deux détails à la suite ?"); } currentStatement.Detail = query.Substring(startDetail, i - startDetail); statements.Add(currentStatement); currentStatement = new(); startDetail = -1; } parenthesisLevel--; break; case '\\': isInBackSlash = !isInBackSlash; break; default: if (isInQuote) break; if (startVerb == -1 && parenthesisLevel == 0) { startVerb = i; } break; } }   return statements; }   public static List<IConditionElement> ParseConditions(string where) { List<IConditionElement> conditions = [];   bool isInQuote = false; bool isInBackSlash = false; int parenthesisLevel = 0; int parenthesisStart = -1; int conditionStart = -1;   for (int i = 0, cpt = where.Length; i < cpt; i++) { switch (where[i]) { case '(': if (isInQuote) { break; } if (parenthesisLevel == 0) { if (conditionStart > -1) { JeSaisPasCommentQuoiFaire(where.Substring(conditionStart, i - conditionStart - 1)); conditionStart = -1; } parenthesisStart = i; } parenthesisLevel++; break; case ')': if (isInQuote) { break; } parenthesisLevel--; if (parenthesisLevel == 0) { conditions.Add(Lop.Parse(where.Substring(parenthesisStart + 1, i - parenthesisStart - 1))); } break; case '\'': if (isInBackSlash) { isInBackSlash = false; } else { isInQuote = !isInQuote; } break; case '\\': isInBackSlash = !isInBackSlash; break; default: if (isInQuote) break; if (parenthesisLevel > 0) break;   if (conditionStart == -1) { conditionStart = i; } break; } }   if (conditionStart > -1) { JeSaisPasCommentQuoiFaire(where.Substring(conditionStart)); }   return conditions; }   static void JeSaisPasCommentQuoiFaire(string bordel) { // Là on est dans un bout de requête où y'a plus de parenthèses, du genre : // Company='toto' OR Country='France' AND Revenue>=1000000 // Qui peut s'écrire potentiellement // Company = 'toto' OR Country = 'France' AND Revenue >= 1000000 // Sinon c'est pas drôle // On voit aussi que le 1000000 n'est pas entre quotes   // Je fais un gros .Split(" OR ") ? // Puis de façon récursive des splits sur " AND " ? => si y'en a pas, c'est un gros <lop value="OR"> sinon j'ai des <lop> imbriqués ?   // Comment gérer le OR ou AND qui se trouve juste avant/après une parenthèse ? Voir entre deux parenthèses ? // Car je peux aussi recevoir un truc du genre : // " AND " // => Cas d'un (cond1) AND (cond2) // " AND Company='toto' // => Cas d'un (cond1) AND Company='toto' // "Company='toto' AND " // " AND Company='toto' AND " // Et dans ces cas, j'ai pas la moinde idée de comment combiner ce bordel au(x) <lop> déjà généré(s) // Et j'en suis pas au parsing du la condition elle-même... quoi que ça, ça devrait aller } }   private class Statement { public string Verb { get; set; } = string.Empty; public string Detail { get; set; } = string.Empty;   public override string ToString() { return $"[{Verb}] - [{Detail}]"; } }   interface IConditionElement { public string ToString(); }   class Lop : IConditionElement { public string LopValue { get; set; } = "??"; public List<IConditionElement> Conditions { get; set; } = [];   public static Lop Parse(string where) { Lop lop = new() { // Comment déterminer le LopValue ? Il est dans le where... Conditions = Parser.ParseConditions(where) }; return lop; }   public override string ToString() { StringBuilder sb = new(); sb.AppendLine($"Lop [{LopValue}]"); sb.AppendLine("{"); foreach (IConditionElement element in Conditions) { sb.Append(element.ToString()); } sb.AppendLine("}"); return sb.ToString(); } }   class Cond : IConditionElement { public string Op { get; set; } = "??"; public string Fid { get; set; } = "??"; public string Value { get; set; } = "??";   public override string ToString() { StringBuilder sb = new(); sb.AppendLine($"Cond {Fid} {Op} {Value}"); return sb.ToString(); } } } }

---

Je bloque évidement sur la méthode JeSaisPasCommentQuoiFaire() :aie:

Pour faire du parsing, je trouve la libray Sprache plutôt bien faite. Je ferai un exemple de code, ce sera plus parlant.

À quoi servent les with et les plus dans les closes where ?

Salut Noxen, et merci pour ta réponse, je commençais à désespérer :D

Le "from" correspond à un "from"
Le "with" correspond à un "inner join"
Le "plus" correspond à un "left outer join"
Le "having" correspond à une sous-requête avec "in" ou "exist"
Le "without" l'inverse
=> pour chacun (sauf le from) le "linkid" permet d'indiquer le "on" (quelle relation on doit suivre)
=> l'alias de la table est toujours parent.xx afin de déterminer sur quel "parent" porte la jointure (si y'a pas de parent, alors c'est la table du from)
=> les where correspondent à un bout du where final, portant uniquement sur la table immédiatement avant (dans le from/with/plus/etc.)

Voilà un premier jet de ce que ça peut donner (il me reste encore à travailler sur le where).

Les classes de modèles :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42

namespace D2165063.Models;   public record Query(Select Select, From From, FromFollowUp FollowUp);   public record Select(IEnumerable<ISelector> Selectors);   public record From(TableName TableName);   public record FromFollowUp(IEnumerable<IFromFollowUpStatement> Statements);   public interface IFromFollowUpStatement;   public record With(TableName TableName) : IFromFollowUpStatement;   public record Plus(TableName TableName, Link? Link) : IFromFollowUpStatement;   public record Link(string Value);   public record Where: IFromFollowUpStatement;   public interface IName { string Value { get; } }   public record SimpleName(string Value) : IName;   public record QualifiedName(string Context, string Name) : IName { public string Value => $"{Context}.{Name}"; }   public record TableName(IName Name, IName? Alias = null) : IName { public string Value => Alias?.Value ?? Name.Value; }   public record ColumnName(IName Name) : IName, ISelector { public string Value => Name.Value; }   public interface ISelector { string Value { get; } }   public record LitteralValueSelector(string Value) : ISelector;

---

Les parsers pour des primitives (éléments non-porteur de sémantique, réutilisable) :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81

using D2165063.Models; using Sprache;   namespace D2165063.Grammar;   public static class Primitives { public static readonly Parser<SimpleName> SimpleName = from leading in DropWhiteSpaces() from first in Parse.Letter.Once().Text() from rest in Parse.LetterOrDigit.Many().Text() from trailing in DropWhiteSpaces() select new SimpleName(first + rest);   public static readonly Parser<QualifiedName> QualifiedName = from context in SimpleName from dot in Parse.Char('.') from name in SimpleName select new QualifiedName(context.Value, name.Value);   public static readonly Parser<IName> Name = from name in QualifiedName.Or<IName>(SimpleName) select name;   public static Parser<char> Escaped(char c) => from _ in Parse.Char('\\') from escaped in Parse.Char(c) select escaped;   public static readonly Parser<string> SingleQuoted = from leading in DropWhiteSpaces() let quote = '\'' from open in Parse.Char(quote) from content in Escaped(quote).Or(Parse.CharExcept(quote)).Many().Text() from close in Parse.Char(quote) from trailing in DropWhiteSpaces() select content;   public static readonly Parser<string> DoubleQuoted = from leading in DropWhiteSpaces() let quote = '"' from open in Parse.Char(quote) from content in Escaped(quote).Or(Parse.CharExcept(quote)).Many().Text() from close in Parse.Char(quote) from trailing in DropWhiteSpaces() select content;   public static readonly Parser<LitteralValueSelector> LitteralValueSelector = from leading in DropWhiteSpaces() from value in Parse.Number.Or(SingleQuoted).Or(DoubleQuoted) from trailing in DropWhiteSpaces() select new LitteralValueSelector(value);   public static Parser<char> Escaped2(char c) => from _ in Parse.Char('\\') from escaped in Parse.Char(c) select escaped;   public static Parser<TNested> Nested<TOpen, TNested, TClose>( Parser<TOpen> parseOpen, Parser<TNested> parseNested, Parser<TClose> parseClose) => from open in parseOpen from nested in parseNested from close in parseClose select nested;   public static Parser<string> DropWhiteSpaces() => from _ in Parse.WhiteSpace.Many() select string.Empty;   public static Parser<IEnumerable<TItem>> Collection<TItem, TSeparator>(Parser<TItem> parseItem, Parser<TSeparator> parseSeparator) => from _ in parseSeparator.Not() from maybeFirst in parseItem.Optional() from rest in (from _ in parseSeparator from item in parseItem select item).Many() select maybeFirst.IsDefined ? new[] { maybeFirst.Get() }.Concat(rest) : Enumerable.Empty<TItem>(); }

---

Les parsers pour les éléments sémantiques :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116

using D2165063.Models; using Sprache;   namespace D2165063.Grammar;   public static class Semantics { public static readonly Parser<Query> Query = from leading in Primitives.DropWhiteSpaces() from @select in Select from @from in From from @followup in FromFollowUp from trailing in Primitives.DropWhiteSpaces() select new Query(@select, @from, followup);   public static readonly Parser<Select> Select = from leading in Primitives.DropWhiteSpaces() from keyword in Parse.IgnoreCase("select") from interspace in Primitives.DropWhiteSpaces() from selectors in Selectors from trailing in Primitives.DropWhiteSpaces() select new Select(selectors);   public static readonly Parser<IName> Alias = from keyword in Parse.IgnoreCase("as") from space in Parse.WhiteSpace.AtLeastOnce() from name in Primitives.SimpleName select name;   public static readonly Parser<TableName> TableName = from name in Primitives.Name from alias in Alias.Optional() select new TableName(name, alias.IsDefined ? alias.Get() : null);   public static readonly Parser<From> From = from leading in Primitives.DropWhiteSpaces() from keyword in Parse.IgnoreCase("from") from interspace in Primitives.DropWhiteSpaces() from table in Primitives.Nested(Parse.Chars('('), TableName, Parse.Char(')')) from trailing in Primitives.DropWhiteSpaces() select new From(table);   public static readonly Parser<With> With = from leading in Primitives.DropWhiteSpaces() from keyword in Parse.IgnoreCase("with") from interspace in Primitives.DropWhiteSpaces() from table in Primitives.Nested(Parse.Chars('('), TableName, Parse.Char(')')) from trailing in Primitives.DropWhiteSpaces() select new With(table);   public static readonly Parser<Link> Link = from leading in Primitives.DropWhiteSpaces() from keyword in Parse.IgnoreCase("link") from interspace in Parse.WhiteSpace.AtLeastOnce() from number in Parse.Number from trailing in Primitives.DropWhiteSpaces() select new Link(number);   public static readonly Parser<Link> UsingLink = from leading in Primitives.DropWhiteSpaces() from _ in Parse.IgnoreCase("using") from space in Parse.WhiteSpace.AtLeastOnce() from link in Link from trailing in Primitives.DropWhiteSpaces() select link;   public static readonly Parser<Plus> Plus = from leading in Primitives.DropWhiteSpaces() from keyword in Parse.IgnoreCase("plus") from interspace in Primitives.DropWhiteSpaces() from tuple in Primitives.Nested( Parse.Chars('('), from leading in Primitives.DropWhiteSpaces() from table in Primitives.Name from interspace in Primitives.DropWhiteSpaces() from link in UsingLink.Optional() from interspace2 in Primitives.DropWhiteSpaces() from alias in Alias.Optional() select (table, link, alias), Parse.Char(')')) let table = new TableName(tuple.table, tuple.alias.GetOrDefault()) from trailing in Primitives.DropWhiteSpaces() select new Plus(table, tuple.link.GetOrDefault());   public static readonly Parser<Where> Where = from _ in Parse.AnyChar.Many() select new Where();   public static readonly Parser<IFromFollowUpStatement> FromFollowUpStatement = from statement in With.Or<IFromFollowUpStatement>(Plus) select statement;   public static readonly Parser<FromFollowUp> FromFollowUp = from leading in Primitives.DropWhiteSpaces() from statements in Primitives.Collection(FromFollowUpStatement, Parse.WhiteSpace.AtLeastOnce()) from trailing in Primitives.DropWhiteSpaces() select new FromFollowUp(statements);   public static readonly Parser<ColumnName> ColumnName = from name in Primitives.QualifiedName.Or<IName>(Primitives.SimpleName) select new ColumnName(name);   public static readonly Parser<ISelector> Selector = from leading in Primitives.DropWhiteSpaces() from selector in Primitives.LitteralValueSelector.Or<ISelector>(ColumnName) from trailing in Primitives.DropWhiteSpaces() select selector;   public static readonly Parser<IEnumerable<ISelector>> Selectors = from selectors in Primitives.Nested( Parse.Chars('('), Primitives.Collection(Selector, Parse.Char(',')), Parse.Char(')') ) select selectors; }

---

C'est à revoir sur certains points, mais ça donne une idée de comment utiliser la library.

Petite mise-à-jour avec une clause where.

Les modèles :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62

namespace D2165063.Models;   public record Query(Select Select, From From, FromFollowUp FollowUp);   public record Select(IEnumerable<ISelector> Selectors);   public record From(TableName TableName);   public record FromFollowUp(IEnumerable<IFromFollowUpStatement> Statements);   public interface IFromFollowUpStatement;   public record With(TableName TableName) : IFromFollowUpStatement;   public record Plus(TableName TableName, Link? Link) : IFromFollowUpStatement;   public record Link(string Value);   public interface ICondition { string Value { get; } }   public record Where(ICondition Condition) : IFromFollowUpStatement;   public record Comparison(ISelector Left, string Operator, ISelector Right) : ICondition { public string Value => $"{Left.Value} {Operator} {Right.Value}"; }   public record Combination(ICondition Left, string Operator, ICondition Right) : ICondition { public string Value => $"{Left.Value} {Operator} {Right.Value}"; }   public record Priorization(ICondition Condition) : ICondition { public string Value => $"({Condition.Value})"; }   public interface IName { string Value { get; } }   public record SimpleName(string Value) : IName;   public record QualifiedName(string Context, string Name) : IName { public string Value => $"{Context}.{Name}"; }   public record TableName(IName Name, IName? Alias = null) : IName { public string Value => Alias?.Value ?? Name.Value; }   public record ColumnName(IName Name) : IName, ISelector { public string Value => Name.Value; }   public interface ISelector { string Value { get; } }   public record LitteralValueSelector(string Value) : ISelector;

---

Les primitives :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86

using D2165063.Models; using Sprache;   namespace D2165063.Grammar;   public static class Primitives { public static readonly Parser<SimpleName> SimpleName = from leading in DropWhiteSpaces() from first in Parse.Letter.Once().Text() from rest in Parse.LetterOrDigit.Many().Text() from trailing in DropWhiteSpaces() select new SimpleName(first + rest);   public static readonly Parser<QualifiedName> QualifiedName = from context in SimpleName from dot in Parse.Char('.') from name in SimpleName select new QualifiedName(context.Value, name.Value);   public static readonly Parser<IName> Name = from name in QualifiedName.Or<IName>(SimpleName) select name;   public static Parser<char> Escaped(char c) => from _ in Parse.Char('\\') from escaped in Parse.Char(c) select escaped;   public static readonly Parser<string> SingleQuoted = from leading in DropWhiteSpaces() let quote = '\'' from open in Parse.Char(quote) from content in Escaped(quote).Or(Parse.CharExcept(quote)).Many().Text() from close in Parse.Char(quote) from trailing in DropWhiteSpaces() select content;   public static readonly Parser<string> DoubleQuoted = from leading in DropWhiteSpaces() let quote = '"' from open in Parse.Char(quote) from content in Escaped(quote).Or(Parse.CharExcept(quote)).Many().Text() from close in Parse.Char(quote) from trailing in DropWhiteSpaces() select content;   public static readonly Parser<LitteralValueSelector> LitteralValueSelector = from leading in DropWhiteSpaces() from value in Parse.Number.Or(SingleQuoted).Or(DoubleQuoted) from trailing in DropWhiteSpaces() select new LitteralValueSelector(value);   public static Parser<char> Escaped2(char c) => from _ in Parse.Char('\\') from escaped in Parse.Char(c) select escaped;   public static Parser<TNested> Nested<TOpen, TNested, TClose>( Parser<TOpen> parseOpen, Parser<TNested> parseNested, Parser<TClose> parseClose) => from open in parseOpen from nested in parseNested from close in parseClose select nested;   public static Parser<IEnumerable<char>> DropWhiteSpaces() => from _ in Parse.WhiteSpace.Many() select Enumerable.Empty<char>();   public static Parser<T> ThenDropWhiteSpaces<T>(this Parser<T> parser) => from t in parser from _ in DropWhiteSpaces() select t;   public static Parser<IEnumerable<TItem>> Collection<TItem, TSeparator>(Parser<TItem> parseItem, Parser<TSeparator> parseSeparator) => from _ in parseSeparator.Not() from maybeFirst in parseItem.Optional() from rest in (from _ in parseSeparator from item in parseItem select item).Many() select maybeFirst.IsDefined ? new[] { maybeFirst.Get() }.Concat(rest) : Enumerable.Empty<TItem>(); }

---

Les parsers sémantiques :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174

using D2165063.Models; using Sprache;   namespace D2165063.Grammar;   public static class Semantics { public static readonly Parser<Query> Query = from leading in Primitives.DropWhiteSpaces() from @select in Select from @from in From from @followup in FromFollowUp from trailing in Primitives.DropWhiteSpaces() select new Query(@select, @from, followup);   public static readonly Parser<ColumnName> ColumnName = from name in Primitives.QualifiedName.Or<IName>(Primitives.SimpleName) select new ColumnName(name);   public static readonly Parser<ISelector> Selector = from leading in Primitives.DropWhiteSpaces() from selector in Primitives.LitteralValueSelector.Or<ISelector>(ColumnName) from trailing in Primitives.DropWhiteSpaces() select selector;   public static readonly Parser<IEnumerable<ISelector>> Selectors = from selectors in Primitives.Nested( Parse.Chars('('), Primitives.Collection(Selector, Parse.Char(',')), Parse.Char(')') ) select selectors;   public static readonly Parser<Select> Select = from leading in Primitives.DropWhiteSpaces() from keyword in Parse.IgnoreCase("select") from interspace in Primitives.DropWhiteSpaces() from selectors in Selectors from trailing in Primitives.DropWhiteSpaces() select new Select(selectors);   public static readonly Parser<IName> Alias = from keyword in Parse.IgnoreCase("as") from space in Parse.WhiteSpace.AtLeastOnce() from name in Primitives.SimpleName select name;   public static readonly Parser<TableName> TableName = from name in Primitives.Name from alias in Alias.Optional() select new TableName(name, alias.IsDefined ? alias.Get() : null);   public static readonly Parser<From> From = from leading in Primitives.DropWhiteSpaces() from keyword in Parse.IgnoreCase("from") from interspace in Primitives.DropWhiteSpaces() from table in Primitives.Nested(Parse.Chars('('), TableName, Parse.Char(')')) from trailing in Primitives.DropWhiteSpaces() select new From(table);   public static readonly Parser<With> With = from leading in Primitives.DropWhiteSpaces() from keyword in Parse.IgnoreCase("with") from interspace in Primitives.DropWhiteSpaces() from table in Primitives.Nested(Parse.Chars('('), TableName, Parse.Char(')')) from trailing in Primitives.DropWhiteSpaces() select new With(table);   public static readonly Parser<Link> Link = from leading in Primitives.DropWhiteSpaces() from keyword in Parse.IgnoreCase("link") from interspace in Parse.WhiteSpace.AtLeastOnce() from number in Parse.Number from trailing in Primitives.DropWhiteSpaces() select new Link(number);   public static readonly Parser<Link> UsingLink = from leading in Primitives.DropWhiteSpaces() from _ in Parse.IgnoreCase("using") from space in Parse.WhiteSpace.AtLeastOnce() from link in Link from trailing in Primitives.DropWhiteSpaces() select link;   public static readonly Parser<Plus> Plus = from leading in Primitives.DropWhiteSpaces() from keyword in Parse.IgnoreCase("plus") from interspace in Primitives.DropWhiteSpaces() from tuple in Primitives.Nested( Parse.Chars('('), from leading in Primitives.DropWhiteSpaces() from table in Primitives.Name from interspace in Primitives.DropWhiteSpaces() from link in UsingLink.Optional() from interspace2 in Primitives.DropWhiteSpaces() from alias in Alias.Optional() select (table, link, alias), Parse.Char(')')) let table = new TableName(tuple.table, tuple.alias.GetOrDefault()) from trailing in Primitives.DropWhiteSpaces() select new Plus(table, tuple.link.GetOrDefault());   public static readonly Parser<string> Operator = from op in Parse.String("=") .Or(Parse.String("!=")) .Or(Parse.String("<=")) .Or(Parse.String("<")) .Or(Parse.String(">=")) .Or(Parse.String(">")) .Text() select op;   public static readonly Parser<string> CombinationOperator = from op in Parse.IgnoreCase("and") .Or(Parse.IgnoreCase("or")) .Text() select op.ToLower();   public static readonly Parser<Comparison> Comparison = from leading in Primitives.DropWhiteSpaces() from left in Selector from op in Primitives.Nested(Primitives.DropWhiteSpaces(), Operator, Primitives.DropWhiteSpaces()) from right in Selector from trailing in Primitives.DropWhiteSpaces() select new Comparison(left, op, right);   public static Parser<Combination> Combine<T>(this Parser<T> parser) where T : ICondition => from leading in Primitives.DropWhiteSpaces() from left in parser from interspace in Primitives.DropWhiteSpaces() from op in CombinationOperator from interspace2 in Primitives.DropWhiteSpaces() from right in Condition from trailing in Primitives.DropWhiteSpaces() select new Combination(left, op, right);   public static readonly Parser<Priorization> Priorization = from leading in Primitives.DropWhiteSpaces() from condition in Primitives.Nested( Parse.Char('(').ThenDropWhiteSpaces(), Condition, Primitives.DropWhiteSpaces().Then(_ => Parse.Char(')')) ) from trailing in Primitives.DropWhiteSpaces() select new Priorization(condition);   public static Parser<ICondition> Condition => from condition in Priorization.Combine() .Or<ICondition>(Comparison.Combine()) .Or(Priorization) .Or(Comparison) select condition;   public static readonly Parser<Where> Where = from leading in Primitives.DropWhiteSpaces() from keyword in Parse.IgnoreCase("where") from interspace in Primitives.DropWhiteSpaces() from condition in Primitives.Nested( Parse.Chars('(').ThenDropWhiteSpaces(), Condition, Primitives.DropWhiteSpaces().Then(_ => Parse.Char(')'))) from trailing in Primitives.DropWhiteSpaces() select new Where(condition);   public static readonly Parser<IFromFollowUpStatement> FromFollowUpStatement = from statement in With.Or<IFromFollowUpStatement>(Plus) select statement;   public static readonly Parser<FromFollowUp> FromFollowUp = from leading in Primitives.DropWhiteSpaces() from statements in Primitives.Collection(FromFollowUpStatement, Parse.WhiteSpace.AtLeastOnce()) from trailing in Primitives.DropWhiteSpaces() select new FromFollowUp(statements); }

---

Ça donne une base, mais il reste à rationaliser un peu le système. Avec ça il y a 140 tests unitaires (en vrai c'est du xUnit avec des [Theory], en pratique il n'y a que 18 classes de tests).

Bonjour Noxen,

Merci d'avoir pris le temps de réfléchir à mon problème et de me répondre :)

Par contre, comme j'indiquais dans mon message initial, je voulais autant que possible me passer de librairies externes, pour tout un tas de raisons, à commencer par la maîtrise du fonctionnement et la pérennité du code : marre de devoir réécrire la moitié de mon code à chaque fois que PdfSharp ou CsvTools évoluent, et vu la complexité de mon besoin, je ne voulais pas devoir me replonger dans ce code à chaque mise à jour des dépendances... :?

Après une petite pause (congés + surcharge de boulot) je m'y suis remis, et je suis arrivé plus ou moins à faire ce que je voulais.

Tout fonctionne bien, au détail près de la gestion de la priorité des opérateurs AND et OR.
Cependant, ce problème peut être contourné en ajoutant simplement des parenthèses, et ça tombe bien, le générateur de code AQL de l'application est du genre à mettre des parenthèses partout, donc si c'est une requête écrite par un utilisateur final, il ne devrait même pas y avoir de problème :lol:

Voici donc mon code "final" : (je mets que la partie parsing, la conversion en XML se base sur des objets déjà existants)

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756

using System.Data;   namespace CRMInterface { public class AQLParser { private readonly CRMInterfaceClient Client;   public AQLParser(CRMInterfaceClient client) { Client = client; }   public Query Parse(string aql) { Query query = new(Client);   List<Statement> statements = Parser.ParseStatements(aql);   AQLSelect? select = null; AQLFrom? from = null; AQLFrom? last = null; foreach (Statement statement in statements) { switch (statement.Verb) { case "select": if (select is not null) throw new SyntaxErrorException("Impossible d'avoir plusieurs clauses Select"); select = new AQLSelect(statement.Detail); break; case "from": if (select is null) throw new SyntaxErrorException("Impossible un From sans Select"); if (from is not null) throw new SyntaxErrorException("Impossible d'avoir plusieurs clauses From"); last = new AQLFrom(Client, statement.Detail); from = last; break; case "with": last = new AQLWith(Client, statement.Detail); if (from is null) throw new SyntaxErrorException("Clause With avant la clause From"); from.Add(last); break; case "plus": last = new AQLPlus(Client, statement.Detail); if (from is null) throw new SyntaxErrorException("Clause Plus avant la clause From"); from.Add(last); break; case "having": last = new AQLHaving(Client, statement.Detail); if (from is null) throw new SyntaxErrorException("Clause Having avant la clause From"); from.Add(last); break; case "without": last = new AQLWithout(Client, statement.Detail); if (from is null) throw new SyntaxErrorException("Clause Without avant la clause From"); from.Add(last); break; case "where": if (last is null) throw new SyntaxErrorException("Clause Where sans clause From ou With"); last.AddWhere(statement.Detail); break; default: throw new NotImplementedException(statement.Verb); } }   if (select is null) throw new SyntaxErrorException("Pas de clause Select"); if (from is null) throw new SyntaxErrorException("Pas de clause From");   from.AddSelect(select);   query.Tables.Add(from.Table); query.Conditions.AddRange(from.Conditions); query.Fields.AddRange(from.Fields);   return query; }   public class AQLSelect { public List<AQLField> Fields;   public AQLSelect(string selectStatement) { Fields = []; string[] strings = selectStatement.Split(',', StringSplitOptions.TrimEntries); foreach (string s in strings) { if (s.StartsWith('\'') && s.EndsWith('\'')) { Fields.Add(new(s.Substring(1, s.Length - 2))); } else { Fields.Add(new(s)); }   } }   public AQLSelect Clone() { AQLSelect select = new(string.Empty) { Fields = new(Fields) }; return select; }   public class AQLField { public readonly string Name; public readonly string Prefix;   public AQLField(string fieldStatement) { if (fieldStatement.Contains('.')) { string[] s = fieldStatement.Split('.'); Prefix = s[0]; Name = s[1]; } else { Prefix = string.Empty; Name = fieldStatement; } } } }   public class AQLFrom { private AQLSelect? Select = null; private List<AQLFrom> Froms = []; private AQLWhere? Where = null; private readonly RelationType Relation;   public uint Flags { get { return Relation switch { RelationType.With => 0x00000100, RelationType.Having => 0x00000200, RelationType.Without => 0x00000400, RelationType.Plus => 0x00000800, _ => 0, }; } }   public string Parent { get; set; } = string.Empty; public string Name { get; set; } public string Alias { get; set; } = string.Empty; public string AliasOrName { get { if (!string.IsNullOrWhiteSpace(Alias)) { return Alias; } else { return Name; } } } public int LinkID { get; set; } = 0;   private readonly CRMInterfaceClient Client;   private Table? table = null; public Table Table { get { if (table is null) { table = new(Client, Name, Alias, LinkID, Flags); foreach (AQLFrom from in Froms) { table.Tables.Add(from.Table); } } return table; } }   List<Condition>? conditions = null; public List<Condition> Conditions { get { if (conditions is null) { conditions = []; if (Where is not null) { conditions.Add(Where.Condition); } foreach (AQLFrom from in Froms) { conditions.AddRange(from.Conditions); } } return conditions; } }   List<Fields>? fields = null; public List<Fields> Fields { get { if (Select is null) throw new Exception("Select ne doit pas être null"); if (fields is null) { fields = [];   List<string> fids = []; AQLSelect copy = Select.Clone(); if (Select.Fields.Any(a => string.IsNullOrWhiteSpace(a.Prefix))) { foreach (AQLSelect.AQLField field in Select.Fields.Where(a => string.IsNullOrWhiteSpace(a.Prefix))) { copy.Fields.Remove(field); string fid = field.Name; if (!int.TryParse(fid, out _)) { fid = Client.GetFieldId(Table, fid); } fids.Add(fid); } } else if (Select.Fields.Any(a => a.Prefix == AliasOrName)) { foreach (AQLSelect.AQLField field in Select.Fields.Where(a => a.Prefix == AliasOrName)) { copy.Fields.Remove(field); string fid = field.Name; if (!int.TryParse(fid, out _)) { fid = Client.GetFieldId(Table, fid); } fids.Add(fid); } }   if (fids.Any()) { fields.Add(new CRMInterface.Fields(Table, string.Join(',', fids))); }   foreach (AQLFrom from in Froms) { from.AddSelect(copy); fields.AddRange(from.Fields); } } return fields; } }   protected AQLFrom(CRMInterfaceClient client, RelationType relation, string fromStatement) { Client = client; Relation = relation;   string[] parts = fromStatement.Split(' ');   string name = parts[0]; if (name.Contains('.')) { string[] nameparts = name.Split('.'); Parent = nameparts[0]; Name = nameparts[1]; } else { Name = name; }   int i = 1; while (i < parts.Length) { if (parts[i] == "as") { Alias = parts[i + 1]; i += 2; } else if (parts[i] == "using") { LinkID = int.Parse(parts[i + 2]); i += 3; } else { throw new Exception("WTF!?"); } } }   public AQLFrom(CRMInterfaceClient client, string fromStatement) : this(client, RelationType.From, fromStatement) { }   public void AddSelect(AQLSelect select) { Select = select; }   public void AddWhere(string whereStatement) { Where = new(Client, this, whereStatement); }   public bool Add(AQLFrom from) { table = null; conditions = null; if (string.IsNullOrEmpty(from.Parent)) { Froms.Add(from); return true; } else { if (from.Parent == AliasOrName) { Froms.Add(from); return true; } else { bool res = false; foreach (AQLFrom f in Froms) { res &= f.Add(from); if (res) break; } return res; } } } }   public class AQLWith : AQLFrom { public AQLWith(CRMInterfaceClient client, string withStatement) : base(client, RelationType.With, withStatement) { } }   public class AQLPlus : AQLFrom { public AQLPlus(CRMInterfaceClient client, string withStatement) : base(client, RelationType.Plus, withStatement) { } }   public class AQLHaving : AQLFrom { public AQLHaving(CRMInterfaceClient client, string withStatement) : base(client, RelationType.Having, withStatement) { } }   public class AQLWithout : AQLFrom { public AQLWithout(CRMInterfaceClient client, string withStatement) : base(client, RelationType.Without, withStatement) { } }   public class AQLWhere { public Condition Condition;   public AQLWhere(CRMInterfaceClient client, AQLFrom from, string whereStatement) { Condition = new(from.Table); Condition.AddConditionElement(Parser.ParseCondition(whereStatement).ToCondition(from.Table)); } }   public enum RelationType { From, With, Plus, Having, Without, }   private static class Parser { public static List<Statement> ParseStatements(string query) { List<Statement> statements = [];   int parenthesisLevel = 0; bool isInQuote = false; bool backSlash = false;   int startVerb = -1; int startDetail = -1;   Statement currentStatement = new();   for (int i = 0, cpt = query.Length; i < cpt; i++) { switch (query[i]) { case '\\': backSlash = !backSlash; break; case '\r': case '\n': case '\t': case ' ': backSlash = false; if (isInQuote) break; if (startVerb != -1) { if (!string.IsNullOrWhiteSpace(currentStatement.Verb)) { throw new Exception("Deux verbes à la suite ?"); } currentStatement.Verb = query[startVerb..i]; startVerb = -1; } break; case '\'': if (backSlash) { backSlash = false; } else { isInQuote = !isInQuote; } break; case '(': if (isInQuote) break; if (parenthesisLevel == 0 && startDetail == -1) { startDetail = i + 1; } parenthesisLevel++; break; case ')': if (isInQuote) break; if (parenthesisLevel == 1 && startDetail != 1) { if (!string.IsNullOrWhiteSpace(currentStatement.Detail)) { throw new Exception("Deux détails à la suite ?"); } currentStatement.Detail = query[startDetail..i]; statements.Add(currentStatement); currentStatement = new(); startDetail = -1; } parenthesisLevel--; break; default: if (isInQuote) break; if (startVerb == -1 && parenthesisLevel == 0) { startVerb = i; } backSlash = false; break; } }   return statements; }   public static IAQLCondition ParseCondition(string where) { ComposedCondition condition = new(); SimpleCondition simpleCondition = new();   string[] elements = where.Split(' ', StringSplitOptions.RemoveEmptyEntries | StringSplitOptions.TrimEntries);   for (int i = 0, cpt = elements.Length; i < cpt; i++) { switch (elements[i]) { case "AND": case "OR": condition.AddOperator(elements[i]); break; default: if (elements[i].StartsWith('(')) { int start = i; int parenthesisLevel = 0; while (true) { for (int j = 0; j < elements[i].Length; j++) { if (elements[i][j] == '(') parenthesisLevel++; else if (elements[i][j] == ')') parenthesisLevel--; } if (parenthesisLevel == 0) break; if ((i + 1) < cpt) { i++; } else { break; } } elements[start] = elements[start][1..]; elements[i] = elements[i][..^1]; condition.AddPart(ParseCondition(string.Join(' ', elements[start..(i+1)]))); if (condition.IsComplete && i < elements.Length) { ComposedCondition newCondition = new(); newCondition.AddPart(condition); condition = newCondition; } } else { simpleCondition.Parse(elements[i]); if (simpleCondition.IsComplete) { condition.AddPart(simpleCondition); simpleCondition = new(); if (condition.IsComplete) { ComposedCondition newcondition = new(); newcondition.AddPart(condition); condition = newcondition; } } } break; } } return condition; } }   private class Statement { public string Verb { get; set; } = string.Empty; public string Detail { get; set; } = string.Empty;   public override string ToString() { return $"[{Verb}] - [{Detail}]"; } }   private interface IAQLCondition { public IConditionsElement ToCondition(Table table) { IConditionsElement condition;   if (this is SimpleCondition simpleCondition) { condition = new Cond(table, simpleCondition.Left, simpleCondition.Operator, simpleCondition.Right, true); } else if (this is ComposedCondition composedCondition) { if (composedCondition.IsComplete) { Lop lop; switch (composedCondition.Operator) { case "AND": lop = new Lop(table, LopValue.AND); break; case "OR": lop = new Lop(table, LopValue.OR); break; default: throw new NotImplementedException(composedCondition.Operator); }   lop.AddConditionElement(composedCondition.Left.ToCondition(table)); lop.AddConditionElement(composedCondition.Right.ToCondition(table)); condition = lop; } else { condition = composedCondition.Left.ToCondition(table); } } else { throw new NotImplementedException(this.GetType().Name); }   return condition; } }   private class SimpleCondition : IAQLCondition { private readonly string[] parts = new string[3];   public string Left { get { return parts[0]; } } public string Operator { get { return parts[1]; } } public string Right { get { return parts[2]; } }   public bool IsComplete { get { return parts[2] is not null; } }   public void Parse(string condition) { // F7000 // F7000='1' // ...   bool backSlash = false; bool isInQuote = false; int startVerb = -1; string verb = string.Empty;   for (int i = 0; i < condition.Length; i++) { switch (condition[i]) { case '\\': backSlash = !backSlash; break; case '\r': case '\n': case '\t': case ' ': backSlash = false; if (isInQuote) break; if (startVerb != -1) { AddPart(condition[startVerb..i]); startVerb = -1; } break; case '\'': if (backSlash) { backSlash = false; } else { isInQuote = !isInQuote; } if (isInQuote) { startVerb = i; } else { AddPart(condition[startVerb..(i+1)]); startVerb = -1; } break; case '<': case '>': case '=': if (startVerb > -1) { AddPart(condition[startVerb..i]); startVerb = -1; } if (condition[i + 1] == '=' || condition[i + 1] == '>') { AddPart(condition[i..(i+1)]); i++; } else { AddPart(condition[i].ToString()); } break; default: if (isInQuote) break; if (startVerb == -1) { startVerb = i; } backSlash = false; break; } }   if (startVerb > -1) { AddPart(condition[startVerb..]); } }   public int AddPart(string part) { if (part.StartsWith('\'') && part.EndsWith('\'')) { part = part[1..^1]; } for (int i = 0; i < 3; i++) { if (parts[i] is null) { parts[i] = part; return i + 1; } } throw new IndexOutOfRangeException($"Cette condition est déjà pleine : {this}"); }   public override string ToString() { return $"{parts[0]}{parts[1]}{parts[2]}"; } }   private class ComposedCondition : IAQLCondition { private readonly IAQLCondition[] operandes = new IAQLCondition[2];   public IAQLCondition Left { get { return operandes[0]; } } public string? Operator { get; set; } public IAQLCondition Right { get { return operandes[1]; } }   public bool IsComplete { get { return Operator is not null && Right is not null; } }   public int AddPart(IAQLCondition operande) { if (operandes[0] is null) { operandes[0] = operande; return 1; } else if (operandes[1] is null) { operandes[1] = operande; return 2; } throw new IndexOutOfRangeException($"Cette condition est déjà pleine : {this}"); }   public void AddOperator(string op) { if (Operator is null) { Operator = op; return; } throw new IndexOutOfRangeException($"Cette condition est déjà pleine : {this}"); }   public override string ToString() { return $"{operandes[0]} {Operator} {operandes[1]}"; } } } }

---

Ce qui permet de traduire :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14

Query query = parser.Parse(@"select (CoGrp, CoNo, 'E-mail1', Company, MA.Date, MB.CoGrp, MB.CoNo, MB.PeGrp, MB.PeNo, MB.PartType, FI1.Company, KP.Sex, KP.FirstName, KP.LastName, KP1.Sex, KP1.FirstName, KP1.LastName, AU.SeqNo, AU1.SeqNo, UP.PosNo, FI2.CoGrp, FI2.CoNo, FI2.Company) from (FI) where (Company='DEVELOPPEZ.NET') with (MA) with (MA.MB) with (MB.FI as FI1) plus (FI1.KP using link 26000 as KP1) plus (FI1.AU) where (OrderDate>='$curDay-2m' AND Status='#0') plus (AU.UP) plus (KP) where ((LastName='Toto*' OR F5000>'20') AND Country='FR') plus (AU as AU1) plus (FI using link 26000 as FI2)");

---

En ça 8-)

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50

<?xml version="1.0" encoding="utf-16" standalone="yes"?> <request> <query dateformatout="ymd" dateformatin="ymd" catexkeys="true" internalfields="false" xsdt="true" labels="false"> <tables> <table table="FI"> <table table="MA" flags="00000100"> <table table="MB" flags="00000100"> <table table="FI" alias="FI1" flags="00000100"> <table table="KP" alias="KP1" linkId="26000" flags="00000800" /> <table table="AU" flags="00000800"> <table table="UP" flags="00000800" /> </table> </table> </table> </table> <table table="KP" flags="00000800" /> <table table="AU" alias="AU1" flags="00000800" /> <table table="FI" alias="FI2" linkId="26000" flags="00000800" /> </table> </tables> <fields table="FI" fields="0,1,18,2" /> <fields table="MA" fields="2" /> <fields table="MB" fields="0,1,2,3,6" /> <fields table="FI" fields="2" alias="FI1" /> <fields table="KP" fields="0,3,2" alias="KP1" /> <fields table="AU" fields="1" /> <fields table="UP" fields="2" /> <fields table="KP" fields="0,3,2" /> <fields table="AU" fields="1" alias="AU1" /> <fields table="FI" fields="0,1,2" alias="FI2" /> <condition> <cond table="FI" fid="2" op="=" value="DEVELOPPEZ.NET" extkey="true" /> </condition> <condition> <lop value="and"> <cond table="AU" fid="10" op="&gt;" value="$curDay-2m" extkey="true" /> <cond table="AU" fid="218" op="=" value="#0" extkey="true" /> </lop> </condition> <condition> <lop value="and"> <lop value="or"> <cond table="KP" fid="2" op="=" value="Toto*" extkey="true" /> <cond table="KP" fid="5000" op="&gt;" value="20" extkey="true" /> </lop> <cond table="KP" fid="19" op="=" value="FR" extkey="true" /> </lop> </condition> </query> </request>

---

Je doute que ça intéresse grand monde, mais si quelqu'un souhaite s'en inspirer, autant partager ma solution ;)