summaryrefslogtreecommitdiff
path: root/testdata/integration/user_defined_syntax/indent_dedent_at_command.in.osml
diff options
context:
space:
mode:
authorAndreas Stöckel <astoecke@techfak.uni-bielefeld.de>2015-04-11 17:06:37 +0200
committerAndreas Stöckel <astoecke@techfak.uni-bielefeld.de>2016-04-25 22:24:14 +0200
commit9b7e388632c943ca5e0e262bd54c3d78329947ac (patch)
tree06d795837507e2d7827861e25ad825a352bcc97e /testdata/integration/user_defined_syntax/indent_dedent_at_command.in.osml
parent9cc6a020a72d33b2d25133c22f66a06ec5a75440 (diff)
Added (currently skipped) integration test for bug #114 -- this bug is somewhat harder to fix.
Diffstat (limited to 'testdata/integration/user_defined_syntax/indent_dedent_at_command.in.osml')
-rw-r--r--testdata/integration/user_defined_syntax/indent_dedent_at_command.in.osml16
1 files changed, 16 insertions, 0 deletions
diff --git a/testdata/integration/user_defined_syntax/indent_dedent_at_command.in.osml b/testdata/integration/user_defined_syntax/indent_dedent_at_command.in.osml
new file mode 100644
index 0000000..555b6cc
--- /dev/null
+++ b/testdata/integration/user_defined_syntax/indent_dedent_at_command.in.osml
@@ -0,0 +1,16 @@
+\begin{document}
+
+\begin{ontology#test}
+ \struct#a[root=true]
+ \syntax
+ \open{\indent}
+ \close{\dedent}
+ \field
+ \childRef[ref=a]
+\end{ontology}
+
+\begin{a}
+ \a{}
+\a{}
+\end{a}
+\end{document}