Expand description
The synchronous state machine for the receiving-side of a CFDP transaction.
This module contains the ReceiverMachine, which processes Events and
produces Actions. It is responsible for handling incoming file data,
tracking missing segments, and sending acknowledgments back to the sender.
It is designed to be completely independent of the underlying I/O and timing
mechanisms, making it portable and easily testable.
Modules§
- action
- Output actions produced by the receiver state machine.
- event
- Input events that drive the receiver state machine.
- transaction
- Transaction state and configuration for the receiver. Contains the transaction data structures specific to the receiver state machine.
Structs§
- Receiver
Machine - Manages the state of all active receiving (‘destination’) transactions.