[发明专利]一种形式化代码生成中的效率控制方法及装置有效

专利信息
申请号: 201310162876.1 申请日: 2013-05-06
公开(公告)号: CN103226488A 公开(公告)日: 2013-07-31
发明(设计)人: 孔亮;廖方平;王皓瑜;刘鹏飞;张延堂;齐诚民;罗茜;曹轶;杨骥东;孙令武;张敬;孙伟;程勇;杜腾飞 申请(专利权)人: 中国农业银行股份有限公司
主分类号: G06F9/45 分类号: G06F9/45
代理公司: 北京集佳知识产权代理有限公司 11227 代理人: 王宝筠
地址: 100005 北*** 国省代码: 北京;11
权利要求书: 查看更多 说明书: 查看更多
摘要: 发明公开了一种形式化代码生成中的效率控制方法及装置,该方法包括:接收效率控制规则,效率控制规则包括输入过滤规则、输入过程控制规则以及输出预判规则;接收用户输入的形式化代码;对该代码进行解析,生成解析结果;判断代码是否符合输入过滤规则或输入过程控制规则;根据解析结果判断代码是否通过语法校验;如果代码符合输入过滤规则或输入过程控制规则,且通过语法校验,则保存代码;如果代码不符合输入过滤规则或输入过程控制规则,或没有通过语法校验,则提示错误;在保存后,当接收执行指令时,计算执行结果集,并判断执行结果集是否符合输出预判规则;如果符合输出预判规则,则继续执行;如果不符合输出预判规则,则提示错误。
搜索关键词: 一种 形式化 代码 生成 中的 效率 控制 方法 装置
【主权项】:
一种形式化代码生成中的效率控制方法,其特征在于,所述方法包括:接收效率控制规则,所述效率控制规则包括输入过滤规则、输入过程控制规则以及输出预判规则;接收用户输入的形式化代码;对所述用户输入的形式化代码进行解析,生成解析结果;判断所述形式化代码是否符合所述输入过滤规则或所述输入过程控制规则;根据所述解析结果判断所述形式化代码是否通过语法校验;如果所述形式化代码符合所述输入过滤规则或所述输入过程控制规则,并且所述形式化代码通过语法校验,则保存所述形式化代码;如果所述形式化代码不符合所述输入过滤规则或所述输入过程控制规则,或者所述形式化代码没有通过语法校验,则提示错误;在保存所述形式化代码后,当接收到执行指令时,计算所述形式化代码的执行结果集,并判断所述执行结果集是否符合所述输出预判规则;如果所述执行结果集符合所述输出预判规则,则继续执行所述形式化代码;如果所述执行结果集不符合所述输出预判规则,则提示错误。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。

该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于中国农业银行股份有限公司,未经中国农业银行股份有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服

本文链接:http://www.vipzhuanli.com/patent/201310162876.1/,转载请声明来源钻瓜专利网。

×

专利文献下载

说明:

1、专利原文基于中国国家知识产权局专利说明书;

2、支持发明专利 、实用新型专利、外观设计专利(升级中);

3、专利数据每周两次同步更新,支持Adobe PDF格式;

4、内容包括专利技术的结构示意图流程工艺图技术构造图

5、已全新升级为极速版,下载速度显著提升!欢迎使用!

请您登陆后,进行下载,点击【登陆】 【注册】

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top