[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[lmi] XRC RNG validation is incomplete
From: |
Greg Chicares |
Subject: |
[lmi] XRC RNG validation is incomplete |
Date: |
Fri, 22 Jan 2021 15:49:59 +0000 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.4.0 |
Vadim--Commit 2d08538d436 demonstrates a defect in an XRC file that
is obvious when running lmi, but wasn't caught by 'xrc.rnc'; should
it have been? I believe the answer is "no", because the offending
line:
- <growablerows>0,1,2,3,4,5,6,7</growablerows>
+ <growablerows>0,1,2,3,4,5,6</growablerows>
was just as "valid" in the RNG sense without that correction--i.e.,
RNG can test whether "0,1,2,3,4,5,6,7" is _in form_ a comma-separated
list of plausible nonnegative integers, but not whether "7" makes
sense _in context_. But I figured it wouldn't hurt to ask anyway.
- [lmi] XRC RNG validation is incomplete,
Greg Chicares <=