Package car

package car

Classes

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