Rational Software Corp.

TOC PREV NEXT INDEX



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.
TOC PREV NEXT INDEX