| java.lang.Object test.dbc.office.OfficeManager
OfficeManager | public class OfficeManager (Code) | | author: Kabir Khan version: $Revision: 57186 $ |
assignComputer | public void assignComputer(Computer computer, Developer developer)(Code) | | PreCond: The computer and developer must both be not-null, and not previously assigned
PostCond: Make sure that all developers have a computer, and that that computer is
associated with the developer in question
|
createComputer | public Computer createComputer(String name)(Code) | | PostCond: The computer should be unassigned after adding
|
createDeveloper | public Developer createDeveloper(String name)(Code) | | PostCond: The developer should not have a computer after adding
|
|
|