668
правок
Изменения
Нет описания правки
Предусловие - должно быть выполнено до исполнения действия.
}}
== Постусловие ==
{{Определение
Инвариант - определяет глобальные свойства некоторого класса, которые должны соблюдаться после его создания на протяжении всего времени жизни.
}}
== Пример ==
<tex>class Time
{
intHOURS;
intMINUTES;
intSECONDS;
getHours();
{
returnHOURS;
}
getMinutes();
{
return MINUTES;
}
getSeconds()
{
return SECONDS;
}
setHours(newHOURS);
{
HOURS = newHOURS;
}
setMinutes(newMINUTES);
{
MINUTES = newMINUTES;
}
setSeconds(newSECONDS)
{
SECONDS = newSECONDS;
}
}</tex>
