Na programação orientada a objetos, a definição de um método compreende especificação (a sua
Na programação orientada a objetos, a definição de um método compreende especificação (a sua assinatura) e implementação (o seu corpo). Há situaçôes em que é possível afirmar que uma classe deve ter um método com determinada especificação, mas nada pode se afirmar sobre seu comportamento. Para esses casos, é possível definir que a classe tem esse método como:
