Possible?

[Ary Borenszweig]

How can I know at compile time if all of the following are true for a 
given symbol s:
 1. s is a function
 2. the return type is a class that extends from class foo.Bar
 3. the function has three arguments and it is not variadic
 4. the first argument is an int
 5. the second argument is a struct
 6. the third argument is an associative array with char[] key and 
float value