Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Formal grammar for EQL #2178

Open
homedirectory opened this issue Feb 7, 2024 · 0 comments
Open

Formal grammar for EQL #2178

homedirectory opened this issue Feb 7, 2024 · 0 comments
Assignees
@homedirectory
Labels
EQL P3 - normal Pull request Technology upgrade

Comments

@homedirectory
Copy link
Contributor

homedirectory commented Feb 7, 2024 •
edited

Description

It is proposed to describe a formal grammar for EQL to gain the following benefits:

  • Facilitation of informal reasoning during development of the parser. As of now the only reference point is the fluent API itself, which is difficult to view as the grammar's representation since it is, in fact, its product.
  • A better understanding of the state of EQL's fluent API can be gained by reverse engineering it into a formal grammar.

The Extended Backus-Naur form (EBNF) is a suitable notation candidate.

Fling is a fluent API generator that provides means of expressing a grammar in EBNF using Java. Fling can be used to write down the grammar of EQL. The resulting grammar will be represented as a Java object, meaning that it can be transformed into arbitraty other formats if necessary.

Expected outcome

A formal grammar for EQL expressed in a suitable notation.
@homedirectory homedirectory self-assigned this Feb 7, 2024
homedirectory added a commit that referenced this issue Feb 7, 2024
@homedirectory
#2178 Initial spike: grammar specification via Fling
5996f6b
homedirectory added a commit that referenced this issue Feb 12, 2024
@homedirectory
#2178 Give AND precedence over OR in condition combinations
1c2ffc4
homedirectory added a commit that referenced this issue Feb 12, 2024
@homedirectory
#2178 Add grammar rules for beginExpr()/endExpr()
22267d0
homedirectory added a commit that referenced this issue Feb 12, 2024
@homedirectory
#2178 Rewrite rules for logical conditions to support begin/end grouping
e636417
homedirectory added a commit that referenced this issue Feb 12, 2024
@homedirectory
#2178 Implement translation from Fling BNF to human-readable represen…
a18488e 
…tation
homedirectory added a commit that referenced this issue Feb 15, 2024
@homedirectory
#2178 Add a canonical representation of EQL's grammar
02a4217 
A canonical representation serves as a reference, thus it is written in
a human-readable form.
homedirectory added a commit that referenced this issue Feb 15, 2024
@homedirectory
#2178 Extract BNF-to-text transformation into a reusable component
edd4a01
homedirectory added a commit that referenced this issue Feb 15, 2024
@homedirectory
#2178 Add rules for all single operands
4b2302e 
This also includes complex ones, such as caseWhen.
homedirectory added a commit that referenced this issue Feb 15, 2024
@homedirectory
#2178 Rules for all possible "like" operators
537ad8e
homedirectory added a commit that referenced this issue Feb 15, 2024
@homedirectory
#2178 Rules for membership predicates
f87e1fb
homedirectory added a commit that referenced this issue Feb 15, 2024
@homedirectory
#2178 Split operands and operators into 2 categories: regular compari…
c19b4ba 
…son and quantified
homedirectory added a commit that referenced this issue Feb 15, 2024
@homedirectory
#2178 Rules for single-condition, subchaining predicates
f9b6f47
homedirectory added a commit that referenced this issue Feb 15, 2024
@homedirectory
#2178 Rule for an optional alias after select
229f61e
homedirectory added a commit that referenced this issue Feb 15, 2024
@homedirectory
#2178 Rules for Joins
a86cf27
homedirectory added a commit that referenced this issue Feb 15, 2024
@homedirectory
#2178 A rule for "group by"
ffad729
homedirectory added a commit that referenced this issue Feb 15, 2024
@homedirectory
#2178 A proper rule for model variants
c16f05b
homedirectory added a commit that referenced this issue Feb 15, 2024
@homedirectory
#2178 Rules for yielding
2554ae2
homedirectory added a commit that referenced this issue Feb 15, 2024
@homedirectory
#2178 Simplify the Join rule
32f38cc
homedirectory added a commit that referenced this issue Feb 15, 2024
@homedirectory
#2178 Complete parameterisation of tokens corresponding to EQL method…
80e63d0 
…s declaring multiple parameters
homedirectory added a commit that referenced this issue Feb 15, 2024
@homedirectory
#2178 Improve readability of the translated BNF
c0f5d98
homedirectory added a commit that referenced this issue Feb 15, 2024
@homedirectory
#2178 Correct the rule for date diff interval function
b2e0fe3
homedirectory added a commit that referenced this issue Feb 15, 2024
@homedirectory
#2178 Implement an HTML generator for the BNF
f10a6bd
homedirectory added a commit that referenced this issue Feb 15, 2024
@homedirectory
#2178 Styling adjustments for generated HTML
3946040
homedirectory added a commit that referenced this issue Feb 16, 2024
@homedirectory
#2178 More styling adjustments for generated HTML
383ee28
homedirectory added a commit that referenced this issue Feb 16, 2024
@homedirectory
#2178 Correct the Predicate rule
769a847
homedirectory added a commit that referenced this issue Feb 16, 2024
@homedirectory
#2178 Implement BNF to ANTLR's g4 format conversion
ccf75fd
@homedirectory homedirectory mentioned this issue Feb 23, 2024
Open
homedirectory added a commit that referenced this issue Feb 23, 2024
@homedirectory
#2178 Improve semantics of comparison operators
e74509f 
Introduce a separate rule for "like" operators and replace inheritance
relationship by alternation between quantified and comparison operators.
homedirectory added a commit that referenced this issue Feb 23, 2024
@homedirectory
#2196, #2178 Provide our own BNF representation and a fluent API for …
6f4a070 
…building it

