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