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);
}
}
}