Precondition
nA condition the client of a method must make sure holds when the method is invoked.
nThe constructor and method enter have certain
requirements that must be met for them to
execute properly. These are the “require:”s found it the definition on the previous slide.
nSomewhat like the
“unleaded gas only” sign near the gas cap on
an automobile.