} Operation Definitions List<string> GetSpaceToolIds() This operation gets all SpaceToolIds stored in the database Description: SpaceTools have been saved to the database. Precondition: A list of SpaceToolIds is returned to the caller. Postcondition: void Insert(List<SpaceTool> spaceToos) This operation inserts a list of SpaceTools into the database Description: A list of SpaceTools has been retrieved from Assembla. Precondition: The list of SpaceTools is to the database. Postcondition: List<string> GetAllTicketIds() This operation gets all TicketIds stored in the database Description: Tickets have been saved to the database. Precondition: A list of TicketIds is returned to the caller. Postcondition: void Insert(List<Ticket> tickets) This operation inserts a list of Tickets into the database Description: A list of Tickets has been retrieved from Assembla. Precondition: The list of Tickets is to the database. Postcondition: List<string> GetAllSpaceIds() This operation gets all SpaceIds stored in the database Description: Spaces have been to the database. Precondition: A list of SpaceIds is returned to the caller. Postcondition: GetSpaceByID(string spaceId) This operation retrieves a particular Space from the database as designated by the Description: spaceId parameter.
} Operation Definitions List<string> GetSpaceToolIds() Description: This operation gets all SpaceToolIds stored in the database Precondition: SpaceTools have been saved to the database. Postcondition: A list of SpaceToolIds is returned to the caller. void Insert(List<SpaceTool> spaceToos) Description: This operation inserts a list of SpaceTools into the database Precondition: A list of SpaceTools has been retrieved from Assembla. Postcondition: The list of SpaceTools is to the database. List<string> GetAllTicketIds() Description: This operation gets all TicketIds stored in the database Precondition: Tickets have been saved to the database. Postcondition: A list of TicketIds is returned to the caller. void Insert(List<Ticket> tickets) Description: This operation inserts a list of Tickets into the database Precondition: A list of Tickets has been retrieved from Assembla. Postcondition: The list of Tickets is to the database. List<string> GetAllSpaceIds() Description: This operation gets all SpaceIds stored in the database Precondition: Spaces have been to the database. Postcondition: A list of SpaceIds is returned to the caller. GetSpaceByID(string spaceId) Description: This operation retrieves a particular Space from the database as designated by the spaceId parameter.