private static void Startup(int lastDatabaseId, int lastExecutedId, int[] gaps, System.IO.TextWriter consoleOut)
{
Serializer.Reset();
DependencyManager.Reset();
TerminationHistory.Reset(lastExecutedId, gaps);
Serializer.Start(lastDatabaseId, lastExecutedId, gaps, consoleOut);
}
internal static void Startup(CompletionState uncompleted, int lastActivityIdFromDb)
{
CommunicationMonitor.Stop();
Serializer.Reset();
DependencyManager.Reset();
TerminationHistory.Reset(uncompleted.LastActivityId, uncompleted.Gaps);
Serializer.Start(lastActivityIdFromDb, uncompleted.LastActivityId, uncompleted.Gaps);
CommunicationMonitor.Start();
}
/// <summary>Only for tests</summary>
internal static void _setCurrentExecutionState(CompletionState state)
{
Serializer.Reset(state.LastActivityId);
DependencyManager.Reset();
TerminationHistory.Reset(state.LastActivityId, state.Gaps);
}
internal static void Shutdown()
{
Serializer.Reset();
DependencyManager.Reset();
TerminationHistory.Reset(0);
}