diff options
| author | Claire Dross <dross@adacore.com> | 2021-12-01 14:03:23 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-01-05 11:32:35 +0000 |
| commit | c239773dd1892ede85ed936029fd2bf863fbe93a (patch) | |
| tree | 4df47d07bad83df76b346b790bf0b65c00baaf08 /gcc/ada/sem_ch3.adb | |
| parent | a6505936a35e7a5c66e36f7c4e2032c5c7f64838 (diff) | |
| download | gcc-c239773dd1892ede85ed936029fd2bf863fbe93a.zip gcc-c239773dd1892ede85ed936029fd2bf863fbe93a.tar.gz gcc-c239773dd1892ede85ed936029fd2bf863fbe93a.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/sem_ch3.adb')
0 files changed, 0 insertions, 0 deletions