diff options
| author | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2015-04-12 17:40:32 +0200 |
|---|---|---|
| committer | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2016-04-25 22:24:16 +0200 |
| commit | bed013e617130f7afd1f90ba57afc160b43c71df (patch) | |
| tree | bb5d335132a522e24351e5a3239355f7a9ca2070 /testdata/integration/user_defined_syntax/ontologies/math.osml | |
| parent | 84ab3caa172fc3f4ec7085135964173c8eed5f84 (diff) | |
Implement non-greedy behaviour for short tokens
Diffstat (limited to 'testdata/integration/user_defined_syntax/ontologies/math.osml')
| -rw-r--r-- | testdata/integration/user_defined_syntax/ontologies/math.osml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testdata/integration/user_defined_syntax/ontologies/math.osml b/testdata/integration/user_defined_syntax/ontologies/math.osml index c864d2b..f10b6a2 100644 --- a/testdata/integration/user_defined_syntax/ontologies/math.osml +++ b/testdata/integration/user_defined_syntax/ontologies/math.osml @@ -76,12 +76,12 @@ % TODO: Differentiate between lower and upper index vs. power operator? \struct#power[isa=primitive] \syntax - \short{^} + \short[greedy=false]{^} \field \childRef[ref=primitive] \struct#index[isa=primitive] \syntax - \short{_} + \short[greedy=false]{_} \field \childRef[ref=primitive] @@ -211,12 +211,12 @@ \childRef[ref=upperLimit] \struct#lowerLimit[cardinality={0,1}] \syntax - \short{_} + \short[greedy=false]{_} \field \childRef[ref=primitive] \struct#upperLimit[cardinality={0,1}] \syntax - \short{^} + \short[greedy=false]{^} \field \childRef[ref=primitive] |