projects / test_jj.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a650593) | patch
[Ada] Introduce expression functions for contract of Scan_Exponent
authorClaire Dross <dross@adacore.com>
Wed, 1 Dec 2021 13:03:23 +0000 (14:03 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 5 Jan 2022 11:32:35 +0000 (11:32 +0000)
commitc239773dd1892ede85ed936029fd2bf863fbe93a
tree4df47d07bad83df76b346b790bf0b65c00baaf08tree | snapshot
parenta6505936a35e7a5c66e36f7c4e2032c5c7f64838commit | diff
[Ada] Introduce expression functions for contract of Scan_Exponent

gcc/ada/

* libgnat/s-valuti.ads (Starts_As_Exponent_Format_Ghost): Ghost
function to determine if a string is recognized as something
which might be an exponent.
(Is_Opt_Exponent_Format_Ghost): Ghost function to determine if a
string has the correct format for an optional exponent.
(Scan_Exponent): Use ghost functions to factorize contracts.
gcc/ada/libgnat/s-valuti.ads diff | blob | history