Постусловие
задает новые ограничения на эти переменные после выполнения оператора и обозначается как {Q}.
управляющие алгоритмические структуры, которые, в частности, содержат запись булева выражения (логического выражения).
задает новые ограничения на эти переменные после выполнения оператора и обозначается как {Q}.
идентификатор объекта, включающий идентификаторы классов, которые вложены друг в друга.
содержат только цифры.