Merge pull request #140 from FormalLanguageConstrainedPathQuerying/ta…

…sk11-autotests

Автотесты для 11 домашки

requirements.txt

@@ -1,6 +1,7 @@
 antlr4-python3-runtime
 black
 cfpq-data
+grammarinator @ git+https://github.com/renatahodovan/grammarinator.git@f3ffa71
 networkx==3.2.1
 pre-commit
 pydot

tasks/task11.md

@@ -199,4 +199,19 @@ _____________________________________
 ## Задача
 - [ ] С использованием ANTLR реализовать синтаксический анализатор предложенного выше языка. А именно, реализовать функцию, которая принимает строку и возвращает дерево разбора.
 - [ ] Реализовать функцию, которая по дереву разбора возвращает количество узлов в нём.
-- [ ] Реализовать функцию, которая по дереву разбора строит строку, которая была разобрана.
+- [ ] Реализовать функцию, которая по дереву разбора строит ранее разобранную строку.
+- [ ] Расширить CI шагом генерации парсера по спецификации. Обратите внимание, что генерируемые по спецификации файлы не выкладываются в репозиторий.
+  - [Grammarinator](https://github.com/renatahodovan/grammarinator), используемый нами для генерации тестов, подтягивает вместе с собой [ANTLeRinator](https://github.com/renatahodovan/antlerinator), который можно использовать для получения исполняемого файла ANTLR
+
+Требуемые функции:
+```python
+# Второе поле показывает корректна ли строка (True, если корректна)
+def prog_to_tree(program: str) -> tuple[ParserRuleContext, bool]:
+    pass
+
+def nodes_count(tree: ParserRuleContext) -> int:
+    pass
+
+def tree_to_prog(tree: ParserRuleContext) -> str:
+    pass
+```