private void PrintStatistics(IPhilosopherStatisticContext philosopherStatisticContext)
{
Console.WriteLine("*++++++++++++++++++++++++++++++++++++++++++++++");
Console.WriteLine("*Deadlocks: " + philosopherStatisticContext.HasDeadlock + " @ " + philosopherStatisticContext.FirstDeadlockOccured);
Console.WriteLine("*++++++++++++++++++++++++++++++++++++++++++++++");
Console.WriteLine("Ranks:");
foreach (var philosopherStatistic in philosopherStatisticContext.EatRank)
{
Console.WriteLine(philosopherStatistic.Key.Name + " eat " + philosopherStatistic.Value + " times.");
}
Console.ReadLine();
}
public MealWaiter(IPhilosopherStatisticContext philosopherStatisticContext, ConfigContext configContext)
{
_philosopherStatisticContext = philosopherStatisticContext;
_configContext = configContext;
}
public Application(IRestaurant restaurant, IPhilosopherStatisticContext philosopherStatisticContext, ConfigContext configProvider)
{
_restaurant = restaurant;
_philosopherStatisticContext = philosopherStatisticContext;
_configProvider = configProvider;
}
