История изменений
Исправление red75prim, (текущая версия) :
Подождал 10 минут, но никаких разъяснений не появилось. Не томите. Что это за семантика ООП такая, которая не находит отражения в скомпилированном коде?
Если что, принцип Лисков - это просто соглашение, которое программисты не обязаны соблюдать. Так что и тут не обойтись без статического анализа кода, который проверит, что этот принцип выполняется (точнее какая-то формализация этого принципа, который сам по себе довольно расплывчат).
Исходная версия red75prim, :
Подождал 10 минут, но никаких разъяснений не появилось. Не томите. Что это за семантика ООП такая, которая не находит отражения в скомпилированном коде?
Если что, принцип Лисков - это просто соглашение, которое программисты не обязаны соблюдать. Так что и тут не обойтись без статического анализа кода, который проверит, что этот принцип сохраняется (точнее какая-то формализация этого принципа, который сам по себе довольно расплывчат).