se-edu / addressbook-level4 / 4774

93%

master: 94%

Pull #932

travis-ci

ModelManager: keep its own copy of UserPrefs

ModelManager keeps a reference to the UserPrefs object that is passed
to it via its constructor or via ModelManager#setUserPrefs(UserPrefs).

However, other objects aside from ModelManager may also hold a reference
to that UserPrefs object, and modify it. If developers are not careful,
this could be a source of bugs.

As such, let's teach ModelManager to keep its own defensive copy of the
UserPrefs object.

50 of 50 new or added lines in 8 files covered. (100.0%)

1415 of 1517 relevant lines covered (93.28%)

0.93 hits per line