testcode for 124105

diff --git a/tests/bugs151/pr124105/com/test/IOption.java b/tests/bugs151/pr124105/com/test/IOption.java
new file mode 100644 (file)
index 0000000..38cda69
--- /dev/null
+++ b/tests/bugs151/pr124105/com/test/IOption.java
@@ -0,0 +1,9 @@
+package com.test;
+
+
+
+
+
+public interface IOption {
+
+}

diff --git a/tests/bugs151/pr124105/com/test/IXOption.java b/tests/bugs151/pr124105/com/test/IXOption.java
new file mode 100644 (file)
index 0000000..afddf59
--- /dev/null
+++ b/tests/bugs151/pr124105/com/test/IXOption.java
@@ -0,0 +1,17 @@
+package com.test;
+
+
+
+
+
+
+
+
+
+
+
+
+
+public interface IXOption extends IOption {
+
+}

diff --git a/tests/bugs151/pr124105/com/test/IYOption.java b/tests/bugs151/pr124105/com/test/IYOption.java
new file mode 100644 (file)
index 0000000..324d1c9
--- /dev/null
+++ b/tests/bugs151/pr124105/com/test/IYOption.java
@@ -0,0 +1,34 @@
+package com.test;
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+public interface IYOption extends IOption {
+
+}

diff --git a/tests/bugs151/pr124105/com/test/IZOption.java b/tests/bugs151/pr124105/com/test/IZOption.java
new file mode 100644 (file)
index 0000000..39b1e29
--- /dev/null
+++ b/tests/bugs151/pr124105/com/test/IZOption.java
@@ -0,0 +1,4 @@
+package com.test;
+public interface IZOption extends IOption {
+
+}

diff --git a/tests/bugs151/pr124105/com/test/MyBrokenXOption.java b/tests/bugs151/pr124105/com/test/MyBrokenXOption.java
new file mode 100644 (file)
index 0000000..d718d23
--- /dev/null
+++ b/tests/bugs151/pr124105/com/test/MyBrokenXOption.java
@@ -0,0 +1,10 @@
+package com.test;
+
+
+public class MyBrokenXOption implements IXOption {
+
+       public MyBrokenXOption() {
+               super();
+       }
+
+}

diff --git a/tests/bugs151/pr124105/com/test/MyXOption.java b/tests/bugs151/pr124105/com/test/MyXOption.java
new file mode 100644 (file)
index 0000000..5cd8404
--- /dev/null
+++ b/tests/bugs151/pr124105/com/test/MyXOption.java
@@ -0,0 +1,9 @@
+package com.test;
+
+public class MyXOption implements IXOption {
+
+       public MyXOption(OptionType optionType) {
+               super();
+       }
+
+}

diff --git a/tests/bugs151/pr124105/com/test/OptionAspect.aj b/tests/bugs151/pr124105/com/test/OptionAspect.aj
new file mode 100644 (file)
index 0000000..e7effec
--- /dev/null
+++ b/tests/bugs151/pr124105/com/test/OptionAspect.aj
@@ -0,0 +1,11 @@
+package com.test;
+
+public aspect OptionAspect {
+          interface IBadOptionSubtype {};
+
+           declare parents : (IOption+ && !IOption && !IXOption && !IYOption && !IZOption) && !hasmethod(new(OptionType))
+                                    implements IBadOptionSubtype;
+
+           declare error : staticinitialization(IOption+ && IBadOptionSubtype+)
+               : "IOption implementations must provide a constructor which accepts an OptionType";
+}

diff --git a/tests/bugs151/pr124105/com/test/OptionType.java b/tests/bugs151/pr124105/com/test/OptionType.java
new file mode 100644 (file)
index 0000000..ba4dfbf
--- /dev/null
+++ b/tests/bugs151/pr124105/com/test/OptionType.java
@@ -0,0 +1,9 @@
+package com.test;
+
+public class OptionType {
+
+       public OptionType() {
+               super();
+       }
+
+}