/// <summary>
/// This method should be called when the state of the workspace
/// changes.
/// </summary>
public void OnStateChange(WmStateChange c)
{
if (c == WmStateChange.Internal || c == WmStateChange.Permanent)
{
Cd.PermanentRevID++;
}
if (c == WmStateChange.Permanent || c == WmStateChange.Transient)
{
Cd.TransientRevID++;
WmEAnp.OnWmStateChange();
}
}
/// <summary>
/// Post a transient EAnp event.
/// </summary>
public void PostTransientEAnpEvent(AnpMsg evt)
{
WmEAnp.SendTransientEvent(evt);
}
/// <summary>
/// Post a permanent EAnp event. An ID is assigned to the event.
/// </summary>
public void PostPermEAnpEvent(AnpMsg evt)
{
evt.ID = Cd.NextEAnpID++;
Wm.LocalDbBroker.StoreEAnpEvent(InternalID, evt);
WmEAnp.SendTransientEvent(evt);
}