Snapshot Generation in a Constructive Object-oriented Modeling Language