Source position: debugger.pp line 1837
public procedure TSnapshotManager.DoStateChange(
const AOldState: TDBGState
);