public override void TakeSnapshot(StateSnapshot ss)
{
// write identifier 6 to indicate that this is a DelayedVolatileRead
ss.WriteInt(6);
ss.WriteGuid(srcValue);
ss.WriteGuid(destValue);
}
public override void TakeSnapshot(StateSnapshot ss)
{
// write identifier 1 to indicate that this is a DelayedWrite
ss.WriteInt(1);
ss.WriteGuid(srcValue);
ss.WriteGuid(destValue);
}
public override void TakeSnapshot(StateSnapshot ss)
{
// write identifier 3 to indicate that this is a DelayedUnlock
ss.WriteInt(3);
ss.WriteGuid(obj);
}
// Dump the data structure to the snapshot
public override void TakeSnapshot(StateSnapshot ss)
{
// write identifier 8 to indicate that this is a DelayedWait
ss.WriteInt(8);
ss.WriteInt(lockCount);
ss.WriteGuid(obj);
}
// Dump the data structure to the snapshot
public override void TakeSnapshot(StateSnapshot ss)
{
// write identifier 9 to indicate that this is a DelayedPulse
if(isPulseAll)
{
ss.WriteInt(10);
ss.WriteGuid(obj);
}
else
{
ss.WriteInt(9);
ss.WriteGuid(obj);
}
}
// Dump the data structure to the snapshot
public override void TakeSnapshot(StateSnapshot ss)
{
// write identifier 2 to indicate that this is a DelayedLock
ss.WriteInt(2);
ss.WriteGuid(obj);
ss.WriteInt(nTimes);
}