The document outlines 4 contracts (c01-c04) related to a customer creation process. Contract c01 allows entering customer ID and name. Contract c02 creates the customer if preconditions are met from c01. Contract c03 redisplays the form if information is invalid. Contract c04 displays a customer list page if information is valid.
The document outlines 4 contracts (c01-c04) related to a customer creation process. Contract c01 allows entering customer ID and name. Contract c02 creates the customer if preconditions are met from c01. Contract c03 redisplays the form if information is invalid. Contract c04 displays a customer list page if information is valid.
The document outlines 4 contracts (c01-c04) related to a customer creation process. Contract c01 allows entering customer ID and name. Contract c02 creates the customer if preconditions are met from c01. Contract c03 redisplays the form if information is invalid. Contract c04 displays a customer list page if information is valid.
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.