aboutsummaryrefslogtreecommitdiffstats
path: root/tests/multiIncremental/pr329111/base
diff options
context:
space:
mode:
Diffstat (limited to 'tests/multiIncremental/pr329111/base')
-rw-r--r--tests/multiIncremental/pr329111/base/src/AJ.java12
-rw-r--r--tests/multiIncremental/pr329111/base/src/AJ2.java20
2 files changed, 32 insertions, 0 deletions
diff --git a/tests/multiIncremental/pr329111/base/src/AJ.java b/tests/multiIncremental/pr329111/base/src/AJ.java
new file mode 100644
index 000000000..9bbb2be5a
--- /dev/null
+++ b/tests/multiIncremental/pr329111/base/src/AJ.java
@@ -0,0 +1,12 @@
+public aspect AJ {
+
+ class X{}
+ interface Y {}
+
+ declare parents : X implements Y;
+ declare soft : Exception : execution(void x());
+
+ void x() {
+ throw new Exception();
+ }
+}
diff --git a/tests/multiIncremental/pr329111/base/src/AJ2.java b/tests/multiIncremental/pr329111/base/src/AJ2.java
new file mode 100644
index 000000000..6ae24484c
--- /dev/null
+++ b/tests/multiIncremental/pr329111/base/src/AJ2.java
@@ -0,0 +1,20 @@
+public aspect AJ2 {
+
+ class X{}
+ interface Y {}
+
+ declare soft : Exception : execution(void x());
+ declare parents : X implements Y;
+ declare soft : Exception : execution(void y());
+ declare soft : Exception : execution(void z());
+
+ void x() {
+ throw new Exception();
+ }
+ void y() {
+ throw new Exception();
+ }
+ void z() {
+ throw new Exception();
+ }
+}