source

adacl_serial

8.0.0

AdaCL embedded: SPARK-friendly serial character and string I/O

Website Community CIResults All crate versions Download JSON

8.0.0

Thin, SPARK-friendly helpers for character and string I/O on a GNAT.Serial_Communications port.

The package is deliberately compact - it contains only AdaCL.Serial_IO.

It extends GNAT.Serial_Communications.Serial_Port (itself a descendant of Ada.Streams.Root_Stream_Type) with a null-record derivation, turning the type into a true class. Consequently all operations can be written with the convenient Class.Method syntax (Port.Get, Port.Put_Line, Port.Expect, ...).

Provided facilities:

  • Conversion helpers between Stream_Element / Stream_Element_Array and Character / String
  • Classic Get / Put / Get_Line / Put_Line operations
  • High-level Expect procedures (discard or capture skipped text until a given sequence arrives)
  • Full SPARK contracts; the package is proven to SPARK bronze level

Intended for console-style protocols used by classic and modern retro calculators (SwissMicros DM-series, HP-IL emulators, etc.).

Licensed under the GNU Library General Public License version 3 (or later). Integrates with the Ada Class Library (AdaCL).

Authors
Martin Krischik <krischik@users.sourceforge.net>
Maintainers
Martin Krischik <krischik@users.sourceforge.net>
Maintainer profiles
@krischik
Licenses
GPL-3.0-or-later
Website
https://sourceforge.net/projects/adacl/
Release archive
sourceforge.net/projects/adacl/files/Alire/adacl_serial-8.0.0.tgz
Tags
library, serial, io, streams, communication, spark, ada2022, embedded
Manifest
index/ad/adacl_serial/adacl_serial-8.0.0.toml
Build and platform metadata 4 fields
Build switches
{
  "*": {
    "ada_version": "Ada2022",
    "source_encoding": "UTF_8"
  },
  "development": {
    "compile_checks": "Warnings",
    "contracts": "Yes",
    "debug_info": "Yes",
    "optimization": "Debug",
    "runtime_checks": "Overflow"
  },
  "release": {
    "compile_checks": "Warnings",
    "contracts": "No",
    "debug_info": "No",
    "optimization": "Performance",
    "runtime_checks": "Default"
  },
  "validation": {
    "compile_checks": "Warnings",
    "contracts": "Yes",
    "debug_info": "Yes",
    "optimization": "Debug",
    "runtime_checks": "Everything"
  }
}
Configuration
{
  "variables": {}
}
Actions
[
  {
    "case(os)": {
      "...": {},
      "linux": {
        "command": [
          "/bin/bash",
          "ci-verify.sh"
        ],
        "directory": ".",
        "type": "test"
      },
      "macos": {
        "command": [
          "/bin/bash",
          "ci-verify.sh"
        ],
        "directory": ".",
        "type": "test"
      },
      "windows": {
        "command": [
          "powershell",
          "-ExecutionPolicy",
          "Bypass",
          "-File",
          "ci-verify.ps1"
        ],
        "directory": ".",
        "type": "test"
      }
    }
  }
]
Additional origin data
{
  "hashes": [
    "sha256:fcb3e317c3dfd6330085f9db7fbcf2c30906e8007fec0b201db951cf8d05911e",
    "sha512:f35a6bbc6ea9484b0ebece8c4bfa1dba775816fa5cd1a4d1b23a8c1913130d483d669952aad3319cefd13a89420839b99389256c141cd1ef14b587528e55cd68"
  ]
}