This gives us more control over the BNF representation which will assist
with the transformation into ANTLR grammar format (among other ones).
homedirectory added a commit that referenced this issue Feb 23, 2024
@homedirectory
#2178 Adapt to using the new BNF representation
97a41dc
homedirectory added a commit that referenced this issue Feb 23, 2024
@homedirectory
#2178 Use labels in the canonical grammar
d9847ff
homedirectory added a commit that referenced this issue Feb 23, 2024
@homedirectory
#2178 Rewrite the Predicate rule in terms of specialization
07c4bd4
homedirectory added a commit that referenced this issue Feb 23, 2024
@homedirectory
#2178 Provide our own BNF implementation independent of Fling
16354c2
homedirectory added a commit that referenced this issue Feb 23, 2024
@homedirectory
#2178 Employ a general approach of associating metadata (e.g., labels…
b605a3f 
…) with grammar terms

This approach uses an external storage for metadata that is associated
with a particular BNF instance. Unlike with the previous approach,
original Term instances used in the grammar are preserved in their
original form. This has the benefit of correct comparison with equals().

For example, instead of providing a new wrapper type for each possible
kind of metadata (such as it had been the case with labels in the form
of LabeledTerm), it suffices to create a new metadata Key and provide a
corresponding method in BnfBuilder.
homedirectory added a commit that referenced this issue Feb 23, 2024
@homedirectory
#2196, #2178 Adapt BNF transformators to use the new representation
1e20f65
homedirectory added a commit that referenced this issue Feb 23, 2024
@homedirectory
#2178 Adjust the grammar definition to use the new BNF
11ebaea
homedirectory added a commit that referenced this issue Feb 23, 2024
@homedirectory
#2178 Eliminate the Fling dependency
2263083
homedirectory added a commit that referenced this issue Feb 23, 2024
@homedirectory
#2178 Add missing dependency required for HTML generation
def3f3d
homedirectory added a commit that referenced this issue Feb 23, 2024
@homedirectory
#2178 Implement normalisation of grammar terms to support term compar…
76ad92a 
…ison irrespective of metadata
homedirectory added a commit that referenced this issue Feb 23, 2024
@homedirectory
#2178 Implement toString() and hashCode() in Term types
ddaa817
homedirectory added a commit that referenced this issue Feb 23, 2024
@homedirectory
#2178 Split the Yield rule into subrules
357f3ef
homedirectory added a commit that referenced this issue Feb 23, 2024
@homedirectory
#2178 Add a grammar rule for standalone expressions
ab231ce
homedirectory added a commit that referenced this issue Feb 23, 2024
@homedirectory
#2178 Enhance the grammar with rules for standalone conditions
84bc47d
homedirectory added a commit that referenced this issue Feb 23, 2024
@homedirectory
#2178 Enhance the grammar with rules for "order by" expressions
8e0fc26
homedirectory added a commit that referenced this issue Feb 26, 2024
@homedirectory
#2178 Enhance the grammar to cover all "select" variants
2b0afc1
homedirectory added a commit that referenced this issue Feb 26, 2024
@homedirectory
#2178 Add negated compound conditions to the grammar
18ef7df
homedirectory added a commit that referenced this issue Feb 28, 2024
@homedirectory
#2178 Enhance the BNF abstraction with the Alternation type
51fa045
homedirectory added a commit that referenced this issue Feb 28, 2024
@homedirectory
#2178 #2196 Eliminate redundant SingleOperandOrExpr rule
4433838
homedirectory added a commit that referenced this issue Feb 28, 2024
@homedirectory
#2178 Allow zero repetitions of yield after yieldAll
05f1c44
homedirectory added a commit that referenced this issue Mar 1, 2024
@homedirectory
#2196 #2178 Eliminate recursion from the groupBy rule
2b4c3ce
homedirectory added a commit that referenced this issue Mar 4, 2024
@homedirectory
#2196 #2178 Extend the yield operand rule with expressions involving …
b2d8e9a 
…yield operands

This allows the body of expressions to use yield operands, not just
single operands.
This was referenced Mar 27, 2024
Closed
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@homedirectory homedirectory

Labels
EQL P3 - normal Pull request Technology upgrade
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Issue #2178 fieldenms/tg
2 participants
@01es @homedirectory