ASP CheckerAspectJ干扰检查工具

ASP检查器检查影响方法执行的建议是否符合建议替换原则的工具。作为在安特卫普大学完成的硕士论文的概念证明而开发。有关如何使用该工具的说明以及所执行检查任务的详细说明。ASP检查器使用作为基础，并为AspectJ提供类似的功能。它可以作为AJDT插件使用。

目的

由于面向对象继承中的多态性，切面的执行可能会带来意想不到的后果。如果建议方法的方面不作为行为子类型，它可能会导致执行该方法的代码未知的不良影响。该检查器检索影响方法的所有建议并检查它们是否符合ASP规则。可以指定的合约有：需要确保不变量在无法实现ASP合规性（例如安全性或身份验证）的情况下，可以使用另外一种合同，其中建议的结果可能无法执行最初预期的功能。这是通过使用advisedBy合约来实现的。该合约附加到该方法并在其行为中标记这些变化。

用法

这3个契约可以