look up the typestate pattern.