diff options
author | Andy Clement <aclement@gopivotal.com> | 2014-11-17 12:09:56 -0800 |
---|---|---|
committer | Andy Clement <aclement@gopivotal.com> | 2014-11-17 12:09:56 -0800 |
commit | bc35a4b7df1cb6562fcd9e3981c99ec6e0f1ceb9 (patch) | |
tree | 21d6a5f71db5b0dc26669611d1190637676d8b6a /tests/bugs185 | |
parent | df7c649b09aec710c62ec10b456e56bef1cf5550 (diff) | |
download | aspectj-bc35a4b7df1cb6562fcd9e3981c99ec6e0f1ceb9.tar.gz aspectj-bc35a4b7df1cb6562fcd9e3981c99ec6e0f1ceb9.zip |
testcode for 451966
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(); + } +} |