Skip to content

Commit 3fb0ba9

Browse files
committed
Clarify that the +0 option was based on a bug
The potential solution to add a zero to make the statement valid was based on a bug in libyang that is now closed (CESNET/libyang#2256). Signed-off-by: Florian Kauer <florian.kauer@linutronix.de> Reviewed-by: Tobias Deiminger <tobias.deiminger@linutronix.de>
1 parent 4a22496 commit 3fb0ba9

File tree

1 file changed

+1
-33
lines changed

1 file changed

+1
-33
lines changed

qcw/README.md

Lines changed: 1 addition & 33 deletions
Original file line numberDiff line numberDiff line change
@@ -157,39 +157,7 @@ not(count(./gate-control-entry) > ../supported-list-max)
157157
(count(./gate-control-entry) <= ../supported-list-max + 0)
158158
```
159159

160-
Since we have a numeric operator on the right side now:
161-
162-
In '3.5 Numbers' of XML Path Language (XPath) Version 1.0:
163-
164-
```
165-
The numeric operators convert their operands to numbers as if by calling the number function.
166-
```
167-
168-
In '4.4 Number functions' of XML Path Language (XPath) Version 1.0:
169-
170-
```
171-
a node-set is first converted to a string as if by a call to the string
172-
function and then converted in the same way as a string argument
173-
```
174-
175-
In '4.2 String functions' of XML Path Language (XPath) Version 1.0:
176-
177-
```
178-
A node-set is converted to a string by returning the string-value of the node in the node-set
179-
that is first in document order. If the node-set is empty, an empty string is returned.
180-
```
181-
182-
In '4.4 Number functions' of XML Path Language (XPath) Version 1.0:
183-
184-
```
185-
a string that consists of optional whitespace followed by an optional minus sign followed
186-
by a Number followed by whitespace is converted to the IEEE 754 number that is nearest
187-
(according to the IEEE 754 round-to-nearest rule) to the mathematical value represented
188-
by the string; any other string is converted to NaN
189-
```
190-
191-
→ Unclear if empty string is 0 or NaN, but libc's strtold returns 0 without error and thus also libyang. With 0, 0 <= 0 + 0, so true. Works with libyang, but depends on implementation...
192-
160+
was considered as potential alternative in the meantime, but was based on a bug in libyang that is now fixed (see https://github.com/CESNET/libyang/issues/2256), so this is not an option.
193161

194162
## Other Occurences
195163

0 commit comments

Comments
 (0)