Add some test files for user defined syntax

4 files changed, 245 insertions, 7 deletions

diff --git a/testdata/osmlparser/math.osml b/testdata/osmlparser/math.osml
new file mode 100644
index 0000000..acb494d
--- /dev/null
+++ b/testdata/osmlparser/math.osml
@@ -0,0 +1,224 @@
+\ontology#math{
+	%{
+		Top level math commands -- block math (equivalent to LaTeX AMS "array")
+		and inline math.
+	}%
+	\struct#math[root=true]
+		\syntax
+			\open{$$}
+			\close{$$}
+		\field
+			\childRef[ref=equation]
+
+	\struct#inlineMath
+		\syntax
+			\open{$}
+			\close{$}
+		\field
+			\childRef[ref=primitive]
+
+	%{
+		Commands for block math -- these are used to define equations, seperable
+		by the "&" field separator.
+	}%
+	\struct#equation[transparent=true, cardinality={>0}]
+		\syntax
+			\close{\\\\}
+		\field
+			\childRef[ref=field]
+	\struct#field[transparent=true]
+		\syntax
+			\close{&}
+		\field
+			\childRef[ref=primitive]
+
+	%{
+		All classes derived from "primitive" can be used inside all equations
+	}%
+	\struct#primitive
+
+	%{
+		Variables and functions
+	}%
+	\struct#var[isa=primitive]
+		\primitive#name[type=string]
+	\struct#fun[isa=primitive]
+		\primitive#name[subtree=true,type=string,optional=false]
+		\field#arguments[subtree=true,optional=true]
+			\childRef[ref=primitive]
+
+	%{
+		Basic mathematical commands, sum, product, fraction, square root
+	}%
+	\struct#sum[isa=primitive]
+		\field
+			\childRef[ref=range]
+	\struct#prod[isa=primitive]
+		\field
+			\childRef[ref=range]
+	\struct#int[isa=primitive]
+		\field
+			\childRef[ref=range]
+	\struct#iint[isa=primitive]
+		\field
+			\childRef[ref=range]
+	\struct#frac[isa=primitive]
+		\field#denominator[subtree=true,optional=false]
+			\childRef[ref=primitive]
+		\field#nominator[subtree=true,optional=false]
+			\childRef[ref=primitive]
+	\struct#sqrt[isa=primitive]
+		\attributes
+			\attribute#base[type=int,default=2]
+		\field
+			\childRef[ref=primitive]
+	\struct#root[isa=primitive]
+		\field#base[subtree=true,optional=true]
+			\childRef[ref=primitive]
+		\field
+			\childRef[ref=primitive]
+
+	% TODO: Differentiate between lower and upper index vs. power operator?
+	\struct#power[isa=primitive]
+		\syntax
+			\short{^}
+		\field
+			\childRef[ref=primitive]
+	\struct#index[isa=primitive]
+		\syntax
+			\short{_}
+		\field
+			\childRef[ref=primitive]
+
+	%{
+		Separators
+	}%
+
+	\struct#comma[isa=primitive]
+		\syntax
+			\short{,}
+	\struct#colon[isa=primitive]
+		\syntax
+			\short{:}
+	\struct#semicolon[isa=primitive]
+		\syntax
+			\short{;}
+
+	%{
+		Operators and Relations
+	}%
+	\struct#plus[isa=primitive]
+		\syntax
+			\short{+}
+	\struct#minus[isa=primitive]
+		\syntax
+			\short{-}
+	\struct#multiplication[isa=primitive]
+		\syntax
+			\short{*}
+	\struct#division[isa=primitive]
+		\syntax
+			\short{/}
+	\struct#equals[isa=primitive]
+		\syntax
+			\short{=}
+	\struct#equiv[isa=primitive]
+		\syntax
+			\short{==}
+	\struct#smaller[isa=primitive]
+		\syntax
+			\short{<}
+	\struct#larger[isa=primitive]
+		\syntax
+			\short{>}
+	\struct#smallerEq[isa=primitive]
+		\syntax
+			\short{<=}
+	\struct#largerEq[isa=primitive]
+		\syntax
+			\short{>=}
+	\struct#times[isa=primitive]
+	\struct#circ[isa=primitive]
+	\struct#cdot[isa=primitive]
+	\struct#bullet[isa=primitive]
+	\struct#cup[isa=primitive]
+	\struct#cap[isa=primitive]
+	\struct#subset[isa=primitive]
+	\struct#subseteq[isa=primitive]
+	\struct#sqcup[isa=primitive]
+	\struct#sqcap[isa=primitive]
+	\struct#sim[isa=primitive]
+	\struct#vee[isa=primitive]
+	\struct#wedge[isa=primitive]
+	\struct#pm[isa=primitive]
+	\struct#mp[isa=primitive]
+	\struct#infty[isa=primitive]
+
+	%{
+		Arrows
+	}%
+	\struct#to[isa=primitive]
+		\syntax
+			\short{->}
+	\struct#mapsto[isa=primitive]
+		\syntax
+			\short{|->}
+
+	\struct#leftarrow[isa=primitive]
+		\syntax
+			\short{<--}
+	\struct#Leftarrow[isa=primitive]
+		\syntax
+			\short{<==}
+	\struct#rightarrow[isa=primitive]
+		\syntax
+			\short{-->}
+	\struct#Leftrightarrow[isa=primitive]
+		\syntax
+			\short{<=>}
+	\struct#leftrightarrow[isa=primitive]
+		\syntax
+			\short{<->}
+	\struct#uparrow[isa=primitive]
+	\struct#Uparrow[isa=primitive]
+	\struct#downarrow[isa=primitive]
+	\struct#Downarrow[isa=primitive]
+	\struct#updownarrow[isa=primitive]
+	\struct#Updownarrow[isa=primitive]
+
+	\struct#longleftarrow[isa=primitive]
+		\syntax
+			\short{<---}
+	\struct#Longleftarrow[isa=primitive]
+		\syntax
+			\short{<===}
+	\struct#longrightarrow[isa=primitive]
+		\syntax
+			\short{--->}
+	\struct#longleftrightarrow[isa=primitive]
+		\syntax
+			\short{<==>}
+	\struct#Longleftrightarrow[isa=primitive]
+		\syntax
+			\short{<-->}
+
+	\struct#number[isa=primitive,transparent=true]
+		\primitive[type=int]
+	\struct#text[isa=primitive,transparent=true]
+		\primitive[type=string]
+	\struct#range[transparent=true]
+		\field
+			\childRef[ref=lower]
+			\childRef[ref=upper]
+	\struct#lower[cardinality={0,1}]
+		\syntax
+			\short{_}
+		\field
+			\childRef[ref=primitive]
+	\struct#upper[cardinality={0,1}]
+		\syntax
+			\short{^}
+		\field
+			\childRef[ref=primitive]
+
+}
diff --git a/testdata/osmlparser/math_pythagoras.osml b/testdata/osmlparser/math_pythagoras.osml
new file mode 100644
index 0000000..e42cdb7
--- /dev/null
+++ b/testdata/osmlparser/math_pythagoras.osml
@@ -0,0 +1,4 @@
+\import[ontology]{./math}
+\begin{math}
+	a^{2} &= b^{2} + c^{2}
+\end{math}
diff --git a/testdata/osmlparser/math_ranges.osml b/testdata/osmlparser/math_ranges.osml
new file mode 100644
index 0000000..a6ac4dd
--- /dev/null
+++ b/testdata/osmlparser/math_ranges.osml
@@ -0,0 +1,6 @@
+\import[ontology]{./math}
+\begin{math}
+	\sum^{10}_{i=5} \\
+	\int^{\var{x} -> 1}_{\var{x} -> -1} \sqrt{x^{2} - 1} dx &= \frac{π}{2}\\
+	\fun{f}{x, y} |-> \frac{x^{2}}{2} + y^{2}
+\end{math}
diff --git a/testdata/osmlparser/user_defined_syntax.osml b/testdata/osmlparser/user_defined_syntax.osml
index 3d44c29..9bc80c7 100644
--- a/testdata/osmlparser/user_defined_syntax.osml
+++ b/testdata/osmlparser/user_defined_syntax.osml
@@ -1,7 +1,7 @@
 \begin{document}
 
