[发明专利]一种Ada编程语言的子程序规格化定义及调用方法有效
| 申请号: | 201710812573.8 | 申请日: | 2017-09-11 | 
| 公开(公告)号: | CN107562463B | 公开(公告)日: | 2020-10-27 | 
| 发明(设计)人: | 朱晏庆;俞洁;沈怡颹;林荣峰;马雪阳;孟其琛;何益康 | 申请(专利权)人: | 上海航天控制技术研究所 | 
| 主分类号: | G06F8/10 | 分类号: | G06F8/10;G06F8/30;G06F8/36 | 
| 代理公司: | 上海信好专利代理事务所(普通合伙) 31249 | 代理人: | 朱成之;周乃鑫 | 
| 地址: | 200233 *** | 国省代码: | 上海;31 | 
| 权利要求书: | 查看更多 | 说明书: | 查看更多 | 
| 摘要: | |||
| 搜索关键词: | 一种 ada 编程 语言 子程序 规格化 定义 调用 方法 | ||
1.一种Ada编程语言的子程序规格化定义及调用方法,其特征在于,其通过一个或多个处理器来执行以下步骤:
a、规格化一个子程序:把规格化前的子程序中的一个或多个相同类型或不同类型的形式参数转化为规格化形式参数;
b、多个子程序的规格化:对于多个子程序,重复所述步骤a,完成所有子程序的规格化;
c、子程序的形式参数的赋值:子程序调用前,把规格化前的每个子程序的每个形式参数的地址按照顺序赋值给一个地址数组,将所述地址数组的地址传递给规格化后的子程序的规格化形式参数;
d、规格化后的子程序调用:对于多个子程序,通过规格化形式参数,对每个子程序按照顺序进行调用;
e、对规格化后的子程序进行替换;
规格化后的每个子程序仅含有一个规格化形式参数;
所述规格化形式参数的类型为所述地址数组的访问类型;
定义的所述地址数组为通用地址数组;
所述步骤a中,规格化子程序的方法为:
a1:定义地址数组的类型;
a2:定义地址数组的访问类型;定义地址数组变量,其用于存放规格化前的多个子程序的形式参数的地址;
a3:定义带有访问类型的规格化形式参数的子程序访问类型;
a4:定义所述子程序访问类型的数组变量,其用于存放多个子程序的地址;
所述步骤c中,子程序的形式参数赋值的方法为:
c1:定义强制类型转换函数,将访问子程序的形式参数的类型转换成访问所述转换函数的类型;
c2:子程序包含有转换函数类型的多个形式参数;
c3:将规格化形式参数指向的第一个地址对应的参数传递给子程序的第一形式参数;将规格化形式参数指向的第二个地址对应的参数传递给子程序的第二形式参数,依次进行下去,直至完成子程序的所有的形式参数的赋值;所述步骤d中,规格化后的子程序调用方法为:
d1:定义一个调用主程序;
d2:对地址数组变量的各个分量进行初始化;
d3:对子程序访问类型的数组变量进行赋值,将子程序的地址赋值给子程序访问类型的数组变量;
d4:通过循环方式按照顺序对子程序进行调用;
对规格化后的子程序进行替换的方法是通过改变子程序的地址和子程序的地址数组,子程序调用的位置不变。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于上海航天控制技术研究所,未经上海航天控制技术研究所许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/pat/books/201710812573.8/1.html,转载请声明来源钻瓜专利网。





