public void Deserialize(IntermediateFormatReader reader) { reader.RegisterDeclaration(UpdatedVariableValues.m_Declaration); while (reader.NextMember()) { MemberName memberName = reader.CurrentMember.MemberName; if (memberName == MemberName.UpdatedVariableValues) { this.m_variableValues = reader.Int32SerializableDictionary(); } else { Global.Tracer.Assert(false); } } }