申请/专利权人:甲骨文国际公司
申请日:2018-04-09
公开(公告)日:2020-01-10
公开(公告)号:CN110678839A
主分类号:G06F8/41(20060101)
分类号:G06F8/41(20060101);G06F11/36(20060101)
优先权:["20170408 US 62/483,342","20180406 US 15/947,432"]
专利状态码:有效-授权
法律状态:2023.09.05#授权;2020.04.24#实质审查的生效;2020.01.10#公开
摘要:公开了用于基于流的范围界定的技术。相同级别代码段序列中的第一代码段封装第一较低级别词法范围。第一较低级别范围包括为相同级别代码段序列提供的范围界定。第一代码段包括条件和未初始化变量。如果第一代码段被执行,则使得条件被评估。如果条件被满足,则未初始化变量被初始化,并且使未初始化变量仅在第一较低级别词法范围内可用。如果第二代码段a引用未初始化变量,并且b在相同级别代码段序列中或在第一较低级别词法范围之外的第二较低级别词法范围中,则呈现指示未初始化变量在第二代码段的范围之外的错误消息。
主权项:1.一种包括指令的非暂态计算机可读介质,所述指令在由一个或多个硬件处理器执行时,使得执行包括以下的操作:在词法范围界定期间,确定相同级别代码段序列中的第一代码段封装第一较低级别词法范围,其中,词法范围界定包括基于至少一个词法构造来确定其中一个或多个变量能用于使用的至少一个词法范围,所述至少一个词法构造封装其中所述一个或多个变量被声明的一个或多个代码段,其中,所述第一较低级别范围包括为所述相同级别代码段序列提供的范围界定,其中,所述第一代码段包括条件和一个或多个未初始化变量,其中,所述第一代码段的执行如果被执行,则使得所述条件被评估,并且如果所述条件被满足,则使得所述一个或多个未初始化变量被初始化并使所述一个或多个未初始化变量仅在所述第一较低级别词法范围内能用;确定第二代码段a引用所述一个或多个未初始化变量,并且b在所述相同级别代码段序列中或者在所述第一较低级别词法范围之外的第二较低级别词法范围中;以及呈现指示所述一个或多个未初始化变量在所述第二代码段的范围之外的错误消息。
全文数据:
权利要求:
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。