我正在实现对 java 语言的不变量扩展。我正在为我的新语言实现解析器,并将 AST 注释为中间表示。现在我正在考虑使用 AspectJ 来控制在访问 AST 以控制变量时注入代码的位置,但我发现了一个问题。AspectJ 没有局部变量的连接点。具有此功能的 aspectj 或其他方面编程框架是否有任何扩展?
问候
我正在实现对 java 语言的不变量扩展。我正在为我的新语言实现解析器,并将 AST 注释为中间表示。现在我正在考虑使用 AspectJ 来控制在访问 AST 以控制变量时注入代码的位置,但我发现了一个问题。AspectJ 没有局部变量的连接点。具有此功能的 aspectj 或其他方面编程框架是否有任何扩展?
问候