发明公开
- 专利标题: 一种关于模板库编程约定的检查方法
- 专利标题(英): Inspection method for template library programming conventions
-
申请号: CN201510381789.4申请日: 2015-07-03
-
公开(公告)号: CN105022653A公开(公告)日: 2015-11-04
- 发明人: 金海 , 范学鹏 , 廖小飞 , 王思远 , 李陈希
- 申请人: 华中科技大学
- 申请人地址: 湖北省武汉市洪山区珞喻路1037号
- 专利权人: 华中科技大学
- 当前专利权人: 华中科技大学
- 当前专利权人地址: 湖北省武汉市洪山区珞喻路1037号
- 代理机构: 华中科技大学专利中心
- 代理商 廖盈春
- 主分类号: G06F9/45
- IPC分类号: G06F9/45 ; G06F11/36
摘要:
本发明公开了一种关于模板库编程约定的检查方法,属于计算机并行程序设计技术领域。本发明首先将编程约定描述为状态,以及将状态的迁移描述为编程约定中对指定方法的调用;然后将状态实现为类,并在类中编写符合编程约定的方法来供编程人员调用,以保证当编程人员违反编程约定的时候让编译器会停止编译并给出相应提示;预测编程人员可能会出现哪些错误,并在相应的表示状态的类中添加方法,使得当编程人员违反编程约定时能给出相应的提示信息以帮助编程人员检查并修改错误。本发明能够有效提高编程人员编写并行程序的效率。
公开/授权文献
- CN105022653B 一种关于模板库编程约定的检查方法 公开/授权日:2017-12-12