diff options
Diffstat (limited to 'tests/bugs185')
-rw-r--r-- | tests/bugs185/451966/Code.java | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/bugs185/451966/Code.java b/tests/bugs185/451966/Code.java new file mode 100644 index 000000000..7a60ede4c --- /dev/null +++ b/tests/bugs185/451966/Code.java @@ -0,0 +1,16 @@ + +interface Common { } + +interface Allergies extends Common { } + +aspect Y { + private boolean Common.instancesInvariant() { + return false; + } +} + +privileged aspect AspectJMLRac_allergies_Allergies { + before(final Allergies object$rac): execution(* Allergies+.*(..)) && this(object$rac) { + boolean b = object$rac.instancesInvariant(); + } +} |