Com relação à redefinição de métodos em uma linguagem de programação orientada a objetos, considere duas classes X e Y, com Y herdando (sendo uma subclasse) de X. Considere ainda que X define um método, “m”, com um parâmetro de entrada do tipo inteiro e sem parâmetro de retorno. Esse método é redefinido em Y, exatamente com a mesma assinatura e sem invocar qualquer método da superclasse. Finalmente, considere um identificador “x”, declarado com tipo X e inicializado com um objeto do tipo Y.

Nesse contexto, a chamada de método x.m(15) tem o seguinte efeito: