A Dummy Designer. We have earlier shown how a contract C gives rise to a dummy template directory T (C). For a programmer starting out with an already negotiated contract, this approach can be exploited to construct a collection of primitive but functional templates that are guaranteed to satisfy the contract. Starting out with the contract from Section 4.1, the generated dummy templates present an X-ray view of the MainPage as shown in Figure 8. For the programmer, this allows an early implementation suitable for testing the business logic. For the designer, it offers an explicit view at the template structure of the generated pages. MainPage ? <AnyString> items price productname items Inventory title body inventory buyform product quantity
Appears in 2 contracts