diff options
| author | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2015-04-11 17:06:37 +0200 |
|---|---|---|
| committer | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2016-04-25 22:24:14 +0200 |
| commit | 9b7e388632c943ca5e0e262bd54c3d78329947ac (patch) | |
| tree | 06d795837507e2d7827861e25ad825a352bcc97e /testdata | |
| parent | 9cc6a020a72d33b2d25133c22f66a06ec5a75440 (diff) | |
Added (currently skipped) integration test for bug #114 -- this bug is somewhat harder to fix.
Diffstat (limited to 'testdata')
| -rw-r--r-- | testdata/integration/user_defined_syntax/indent_dedent_at_command.in.osml | 16 | ||||
| -rw-r--r-- | testdata/integration/user_defined_syntax/indent_dedent_at_command.out.skip.osxml | 24 |
2 files changed, 40 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} diff --git a/testdata/integration/user_defined_syntax/indent_dedent_at_command.out.skip.osxml b/testdata/integration/user_defined_syntax/indent_dedent_at_command.out.skip.osxml new file mode 100644 index 0000000..607bd06 --- /dev/null +++ b/testdata/integration/user_defined_syntax/indent_dedent_at_command.out.skip.osxml @@ -0,0 +1,24 @@ +<?xml version="1.0" encoding="UTF-8" standalone="yes"?> +<document> + <ontology name="test"> + <struct name="a" root="true"> + <field> + <childRef ref="a"/> + </field> + <syntax> + <open> + <indent/> + </open> + <close> + <dedent/> + </close> + </syntax> + </struct> + </ontology> + <test:a> + <test:a> + <test:a/> + </test:a> + <test:a/> + </test:a> +</document> |