Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...


The calling method, testString(), guarantees that isProperName() is always called with a valid string reference. In general, guarantees  As a result, the class conforms with this rule, even though a public isProperName() method would not. Guarantees of this sort can be used to eliminate null pointer dereferences.

...