A C R T

A

addToCart(Object, int) - Method in class Cart

C

Cart - class Cart.

Invariant: For each item, quantity in cart plus quantity recorded in database equals total current inventory.

Cart(Customer) - Constructor for class Cart

Creates an empty cart for customer c.

contents() - Method in class Cart

Returns a sequence of the cart's contents.

R

removeFromCart(Object) - Method in class Cart

If any quantity of the item is in the cart, it is removed and returned to the main DB.

T

totalPrice() - Method in class Cart

A C R T