-\ontology#article{
-	\struct#article[root=true]
+\ontology#book{
+	\struct#book[root=true]
 		\field
 			\childRef[ref=section]
 			\childRef[ref=paragraph]
@@ -18,6 +18,8 @@
 		\field
 			\childRef[ref=text]
 			\childRef[ref=code]
+			\childRef[ref=speech]
+			\childRef[ref=thought]
 	\struct#code
 		\syntax
 			\open{`}
@@ -31,12 +33,15 @@
 		\fieldRef[ref=paragraph.$default]
 	\struct#text[transparent=true]
 		\primitive[type=string]
+	\struct#thought
+		\syntax
+			\short{--}
 }
 
-\begin{article}
+\begin{book}
 == This tests somewhat plays with user defined syntax ==
 
-As you can see, just the tiny `\\syntax` definitions above make writing documents
+As you -- surely -- can see, just the tiny `\\syntax` definitions above make writing documents
 much easier.
 
 For instance, this is a new paragraph.
@@ -52,7 +57,6 @@ definition of the paragraph structure.
 
 Did you notice how we started sections here?
 
-Sections can be allowed to use Wiki-like syntax with only three lines of code.
-\end{article}
+Sections can be allowed to use Wiki-like syntax with only three lines of code. Awesome!
+\end{book}
 \end{document}
-