diff options
| author | _ov4 <ov4@ov4.org> | 2026-10-20 11:04:39 +0000 |
|---|---|---|
| committer | _ov4 <ov4@ov4.org> | 2026-10-20 11:04:39 +0000 |
| commit | 52e0674c54d4b53b2132e750106cc9acb266ed39 (patch) | |
| tree | 9d605a6ca2bd6aa894dc46e18dc86da8298bf61d /pseudocode-lib | |
| parent | 8975d167c849f54664be8d5da418cd909694d26f (diff) | |
feat(library): add experimental string IS_NUM function
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Diffstat (limited to 'pseudocode-lib')
| -rw-r--r-- | pseudocode-lib/README.md | 2 | ||||
| -rw-r--r-- | pseudocode-lib/_exp_string.cc | 9 | ||||
| -rw-r--r-- | pseudocode-lib/_exp_string.cps | 4 |
3 files changed, 15 insertions, 0 deletions
diff --git a/pseudocode-lib/README.md b/pseudocode-lib/README.md index 90fab0e..9182b14 100644 --- a/pseudocode-lib/README.md +++ b/pseudocode-lib/README.md @@ -32,3 +32,5 @@ The library provides `&`, `_EXP_STRING_NUM_TO_STR` (INTEGER/REAL), `_EXP_STRING_ `_EXP_STRING_ASC(S : _EXP_STRING)` returns the unsigned code of the first byte as INTEGER, or 0 for an empty string. Its `(Ch : CHAR)` overload returns the unsigned byte code of Ch. For ASCII characters this is the ASCII code. `_EXP_STRING_CHR(Code : INTEGER)` returns a new `_EXP_STRING` containing the low eight bits of Code as one byte. Unlike built-in STRING, `_EXP_STRING` preserves NUL: `_EXP_STRING_CHR(0)` has length 1. + +`_EXP_STRING_IS_NUM(S : _EXP_STRING)` returns BOOLEAN indicating whether a nonempty string is fully consumed by `strtod`. Leading whitespace is accepted; trailing whitespace, other trailing text, and embedded NUL bytes are rejected. Invalid numeric text returns FALSE without throwing. diff --git a/pseudocode-lib/_exp_string.cc b/pseudocode-lib/_exp_string.cc index ae53ac1..4cfd650 100644 --- a/pseudocode-lib/_exp_string.cc +++ b/pseudocode-lib/_exp_string.cc @@ -1,6 +1,7 @@ #include <algorithm> #include <cctype> #include <cstdio> +#include <cstdlib> #include <exception> #include <stdexcept> #include <string> @@ -127,6 +128,14 @@ void _exp_string_impl_chr(void *Target, long long Code) { text(Target).assign(1, static_cast<char>(static_cast<unsigned char>(Code))); }); } +int _exp_string_impl_is_num(void *Handle) { + return checked([&]() -> int { + const auto &Source = text(Handle); + char *End = nullptr; + std::strtod(Source.c_str(), &End); + return !Source.empty() && End == Source.c_str() + Source.size(); + }); +} void _exp_string_impl_output(void *Handle) { checked([&] { const auto &Text = text(Handle); diff --git a/pseudocode-lib/_exp_string.cps b/pseudocode-lib/_exp_string.cps index 965a251..975a583 100644 --- a/pseudocode-lib/_exp_string.cps +++ b/pseudocode-lib/_exp_string.cps @@ -24,6 +24,7 @@ EXTERN "C" EXTERN_FUNCTION _exp_string_impl_ucase_char(C_CHAR) RETURNS C_CHAR EXTERN "C" EXTERN_FUNCTION _exp_string_impl_asc(_EXP_STRING_HANDLE) RETURNS _EXP_STRING_C_INTEGER EXTERN "C" EXTERN_FUNCTION _exp_string_impl_asc_char(C_CHAR) RETURNS _EXP_STRING_C_INTEGER EXTERN "C" EXTERN_PROCEDURE _exp_string_impl_chr(_EXP_STRING_HANDLE, _EXP_STRING_C_INTEGER) +EXTERN "C" EXTERN_FUNCTION _exp_string_impl_is_num(_EXP_STRING_HANDLE) RETURNS C_INT EXTERN "C" EXTERN_PROCEDURE _exp_string_impl_output(_EXP_STRING_HANDLE) CLASS _EXP_STRING @@ -117,3 +118,6 @@ FUNCTION _EXP_STRING_CHR(Code : INTEGER) RETURNS _EXP_STRING CALL _exp_string_impl_chr(Result._HANDLE, (_EXP_STRING_C_INTEGER)Code) RETURN Result ENDFUNCTION +FUNCTION _EXP_STRING_IS_NUM(S : _EXP_STRING) RETURNS BOOLEAN + RETURN (BOOLEAN)_exp_string_impl_is_num(S._HANDLE) +ENDFUNCTION |