WCCL

W związku z obciążeniem Pawła (i w pewnym zakresie Tomka) opakowaniami pytonowymi przypisuję to zadanie Adamowi.
Bardziej precyzyjnie, chodzić będzie o:
1. Implementację samej składni w gramatyce.
2. Dodanie trzeciego argumentu (resources/lexicons) do wszystkich reguł składni wymagających tagsetu i variables.
3. Implementację operacji „import” — na etapie parsowania uruchamiane jest ładowanie leksykonu.
4. Dodanie do leksykonu operatora „lex”, który bierze zbiór stringów i nazwę leksykonu, zwraca zbiór stringów. Na etapie parsowania z przekazanego regule argumentu resources/lexicons powinien być wyciągnięty obiekt leksykonu znajdujący się pod podaną nazwą i przekazywany do konstruktora operatora lex.

Parsowanie składni całego pliku chciałbym umieścić całkowicie w gramatyce.

Teraz mamy parseAnyOperator poza gramatyką i robiona jest specjalna obsługa błędów w kodzie C++ wywołującymi reguły gramatyki jak parse_symset_operator, parse_strset_operator, aby pokazać, jakie błędy wyskakiwały, gdy była próba parsowania jako Function<TSet>, jakie przy próbie <Function<StrSet> > itd.

W składni całego pliku jest sekcja ANY_FUNC_OP no i właśnie parsowanie byłoby zaszyte głębiej w gramatyce, przez co byłby problem, że raportowany błąd byłby tylko z ostatniej alternatywy, czego staraliśmy się uniknąć (chyba?) pisząc parseAnyOperator w C++ a nie w grammar.g

Próbowałem trochę bawić się z obsługą błędów, ale tak jak mamy, ze składniowymi predykatami, to może się nie dać.

Generalnie o co mi chodzi: mimo tego, że przy parsowaniu całego pliku straci się raportowanie błędu ze wszystkich badanych alternatyw (TSet, StrSet, Bool... tylko ostatnia alternatywa będzie zgłaszała błąd) w sekcji ANY_FUNC_OP, jednak wolę ująć parsowanie całego pliku całkiem w gramatyce, a nie kodzie C++ na zewnątrz, gdyż tak jest szybciej/prościej coś zmienić

Zrobiłem pierwszą wersję składni pliku, bez sekcji imports jeszcze.

Pozwoliłem sobie nieco zmienić składnię - operatory w nazwanej sekcji muszą kończyć się średnikami. Separator nie jest wprost ujety w definicji składni, ale podane przykłady mają przecinki. Jeśli pomysł się nie podoba, mogę napisać gramatykę tak, by jednak były przecinki. Dałem średniki po to, by w prosty sposób można było skorzystać z istniejących reguł parse_xxx_operator (pierwotnie oczekiwały EOF, więc nie można było z nich skorzystać; teraz oczekują EOF albo średnika, co pozwala na ich skorzystanie w XXX_operator_sequence, ale oczywiście to nie jest wielki problem napisać gramatykę tak, aby sekwencje miały operatory oddzielone jednak przecinkami i ostatni operator nie wymagał przecinka na koniec; nie mógłbym wtedy skorzystać z dotychczasowych parse_xxx_operator chyba żeby wyrzucić EOF, ale to nie problem zrobić kopie, które EOF nie wymagają, a obsługę przecinków dodać do XXX_operator_sequence). Średniki też wydają mi się lepiej rozdzielać osobne operatory.

No ale właśnie, jeśli ze średnikami pomysł się podoba, to może również dać go do sekcji rules? Oddzielając poszczególne reguły nie przecinkami, a średnikami.

Gramatyka pozwala tylko na jedną sekcję rules.

Dodałem parse_match_operator i takoweż sekcje w pliku. Co prawda same funkcje zwracające Match (Value type Match) nie mają wiele sensu poza apply, ale i tak mogą być przemycone poza apply poprzez predykaty (Function<Bool>). Dodałem je więc oficjalnie do poziomu korzenia gramatyki też, żeby w ramach debugowania jakiegoś nie trzeba było ich przemycać.

Na razie przepisuję tobie, Adamie R., w celu skomentowania, głównie kwestii średników. Bo to raczej powinno być spójne z sekcją rules, albo w obu miejscach średniki, albo przecinki, mnie się osobiście te średniki podobają, lepiej pozwolą wizualnie oddzielić osobne operatory, ale jak wolisz przecinki, to zmienię. Jak średniki są okay, to raczej powinny też być i w rules, gdzie też mogę zmienić, wliczając ewentualne pliki testowe, które obecnie mają przecinki.

Nadal jednak muszę dodać do gramatyki sekcję IMPORTS

Składnia ze średnikami zatwierdzona. Uwzględniłem to w całej specyfikacji, którą swoją drogą przeredagowałem.

Wszystko gra :)