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

**StringBuilder** · 19/04/2024, 12h19

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 sql :

Sélectionner tout - Visualiser dans une fenêtre à part

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 xml :

Sélectionner tout - Visualiser dans une fenêtre à part

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 xml :

Sélectionner tout - Visualiser dans une fenêtre à part

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 xml :

Sélectionner tout - Visualiser dans une fenêtre à part

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 xml :

Sélectionner tout - Visualiser dans une fenêtre à part

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 csharp :

Sélectionner tout - Visualiser dans une fenêtre à part

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 csharp :

Sélectionner tout - Visualiser dans une fenêtre à part

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 csharp :

Sélectionner tout - Visualiser dans une fenêtre à part

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 xml :

Sélectionner tout - Visualiser dans une fenêtre à part

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

**StringBuilder** · 19/04/2024, 15h30

Ça inspire pas les foules

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

Code csharp :

Sélectionner tout - Visualiser dans une fenêtre à part

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()

**Noxen** · 24/04/2024, 08h06

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 ?

**StringBuilder** · 24/04/2024, 13h24

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

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.)

**Noxen** · 26/04/2024, 11h48

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

Les classes de modèles :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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.

**Noxen** · 27/04/2024, 22h06

Petite mise-à-jour avec une clause where.

Les modèles :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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).

**StringBuilder** · 17/05/2024, 15h49

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

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

Code csharp :

Sélectionner tout - Visualiser dans une fenêtre à part

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 csharp :

Sélectionner tout - Visualiser dans une fenêtre à part

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

Code xml :

Sélectionner tout - Visualiser dans une fenêtre à part

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

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

C#

Discussions similaires

Partager

Partager