Lug 0.5.0

Den 19 mars släpptes C++-biblioteket Lug, som implementerar en inbäddad domänspecifik språk för att uttrycka parserbyggare i form av utökade grammatiker för syntaxuttryck, och distribueras under MIT-licens.

Möjligheter i biblioteket:

• Ett naturligt syntax som påminner om språk för externa parsergeneratorer, med stöd för attribut och semantiska handlingar.
• Möjlighet att arbeta med kontextberoende grammatik med symboltabeller, villkor och syntaktiska predikat.
• De genererade parserna kompileras till bytekod och körs i en parsermaskin.
• Tydlig uppdelning av syntaktiska och lexikala regler med möjlighet att konfigurera implicit utelämnande av vita tecken.
• Stöd för direkt och indirekt vänster rekursion, med prioritetsnivåer för att särskilja underuttryck med blandade vänster och höger rekursioner.
• Fullständigt stöd för analys av text i UTF-8-format, inklusive nivå 1 och delvis överensstämmelse med nivå 2 i den tekniska standarden UTS #18 Unicode Regular Expressions.
• Felkontroll och återställning med markerade fel, återställningsregler och felhanterare.
• Automatisk spårning av rad- och kolumnnummer, anpassningsbar bredd och tabulatorjustering.
• Ett header-only-bibliotek som endast använder standardbiblioteket och funktioner från C++17-standarden. Framtidssäkert kompatibelt med standarderna C++20 och C++23.
• Relativt liten storlek på biblioteket, med syftet att hålla det totala antalet rader i alla headerfiler under 6000 rader koncis kod.

Ändringslista:

• Direktiv för samlingar och objektattribut har implementerats. Det nya direktivet collect<C>[e] syntetiserar en sekvens eller associativ behållare av typ C, bestående av element insamlade från ärvda eller syntetiserade attribut i uttrycket e. På liknande sätt har nya direktiv synthesize<C,A…>[e], synthesize_shared<C,A…>[e] och synthesize_unique<C,A…>[e] införts för att syntetisera objekt, delade pekare och unika pekare respektive, byggda av komponenternas attribut i uttrycket e.
• Direktivet synthesize_collect har införts, vilket kombinerar direktiven collect och synthesize för att förbättra kodens läsbarhet och minska antalet mallar vid byggande av komplexa datastukturer från analyserade element. Detta är särskilt användbart för att skapa inbäddade samlingar, såsom array av objekt eller associativa containrar med komplexa värdetyper.
• Den mallbaserade klassen lug::recursive_wrapper har lagts till för att hantera cykliska beroenden i abstrakta syntaxi-träd, specifikt de som använder std::variant.
• Stödet för Unicode-standard 16.0.0 har implementerats och stöd för byggverktyg har lagts till i CMakeLists.txt.
• Prioriteringen av områdesmatchning och uppsättningar av ASCII-tecken har optimerats, vilket resulterat i en betydande ökning av prestanda vid utförandet av vanliga textbehandlingsoperationer. Snabbare specialiserade metoder för att bara bearbeta ASCII-tecken har lagts till, vilket är betydligt snabbare än Unicode-bearbetningskoden.
• Op-koderna test har implementerats för att optimera fel och op-koderna repeat har implementerats för att optimera utelämnande av vita tecken. Dessa optimeringar kommer att helt inkluderas i nästa version efter de planerade transformationerna av uttrycksträdet.
• Bearbetningen av ingångskällor har förbättrats med förbättrad buffring och felrapporter för std::istream, samt förbättrat stöd för interaktivt läge, som korrekt hanterar radvis inmatning för terminalsessioner eller för linjärt orienterade grammatik.
• Stödet för std::istream har flyttats till en separat headerfil <lug/iostream.hpp>. Detta minskar kompileringstiden och minimerar headerberoenden för projekt som inte kräver strömning av in/ut-funktioner.
• Logiken för parserfixering har omdesignats genom att inlinna instruktioner i lug::basic_parser för att bättre anpassa sig till förändringar i stackramarkitekturen som presenterades i version 0.4.0, vilket förbättrade kodens struktur och prestanda.
• Ett problem i parserexemplet har åtgärdats. BASIC, när användarfunktioner (t.ex. FNA(X)) avslutades under utvärdering. Detta orsakades av ändringar i version 0.4.0 som återställde lug::environment under inbäddade parseroperationer. En ny funktion lug::environment::should_reset_on_parse har lagts till för att säkerställa finjusterad kontroll över detta beteende, vilket gör att miljön kan bevaras under inbäddade parsingoperationer när det är nödvändigt.
• En omfattande testinfrastruktur för programexempel har lagts till.
• Kataloghierarkin för include har omstrukturerats.
• För större kompatibilitet i GitHub CI har stöd för ytterligare kompilatorer lagts till (GCC 9/10/11/12, Clang 14/15/16/17).
• Clang och MSVC statiska analysatorer har lagts till i GitHub CI.
• Address Sanitizer (ASan), Undefined Behavior Sanitizer (UBSan) och Memory Sanitizer (MSan) har lagts till i GitHub CI.
• Integration av clang-tidy har lagts till i GitHub CI.
• Användningen av Ubuntu 20.04 har tagits bort i GitHub CI.

Källa: linux.org.ru