一种Ada编程语言的子程序规格化定义及调用方法技术

本发明专利技术涉及一种Ada编程语言的子程序规格化定义及调用方法，其采用把子程序的多个相同或不同类型的形式参数统一转化为一个形式参数，这个形式参数的类型为地址数组的访问类型，该访问类型相当于指针，该方法使子程序的定义得到统一；在子程序调用时，由于所有子程序使用的是统一的规格化的子程序定义。本发明专利技术取得了子程序调用可灵活替换效果，且与具体软件运行平台无关，具有广泛的适用性。

【技术实现步骤摘要】
一种Ada编程语言的子程序规格化定义及调用方法
本专利技术涉及软件编程的规格化技术，特别是涉及一种Ada编程语言的子程序规格化定义及调用方法。
技术介绍
按照Ada编程语言的标准定义，子程序有函数调用和过程两种形式，函数调用有返回值，过程没有返回值。函数调用和过程都可以包含或不包含形式参数，形式参数的参数方式表达了和实参信息转换的方向：in，inout和out，方式in是缺省的。因此，程序员在编程时，不同的程序员会按照各自的喜好来定义子程序的形式，所以子程序的定义没有一个标准的统一形式。子程序调用是按照其形式进行的，因没有标准的统一形式，所以其调用也是不可互换的，因此子程序调用的灵活性和可替换性受到极大的限制。综上所述，需要采用一种子程序规格化定义方法解除这种限制，所以本专利技术提供了一种Ada编程语言的子程序规格化定义方法，且目前并没有发现同本专利技术类似技术的说明或报道，也尚未收集到国内外类似的资料。
技术实现思路
本专利技术的目的是提供一种Ada编程语言的子程序规格化定义及调用方法，通过使子程序的定义得到统一，解决了子程序调用时灵活性和可替换性的限制，并具有广泛的适用性。本专利技术本文档来自技高网...

【技术保护点】
一种Ada编程语言的子程序规格化定义及调用方法，其特征在于，其通过一个或多个处理器来执行以下步骤：a、规格化一个子程序：把规格化前的子程序中的一个或多个相同类型或不同类型的形式参数转化为规格化形式参数；b、多个子程序的规格化：对于多个子程序，重复所述步骤a，完成所有子程序的规格化；c、子程序的形式参数的赋值：子程序调用前，把规格化前的每个子程序的每个形式参数的地址按照顺序赋值给一个地址数组，将所述地址数组的地址传递给规格化后的子程序的规格化形式参数；d、规格化后的子程序调用：对于多个子程序，通过规格化形式参数，对每个子程序按照顺序进行调用；e、对规格化后的子程序进行替换。

【技术特征摘要】
1.一种Ada编程语言的子程序规格化定义及调用方法，其特征在于，其通过一个或多个处理器来执行以下步骤：a、规格化一个子程序：把规格化前的子程序中的一个或多个相同类型或不同类型的形式参数转化为规格化形式参数；b、多个子程序的规格化：对于多个子程序，重复所述步骤a，完成所有子程序的规格化；c、子程序的形式参数的赋值：子程序调用前，把规格化前的每个子程序的每个形式参数的地址按照顺序赋值给一个地址数组，将所述地址数组的地址传递给规格化后的子程序的规格化形式参数；d、规格化后的子程序调用：对于多个子程序，通过规格化形式参数，对每个子程序按照顺序进行调用；e、对规格化后的子程序进行替换。2.如权利要求1所述的一种Ada编程语言的子程序规格化定义及调用方法，其特征在于，规格化后的每个子程序仅含有一个规格化形式参数。3.如权利要求1所述的一种Ada编程语言的子程序规格化定义及调用方法，其特征在于，所述规格化形式参数的类型为所述地址数组的访问类型。4.如权利要求1所述的一种Ada编程语言的子程序规格化定义及调用方法，其特征在于，定义的所述地址数组为通用地址数组。5.如权利要求1所述的一种Ada编程语言的子程序规格化定义及调用方法，其特征在于，所述步骤a中，规格化子程序的方法为：a1：定义地址数组的类型；a2：定义地址数组的访问类型；定义地址...

【专利技术属性】
技术研发人员：朱晏庆，俞洁，沈怡颹，林荣峰，马雪阳，孟其琛，何益康，
申请(专利权)人：上海航天控制技术研究所，
类型：发明
国别省市：上海,31