Em um código-fonte de um programa construído com base na orientação a objetos, há um método M abstrato não-estático em uma classe C. Isso significa que
