Document
拖动滑块完成拼图
个人中心

预订订单
商城订单
发布专利 发布成果 人才入驻 发布商标 发布需求

请提出您的宝贵建议,有机会获取IP积分或其他奖励

投诉建议

在线咨询

联系我们

龙图腾公众号
专利交易 商标交易 积分商城 国际服务 IP管家助手 科技果 科技人才 会员权益 需求市场 关于龙图腾 更多
 /  免费注册
到顶部 到底部
清空 搜索
当前位置 : 首页 > 专利喜报 > 苏州元脑智能科技有限公司翟连鹏获国家专利权

苏州元脑智能科技有限公司翟连鹏获国家专利权

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

龙图腾网获悉苏州元脑智能科技有限公司申请的专利代码规范检查方法及装置获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119690447B

龙图腾网通过国家知识产权局官网在2026-04-17发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202411591668.8,技术领域涉及:G06F8/41;该发明授权代码规范检查方法及装置是由翟连鹏设计研发完成,并于2024-11-08向国家知识产权局提交的专利申请。

代码规范检查方法及装置在说明书摘要公布了:本发明涉及计算机技术领域,提供一种代码规范检查方法,包括:将待检查的源代码转换成词法单元流,所述词法单元流包括符合源代码对应词法的不同类型的词法单元;基于源代码对应的语法,对所述词法单元流进行移进归约操作,在移进归约操作过程中,对归约输出的目标语句生成二叉树,所述目标语句基于所述源代码对应的语法定义;按待检查规范中定义的规则,基于所述二叉树检查所述目标语句。本发明的方法中,由于仅对按语法归约出的目标语句生成二叉树,基于二叉树对相应的目标语句进行规范检查过程中,相对于传统的语法树,减小了数据存储量,缩短了代码规范检查时间,提高了规范检查效率。

本发明授权代码规范检查方法及装置在权利要求书中公布了:1.一种代码规范检查方法,其特征在于,包括: 将待检查的源代码转换成词法单元流,所述词法单元流包括符合源代码对应词法的不同类型的词法单元; 基于源代码对应的语法,对所述词法单元流进行移进归约操作,在移进归约操作过程中,对归约输出的目标语句生成二叉树,所述目标语句基于所述源代码对应的语法定义; 按待检查规范中定义的规则,基于所述二叉树检查所述目标语句; 在所述目标语句为基本语句的情况下,所述二叉树的根节点用于存储所述基本语句的中间词法单元,两个叶子节点分别存储所述基本语句中中间词法单元两侧的词法单元,所述基本语句由中间词法单元为操作符的三个词法单元组成; 在所述目标语句为组合语句的情况下,所述二叉树为空二叉树,或者所述二叉树的至少一个叶子节点为空; 所述空二叉树的根节点存储目标指针,至少一个叶子节点为空的二叉树的根节点存储所述组合语句的中间词法单元,非空叶子节点存储所述组合语句中中间词法单元一侧的词法单元,空叶子节点存储目标指针; 所述目标指针指向子二叉树,所述子二叉树为存储构成所述组合语句的基本语句的二叉树,或为存储构成所述组合语句的下一级组合语句的二叉树; 其中,基于所述二叉树检查所述目标语句,包括: 在所述二叉树对应的目标语句为基本语句的情况下,基于所述二叉树的根节点中存储的词法单元的类型,确定所述目标语句的语句类别,调用所述语句类别对应的规则函数对所述目标语句进行检查; 在所述二叉树对应的目标语句为组合语句,且所述二叉树的根节点不为空的情况下,基于所述根节点中存储的词法单元的类型,确定所述目标语句的语句类别,调用所述语句类别对应的规则函数对所述目标语句进行检查;或者基于所述二叉树的空叶子节点存储的目标指针定位子二叉树,按所述目标语句的语句类别的规则函数检查所述子二叉树对应的语句; 在所述二叉树对应的目标语句为组合语句,且所二叉树为空二叉树的情况下,基于空二叉树的根节点存储的目标指针定位子二叉树,按所述目标语句的语句类别的规则函数检查所述子二叉树对应的语句; 其中,所述规则函数为待检查规范中定义的规则相应的执行函数。

如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人苏州元脑智能科技有限公司,其通讯地址为:215128 江苏省苏州市吴中经济开发区郭巷街道官浦路1号9幢;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。