Doplneny kontrakty metod