механизъм за отстраняване на грешки твърдение за Java, блог за криптиране

Борбата за качеството на програмите, извършени по всички възможни начини. На етапа на отстраняване на грешки е доволен, но това е трудно да се намери скритите грешки във функционирането приложение. Така например, в метода за определяне на възрастта на потребителя, информация възраст се извлича от външен източник (файл, база данни), а резултатът е отрицателна величина. Освен това, невалидни данни се отразяват при изчисляването на средната възраст на потребителя и т.н. Идентифициране и поправен-lyat такива ситуации позволява механизма от претенции самоличност (твърдение). Чрез използването на този механизъм може да бъде формулиран изисквания за въвеждане, извеждане и междинен клас данни методи под формата на определени условия логика.

Опитвайки се да се справи с положението на възникване на отрицателна годишна възраст може да изглежда така:

Int възраст = ob.getAge ();

// Съобщение за погрешни данни

Сега механизъм твърдението ви позволява да създадете код, който ще хвърли изключение на етапа на отстраняване на грешки проверка postconditions или междинни данни под формата на:

Int възраст = ob.getAge ();

твърдят (възраст> = 0): "отрицателна възраст.";

инструкции Правопис отстояват:

boolexp израз може да приема само Булева стойност или булеви типове. и изразяване - всяка стойност, която може да се трансформира-Поканата за линия. Ако логическият израз стойност лъжа. ген-тят изключение AssertionError. и програмата се прекратява с приключването на стойността на конзолата на експресия (ако е зададено).

механизъм твърдение е подходящ за проверка на инварианти, като например тези, изброени:

ул String = "бели" // "сивата"

Моно моно = Mono.valueOf (STR);

assertfalse. "Цветна!";

създателите на езика не трябва да се използва при проверка на параметрите на твърдение за вярност -methods публично. В такива ситуации е по-добре да се генерира един вид изключение: IllegalArgumentException. NullPointerException или обичай изключение. Нито пък има много смисъл в механизъм твърдение за проверка на граничните стойности на променливите, тъй като изключенията са генерирани в този случай, без никаква помощ.

Отстояването могат да бъдат включени за конкретни класове и пакети виртуална стартиране на машината във формата:

Java -enableassertions MyClass

За да изключите или да използвате-DA -disableassertions.