| // Copyright 2019 The Wuffs Authors. |
| // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or |
| // https://www.apache.org/licenses/LICENSE-2.0> or the MIT license |
| // <LICENSE-MIT or https://opensource.org/licenses/MIT>, at your |
| // option. This file may not be copied, modified, or distributed |
| // except according to those terms. |
| // SPDX-License-Identifier: Apache-2.0 OR MIT |
| pri status "#not a digit" |
| pub func parser.parse?(src: base.io_reader) { |
| if (c < 0x30) or (0x39 < c) { // '0' and '9' are ASCII 0x30 and 0x39. |
| // Rebase from ASCII (0x30 ..= 0x39) to the value (0 ..= 9). |
| if this.val < 429_496729 { |
| this.val = (10 * this.val) + (c as base.u32) |
| } else if (this.val > 429_496729) or (c > 5) { |
| // Uncomment this assertion to see what facts are known here. |
| this.val = (10 * this.val) + (c as base.u32) |
| pub func parser.value() base.u32 { |