[Wolsh]

Не уверен, что понял. Напомню Ваш вопрос: "как проверить, что Класс А наследует Класс В". Ну вот так и проверить, describeType() возвращает описание класса, в котором в частности перечислены все его предки (методы и свойства тоже, но речь сейчас не о них). Другого способа узнать о наследовании, не создавая экземпляра, нет. Все Классы имеют один тип — Class. Экземпляры же имеют все типы из цепочки наследования, поэтому их можно проверить на принадлежность к определенному типу.

Но думаю, этот вопрос у Вас отпал, когда Вы разобрались, что статические методы не наследуются, а значит и никакой гарантии наличия метода у наследника все равно не будет. )))))