You are on page 1of 1

Contract c01: Enter Info.

Operation: EnterItem(int :ID,String Name)


Cross References: CreateCustomer
PreConditions: A customer exists with id and name.
PostConditions:
i. Customer info was added by the customer.

Contract c02: create


Operation: create()
Cross References: CreateCustomer
PreConditions: info should be added by the customer.
PostConditions:
i. Customer was validated.

Contract c03: Redisplay


Operation: redisplay()
Cross References: CreateCustomer
PreConditions: Customer entered invalid information or some fields were missing.
PostConditions:
I. Customer details were re displayed with missing field highlighted with red.

Contract c04: CustomerListPage


Operation: customerlistpage()
Cross References: CreateCustomer
PreConditions: Customer entered valid information.
PostConditions:
I. Customer was added to the database.

You might also like