������ �� ��������� �� ������� ���������� �����..?
������ �� ��� ��������� �� ������� ����������� ����� ��� �������
��� my ����� ( ������� E ) ������ ��� interfaces (A, ������� B & ������� c) � ����������� ����� ������� d, ����� � its ���� pre- ������� � �����- ������� � ����� invariants.
����� ������� E ���� has ����� pre- ������� � �����- ������� � ����� invariants.
Pre- ������� ���� ���� ���������. ���� ������� �� � an ��� ������ ��� ��������� ��������� ��������� ��� ������������� ���� pre- ������� �� A, ������� b, ������� c, ������� D & ������� e. ������������� ���� ������ � in ����� ���?
�����- ������� ���� ���� ��������.
���� ������� �� ���� � ��� ������������� ���� pre- ������� �� A, ������� b, ������� c, ������� D & ������� e. � ���� ��������?
���� �� p.t. �� can ������� aboout ���������� �� Invariants. ��� �� �� �������� ��� ������������� ���� invariants �� A- ������� E �����? � ������ ��� ��������� ���������?
������ ������ �� your �������….
���� ���Java Software, Technology | 
| 
RSS 2.0 |
Trackback ���� �������
| 
Email ���� �������
�� ���� ���� ������� ��� ���� |
������� 11th, 2004 �� 510: ���
������������� ���� preconditions � postconditions ��� �������� � �����. ��� �� � p.p. �� give ����� in Java ���� ��������� ���� ���������� �� a ��������� �������� ��� �����, ���� ��� � ������� ������ ������� ������� �������� �� ����� � ������ � ORing.
���� an ������������� ������� �� ����� modifies ������������� ���� precondition ��� postcondition �� its ������� �����:
�� preconditions, ������������� ���� ������� precondition � �������� ����. ��� ���� precondition �� ���������, ������ ������������� ���� precondition �� ������������� ���� ����� �����’ ����� � ��������, � ��� ���� �� ������� ������� � ��� ������������� ���� ����� was �� ������ ������ ������������� ���� ����� ����� ������ ������������� ���� ����� invariant � ��������.
�� postconditions, ������������� ���� ������� postcondition � �������� ����. ��� ���� postcondition �������, ������ ������������� ���� postcondition �� ������������� ���� ����� �����’ ����� � ��������, � ��� ���� ������� � ��� ������������� ���� ����� was �� ������ ������ �� ������������� ���� ����� ����� ������ ������������� ���� ����� invariant � ��������.
�� �����, �����, ������������� ���� ������� ��� ��������. ��������� ������������� ���� precondition � �������� �� �������, �� ������������� ���� ����� invariant ������ ������������� ���� ����� �� ������������� ���� ����� � ��� ����������� ������������� ���� ����� invariant. �� ��������, ������������� ���� ����� invariant � �������� ����, � ��� ���� ������� ������ ������������� ���� postcondition � ��������. ���� ����� ��� �� ����������, ��’ ������; ���������� ������� dont’ ��������.
������������� ���� invariant �� a ����� � ������������� ���� ���������� �� its ����� invariant � ������������� ���� ����� invariants() �� its ������� �����(). ��� invariants ������ ������ ���� �����, ���� ������������� ���� ��� � ����� ����� �� �� ������ �� �������. �����, Eiffel ���������� ������������� ���� ������������� ���: ���� �����’ invariant, ������ ������� invariants, ������ invariants �������� � ��� �� � ����� redefined ����� ��������� ( ���� �� ����’ ����� in Java).