diff options
Diffstat (limited to 'tests/bugs')
-rw-r--r-- | tests/bugs/DecwInitializationITD.java | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/bugs/DecwInitializationITD.java b/tests/bugs/DecwInitializationITD.java new file mode 100644 index 000000000..26bab8b9e --- /dev/null +++ b/tests/bugs/DecwInitializationITD.java @@ -0,0 +1,16 @@ + +// The actual ctor that gets put in type 'HW' during compilation is +// HW(String,A) +// This is an artifact of the implementation of ctor ITDing - unfortunately this artifact +// can be seen by the declare warning. So, +// initialization(HW.new(..)) will match our new ctor +// initialization(HW.new(String,A)) will match our new ctor +// initialization(HW.new(String)) will not match ! + +aspect A { + HW.new(String s) {} + declare warning : initialization(HW.new(String,A)) : "Funky ctor found!"; +} + + +class HW {} |