testcode for 124105

tests/bugs151/pr124105/com/test/IOption.java

@@ -0,0 +1,9 @@
+package com.test;
+
+
+
+
+
+public interface IOption {
+
+}

tests/bugs151/pr124105/com/test/IXOption.java

@@ -0,0 +1,17 @@
+package com.test;
+
+
+
+
+
+
+
+
+
+
+
+
+
+public interface IXOption extends IOption {
+
+}

tests/bugs151/pr124105/com/test/IYOption.java

@@ -0,0 +1,34 @@
+package com.test;
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+public interface IYOption extends IOption {
+
+}

tests/bugs151/pr124105/com/test/IZOption.java

@@ -0,0 +1,4 @@
+package com.test;
+public interface IZOption extends IOption {
+
+}

tests/bugs151/pr124105/com/test/MyBrokenXOption.java

@@ -0,0 +1,10 @@
+package com.test;
+
+
+public class MyBrokenXOption implements IXOption {
+
+	public MyBrokenXOption() {
+		super();
+	}
+
+}

tests/bugs151/pr124105/com/test/MyXOption.java

@@ -0,0 +1,9 @@
+package com.test;
+
+public class MyXOption implements IXOption {
+
+	public MyXOption(OptionType optionType) {
+		super();
+	}
+
+}

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";
+}

tests/bugs151/pr124105/com/test/OptionType.java

@@ -0,0 +1,9 @@
+package com.test;
+
+public class OptionType {
+
+	public OptionType() {
+		super();
+	}
+
+}