Uses of Package
car

Classes in car used by car

Class	Description
Car	Class invariants: The gas tank does not contain a negative amount of gas.