Ada：如何组织嵌套包

假设我们有一辆车，它从 IMU 获取它的位置。IMU 包由几个私有组件组成，它编排这些组件以计算车辆在空间中的状态：

with IMU; use IMU;
Package Vehicle is
...
end vehicle;
Package IMU is
type Attitude is record
Lat, Lon: Angle;
Pitch, Roll, Yaw: Angle;
GroundSpeed: Speed;
...
end record function Get_Position return Attitude is ... Package GPS is
...
end GPS; Package Accelerometer is
...
end Accelerometer; Package Gyro is
...
end Gyro;
end IMU;


GPS、加速度计和陀螺仪的内部结构仅在 IMU 环境中有意义；它们必须完全隐藏在 Vehicle 之外。

在单个源文件中声明 IMU 及其所有子组件将难以阅读和维护；我希望每个子组件都在它自己的源文件中。如果我在 IMU 级别对它们进行编码，则车辆将能够访问 GPS，这是错误的。

构建嵌套包的最佳实践是什么？

回答