source

vaton

0.1.0

Verified Ascii To Number conversion written in Ada/SPARK

GitHub Community CIResults Version page Download JSON

0.1.0

This library offers formally verified functions to convert character streams into the smallest standard type representation the resulting number may fit in. The allowed formats are based on the JSON-Number format, with the addition to allow single underscores between digits.

Note: Only decimal based numbers are supported!

Examples:

-10_000 -> Standard.Integer
1.0 -> Standard.Float
1e4 -> Standard.Float
Authors
Manuel Hatzl
Maintainers
Manuel Hatzl <hatzlmanuel@outlook.com>
Maintainer profiles
@mhatzl
Licenses
MIT
Website
https://github.com/mhatzl/vaton
Repository
github.com/mhatzl/vaton
Source revision
c07eed4c36f9
Tags
spark
Manifest
index/va/vaton/vaton-0.1.0.toml
Build and platform metadata 1 field
Build switches
{
  "*": {
    "ada_version": "Ada2022",
    "style_checks": "No"
  },
  "validation": {
    "compile_checks": "Warnings"
  }
}