aboutsummaryrefslogtreecommitdiffstats
path: root/tests/bugs/DecwInitializationITD.java
blob: 26bab8b9e8ac63fa6ccee2cb0371f9f77c0a7f4e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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 {}