diff options
| author | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2015-04-02 11:42:07 +0200 | 
|---|---|---|
| committer | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2016-04-25 22:19:30 +0200 | 
| commit | abfbee8595a6ba175f899f4dbca9f56c58a7a5e9 (patch) | |
| tree | 6de33ba5b54215052465c4c16082118d5394d15e /testdata | |
| parent | 7aa5f13f2fb381e66cba98cb2be11e3d4c104258 (diff) | |
Rename simple_short_token test to token_escape, luckily there was no real bug involved here
Diffstat (limited to 'testdata')
| -rw-r--r-- | testdata/integration/user_defined_syntax/token_escaping.in.osml (renamed from testdata/integration/user_defined_syntax/simple_short_token.in.osml) | 8 | ||||
| -rw-r--r-- | testdata/integration/user_defined_syntax/token_escaping.out.osxml (renamed from testdata/integration/user_defined_syntax/simple_short_token.out.osxml) | 1 | 
2 files changed, 7 insertions, 2 deletions
| diff --git a/testdata/integration/user_defined_syntax/simple_short_token.in.osml b/testdata/integration/user_defined_syntax/token_escaping.in.osml index ef12a98..66ad1eb 100644 --- a/testdata/integration/user_defined_syntax/simple_short_token.in.osml +++ b/testdata/integration/user_defined_syntax/token_escaping.in.osml @@ -1,3 +1,7 @@ +%{ +	This test checks whether tokens starting with the default field indicator at +	the beginning works by escaping the "!" with a backslash. +}%  \document  \ontology#test{  	\struct#a[root=true] @@ -6,12 +10,12 @@  			\childRef[ref=c]  	\struct#b  		\syntax -			\short{!=} +			\short{\!=}  	\struct#c  		\syntax  			\short{=}  }  \begin{a} -= += !=  \end{a} diff --git a/testdata/integration/user_defined_syntax/simple_short_token.out.osxml b/testdata/integration/user_defined_syntax/token_escaping.out.osxml index 743e927..a5ed94d 100644 --- a/testdata/integration/user_defined_syntax/simple_short_token.out.osxml +++ b/testdata/integration/user_defined_syntax/token_escaping.out.osxml @@ -2,5 +2,6 @@  <document xmlns:test="test">  	<test:a>  		<test:c/> +		<test:b/>  	</test:a>  </document> | 
