diff options
| author | aclement <aclement> | 2008-02-19 18:51:58 +0000 |
|---|---|---|
| committer | aclement <aclement> | 2008-02-19 18:51:58 +0000 |
| commit | 9c4979953901dbc398638338fa77313db6b5ebff (patch) | |
| tree | bd0a3e9d36e9e64e3f0e5d3dba36b2da3e08a502 | |
| parent | 7e51c31ea8ebf3ef47578109e26aa257537ab518 (diff) | |
| download | aspectj-9c4979953901dbc398638338fa77313db6b5ebff.tar.gz aspectj-9c4979953901dbc398638338fa77313db6b5ebff.zip | |
219298: testcode
| -rw-r--r-- | tests/bugs160/pr219298/TestMarkers2.java | 12 | ||||
| -rw-r--r-- | tests/src/org/aspectj/systemtest/ajc160/Ajc160Tests.java | 4 | ||||
| -rw-r--r-- | tests/src/org/aspectj/systemtest/ajc160/ajc160.xml | 10 |
3 files changed, 25 insertions, 1 deletions
diff --git a/tests/bugs160/pr219298/TestMarkers2.java b/tests/bugs160/pr219298/TestMarkers2.java new file mode 100644 index 000000000..7b6259d73 --- /dev/null +++ b/tests/bugs160/pr219298/TestMarkers2.java @@ -0,0 +1,12 @@ +public class TestMarkers2 { + public class SuperGenericsType {} + + public class SubGenericsType + //Following line would produce correct code + extends SuperGenericsType + {} + + public class Super<T extends SuperGenericsType> {} + + public class Sub extends Super<SubGenericsType> {} +}
\ No newline at end of file diff --git a/tests/src/org/aspectj/systemtest/ajc160/Ajc160Tests.java b/tests/src/org/aspectj/systemtest/ajc160/Ajc160Tests.java index 4e5aa1eea..56a16772b 100644 --- a/tests/src/org/aspectj/systemtest/ajc160/Ajc160Tests.java +++ b/tests/src/org/aspectj/systemtest/ajc160/Ajc160Tests.java @@ -19,7 +19,9 @@ import junit.framework.Test; * These are tests for AspectJ1.6.0 */ public class Ajc160Tests extends org.aspectj.testing.XMLBasedAjcTestCase { - + + public void testBoundsCheckShouldFail_pr219298() { runTest("bounds check failure");} + public void testBoundsCheckShouldFail_pr219298_2() { runTest("bounds check failure - 2");} public void testDecFieldProblem_pr218167() { runTest("dec field problem");} public void testGenericsSuperITD_pr206911() { runTest("generics super itd"); } public void testGenericsSuperITD_pr206911_2() { runTest("generics super itd - 2"); } diff --git a/tests/src/org/aspectj/systemtest/ajc160/ajc160.xml b/tests/src/org/aspectj/systemtest/ajc160/ajc160.xml index ee5e64137..7fc993fc2 100644 --- a/tests/src/org/aspectj/systemtest/ajc160/ajc160.xml +++ b/tests/src/org/aspectj/systemtest/ajc160/ajc160.xml @@ -3,6 +3,16 @@ <!-- AspectJ v1.6.0 Tests --> <suite> + <ajc-test dir="bugs160/pr219298" title="bounds check failure"> + <compile options="-1.5" files="TestMarkers.java"> + <message kind="error" line="11" text="Bound mismatch: The type TestMarkers.SubGenericsType is not a valid substitute for the bounded"/> + </compile> + </ajc-test> + + <ajc-test dir="bugs160/pr219298" title="bounds check failure - 2"> + <compile options="-1.5" files="TestMarkers2.java"/> + </ajc-test> + <ajc-test dir="bugs160/pr218167" title="dec field problem"> <compile options="-1.5" files="Test.java"> <message kind="warning" text="already has an annotation of type A, cannot add a second instance"/> |