![]() |
![]() |
![]() |
![]() |
Operation Specification--Postconditions Tab Operation Specification--Postconditions Tab
Figure 31 Operation Specification--Postconditions Tab
Refer to the descriptions in the Introduction to Specifications chapter for information on the specification elements not covered in the following section.
Postconditions
Invariants that are satisfied by the operation (the exit behavior of an operation) are listed in this area.
Interaction Diagram
Select an interaction diagram from the list box that illustrates the appropriate semantics.
Rational Software Corporation
http://www.rational.com support@rational.com docs@us.ibm.com Copyright © 1993-2000, Rational Software Corporation. All rights reserved. |
![]() |
![]() |
![]() |
![]() |