ASP CheckerAspectJ干扰检查器

ASP检查器检查影响方法执行的建议是否符合建议替换原则（ASP）的工具。该工具作为在安特卫普大学完成的硕士论文的概念证明而开发。ASP检查器基于AspectJ并为其提供类似功能，可以作为AJDT插件使用。\

\

目的：由于面向对象编程中的多态性，切面的执行可能会带来意想不到的后果。特别是如果建议方法的切面不是作为行为子类型，可能会导致执行该方法的代码产生未知的不良影响。\

该检查器检索所有影响方法的建议，并检查它们是否符合ASP规则。\

\

可指定的合约有：\

• 不变量合约：在无法实现ASP合规性（如安全性或身份验证）时，可以使用其他合约，允许建议的结果不一定能执行最初预期的功能。这是通过使用advisedBy合约来实现的，合约会附加到该方法并标记这些变化。\

\

用法：该工具支持三种契约类型，并提供详细的检查与使用说明。