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