diff options
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/bugs163/pr253109/CodeThree.java | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tests/bugs163/pr253109/CodeThree.java b/tests/bugs163/pr253109/CodeThree.java new file mode 100644 index 000000000..821eb3827 --- /dev/null +++ b/tests/bugs163/pr253109/CodeThree.java @@ -0,0 +1,13 @@ +import java.util.*; + +public aspect CodeThree { + before(): execution(* CodeThree.*(..)) && args(List<Integer>) {} // yes + before(): execution(* CodeThree.*(..)) && args(ArrayList<Integer>) {} // yes - runtime check + before(): execution(* CodeThree.*(..)) && args(List<Number>) {} // no + before(): execution(* CodeThree.*(..)) && args(ArrayList<Number>) {} // no + before(): execution(* CodeThree.*(..)) && args(List<? extends Number>) {} // yes + before(): execution(* CodeThree.*(..)) && args(ArrayList<? extends Number>) {} // yes - runtime check + + void m(List<Integer> li) {} + +} |