From: Lukáš Jiřiště <redacted>
Date: Sun, 12 Jul 2026 20:41:30 +0000 (+0200)
Subject: Create the basic idea of the grammar
X-Git-Url: https://git.ljiriste.work/?a=commitdiff_plain;h=3af2698dacfb61dad0fc530c800ab46a09fd2929;p=SetSCAD.git

Create the basic idea of the grammar
---

diff --git a/.gitignore b/.gitignore
index ea74a78..c8d1d06 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 *.pdf
 *.o
 setscad
+parsing_table
diff --git a/Makefile b/Makefile
index b110ea4..02159fe 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,7 @@
 
 README.pdf: README.typ
-	typst compile README.typ
+	typst compile $<
+
+parsing_table: grammar
+	$(RM) $@
+	parsing_table_generator $<
diff --git a/grammar b/grammar
new file mode 100644
index 0000000..af39522
--- /dev/null
+++ b/grammar
@@ -0,0 +1,62 @@
+set_named_definition -> set_name EQUAL LEFT_CURLY set_definition RIGHT_CURLY
+set_named_definition -> set_name EQUAL set
+set_definition -> points_domain VERTICAL_BAR constraint_list
+points_domain -> single_points_domain COMMA points_domain
+points_domain -> single_points_domain
+single_points_domain -> point COMMA single_points_domain
+single_points_domain -> point IN set
+point -> X
+point -> Y
+point -> Z
+constraint_list -> constraint
+constraint_list -> constraint logic_op constraint_list
+constraint -> LEFT_BRACKET constraint_list RIGHT_BRACKET
+constraint -> expression relation expression
+logic_op -> AND
+logic_op -> OR
+relation -> EQUAL
+relation -> LESS_THEN
+relation -> GREATER_THEN
+expression -> sum
+sum -> product PLUS sum
+sum -> product MINUS sum
+sum -> product
+product -> term TIMES product
+product -> term DIVIDE product
+product -> term
+term -> point
+term -> parameter_name
+term -> number
+term -> function_call
+term -> LEFT_BRACKET expression RIGHT_BRACKET
+function_call -> function_name LEFT_BRACKET argument_list RIGHT_BRACKET
+argument_list -> term COMMA argument_list
+argument_list -> term
+set_definition -> parameters_domain SEMICOLON parameter_equations
+parameters_domain -> parameter_name IN set COMMA parameters_domain
+parameters_domain -> parameter_name IN set
+parameter_equations -> parameter_equation COMMA parameter_equations
+parameter_equations -> parameter_equation
+parameter_equation -> point EQUAL expression
+set -> set_name
+set -> LEFT_BRACKET set set_op set RIGHT_BRACKET
+set -> transform set
+set_op -> UNION
+set_op -> INTERSECTION
+set_op -> DIFFERENCE
+set_op -> CARTESIAN_PRODUCT
+set_op -> MINKOWSKI_SUM
+transform -> rotation
+transform -> translate
+rotation -> ROTATE LEFT_BRACKET number COMMA axis COMMA set RIGHT_BRACKET
+translate -> TRANSLATE LEFT_BRACKET vector COMMA set RIGHT_BRACKET
+axis -> vector
+vector -> LEFT_SQUARE number COMMA number COMMA number RIGHT_SQUARE
+parameter_name -> NAME
+function_name -> NAME
+set_name -> NAME
+number -> mantissa
+number -> mantissa exponent
+mantissa -> INT
+mantissa -> INT DOT INT
+exponent -> EXP INT