10、ASIS-for-GNAT实践经验报告

ASIS-for-GNAT实践经验报告

1. 引言

Ada语义接口规范（ASIS）是Ada环境与任何需要从该环境获取静态可确定信息的工具或应用程序之间的接口。ASIS定义了几种类型，如Context表示Ada环境，Compilation_Unit表示Ada编译单元，Element对语法结构（如声明、语句、表达式等）进行建模。对这些类型的操作及其调用结果在ASIS术语中称为“查询”。

作者参与ASIS相关活动已有五年多，大部分时间用于开发和维护针对GNAT Ada 95编译系统的ASIS实现，即ASIS - for - GNAT，同时也参与了ASIS ISO标准的开发、教学、技术支持以及基于ASIS的工具开发。现在是分享ASIS经验的好时机，希望能对其他使用ASIS的人有所帮助，并推动ASIS技术的进一步发展。

2. 历史

2.1 ASIS的发展历程

• 20世纪80年代中期，Rational Software Corporation开发了ASIS的第一个版本，以满足开发支持Ada程序各个生命周期阶段工具的需求。随后，ASIS被应用于其他Ada 83编译器，ACM SIGAda ASIS工作组也随之成立。ASIS 1.1.1版本成为Ada 83的事实上的标准，通常称为ASIS 83。
• 在1995年新的ISO Ada标准发布之前，ASIS工作组就开始将ASIS 83适配到修订后的Ada定义。1994年，推出了针对Ada 95的ASIS定义的第一个版本，即ASIS 95，并启动了多个ASIS实现项目，包括ASIS - for - GNAT。1998年底，ASIS 95的ISO标准被采纳，并于1999年初正