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