Changed getter style to say "getter must have no side effects"

[jaufgang]

Changed getter style to say

The getter method must have no side effects

instead of

The getter method must be a pure function(i.e., result is consistent and has no side effects)

Getters are inherently impure. A pure function with no params will return a constant value.