Add domain tracking to time server.

cubesatlab / cubedos

A flight software framework in SPARK/Ada

48 stars 5 forks source link

Add domain tracking to time server. #28

Closed Eric-Edlund closed 1 year ago

Eric-Edlund commented 1 year ago

The time server will now remember the domain associated with tick requests and send ticks to the correct domain.

Not tested, and I don't think there's a point in testing it until we nail down the messaging system.

Replace individual assignment of values with record aggregates
Add subtype of Message_Address with predicate preventing it from being the address of the time server. This is wishful thinking though, because the time server's domain isn't known.

Fixes #24

Eric-Edlund commented 1 year ago

I addressed your two comments but this time I pressed the fix-source-style button in GNAT Studio. I recognize that it's annoying to read commits with lots of unnecessary style changes. Is there a uniform style file for the project somewhere?

The tests all compile.