预览片段。 获取完整访问权限
Ada编程:可靠、强类型系统编程