Получение типа экземпляра
У каждого производного типа существует метод ПолучитьТип(), наследуемый от типа Объект, который возвращает значение типа Тип. Из этого следует, что у любого экземпляра можно вызвать метод ПолучитьТип(). Это хороший пример наследования контракта.
Для того чтобы получить список базовых типов конкретного типа, у экземпляра типа Тип используется свойство БазовыеТипы.