[发明专利]一种避免行为层组合时行为变体重复编织的处理方法

摘要

本发明公开了一种面向上下文编程中避免行为层组合时行为变体重复编织的处理方法。例如，JCOP声明式行为层组合，虽然支持对程序中多个方法编织行为层激活语句，但现有的编织方法通常采用向每个指定的方法调用处插入激活语句来实现此能力。如果两个方法在运行时刻存在调用关系，则会造成激活语句的重复编织，从而有可能导致程序不能正常运行，甚至发生不可预期的错误。本发明首先基于抽象语法树构造源程序的调用关系图，并在此基础上提供了一个调用关系检测方法，用于判断两个行为变体对应的方法之间是否存在调用关系，通过在有调用关系的行为变体相应语句中插入监控语句，来有效地避免行为变体重复编织的问题。

主权项

一种面向上下文编程中的避免行为层组合时行为变体重复编织的处理方法，其特征在于，包括：在源程序的抽象语法树上构造静态调用关系图，基于此静态调用关系图检测行为变体对应的方法之间是否存在调用关系，借助面向剖面编程的监控运行时刻控制流功能，避免了行为变体重复编织的问题；基于抽象语法树结构的静态调用关系图构造：基于类结构分析的结果，借助JastAdd框架的属性文法实现；基于静态调用关系图的调用关系检测：按照广度优先方式遍历静态调用关系图，逐步建立节点的传递闭包，判断方法之间是否存在调用关系；在源程序的抽象语法树上构造整个程序的静态调用关系图，进而检测方法之间的调用关系；面向剖面编程支持监控运行时刻控制流的关注点(pointcut)，借助面向剖面编程的这个功能，根据是否存在调用关系决定是否插入监控语句，通过对有调用关系的行为变体相应语句中插入监控语句,避免激活语句的重复编织引起的行为层重复激活的问题；静态调用关系图建立在程序的抽象语法树中，是抽象语法树的一部分，可通过抽象语法树的根节点进行访问；静态调用关系图基于类结构分析的结果，借助JastAdd框架的属性文法实现：利用综合属性收集静态调用关系图的入口信息，利用非终结属性构建静态调用关系图中的节点，利用非终结属性以及JastAddJ编译器现有的名字分析建立表示方法调用关系的有向边。