Package car

Class Summary

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