rfc:trailing_whitespace_numerics
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | Next revisionBoth sides next revision |
| rfc:trailing_whitespace_numerics [2019/02/07 01:32] – ajf | rfc:trailing_whitespace_numerics [2019/02/07 01:32] – missing clause ajf |
|---|
| |
| * A //well-formed// numeric string contains a number optionally preceded by whitespace. For example, <php>"123"</php> is well-formed (just a number), and <php" 1.23e2"</php> is also well-formed (a number preceded by whitespace). | * A //well-formed// numeric string contains a number optionally preceded by whitespace. For example, <php>"123"</php> is well-formed (just a number), and <php" 1.23e2"</php> is also well-formed (a number preceded by whitespace). |
| * A //non-well-formed// numeric string is any string beginning with a well-formed numeric string but followed by other characters, notably including whitespace. For example, <php>"1.23e2abc"</php> is non-well-formed (a number followed by unrelated letters), and <php>" 1.23e2 "</php> (a number both preceded and followed by whitespace). | * A //non-well-formed// numeric string is any string beginning with a well-formed numeric string but followed by other characters, notably including whitespace. For example, <php>"1.23e2abc"</php> is non-well-formed (a number followed by unrelated letters), and <php>" 1.23e2 "</php> (a number both preceded and followed by whitespace) is also non-well-formed. |
| * A //non-numeric// string is a string that is neither a well-formed nor a non-well-formed numeric string. For example, <php>"abc1.23e2"</php> is non-numeric (it doesn't start with a number, nor does it start with whitespace followed by a number). | * A //non-numeric// string is a string that is neither a well-formed nor a non-well-formed numeric string. For example, <php>"abc1.23e2"</php> is non-numeric (it doesn't start with a number, nor does it start with whitespace followed by a number). |
| |
rfc/trailing_whitespace_numerics.txt · Last modified: 2020/07/23 21:50 by ajf