diff options
Diffstat (limited to 'tests/new/Counting1.java')
| -rw-r--r-- | tests/new/Counting1.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tests/new/Counting1.java b/tests/new/Counting1.java index 62cb32528..00b145e38 100644 --- a/tests/new/Counting1.java +++ b/tests/new/Counting1.java @@ -1,4 +1,6 @@ import java.util.Vector; + +import org.aspectj.lang.annotation.SuppressAjWarnings; import org.aspectj.testing.*; public class Counting1 { @@ -159,7 +161,7 @@ aspect Mobility { declare precedence: Mobility, MoveTracking; //!!! syntax of this call is slightly different //!!! than in the paper } - + @SuppressAjWarnings("adviceDidNotMatch") void around(int i): args(i) && call(void *gaoijbal()) { if (enableMoves) throw new RuntimeException("bad things"); } |