全局变量定义包含在程序包实施文件中,位于检测方法定义之后。例如,家庭供暖系统样本中的全局变量 dT 定义在 Default 程序包的实施文件中,如下所示:
int dT; /*## attribute dT */