В частности, там нет описания symbol api, которое более подходит к решению этой задачи (в плане удобства разработки диагностики), но и на дереве разбора это тоже можно сделать без особого труда. Приходите к нам в чат, подскажем, если что :)
Ммм, в части решения конкретно задачи проверки имплементации какого либо интерфейса, этож локальная проверка конкретного проекта, бсллс вроде не умеет внешние по отгошению к нему проверки подключать, а добавлять проверку конкретной имплементации конкретного проект прим в общий пул правил ну такое.