Investigating Object-Oriented Encapsulation in Theory and Practice