private static void RegisterChecker(ITestSite testSite)
{
IDictionary <CheckerKinds, IChecker> checkers = new Dictionary <CheckerKinds, IChecker>();
ICheckerConfig checkerConfig;
if (ConfigurationDataProvider.TryGetCheckerConfig <ICheckerConfig>(out checkerConfig))
{
IChecker assertChecker = VsCheckerFactory.GetChecker(CheckerKinds.AssertChecker, testSite, checkerConfig);
IChecker assumeChecker = VsCheckerFactory.GetChecker(CheckerKinds.AssumeChecker, testSite, checkerConfig);
IChecker debugChecker = VsCheckerFactory.GetChecker(CheckerKinds.DebugChecker, testSite, checkerConfig);
checkers.Add(CheckerKinds.AssertChecker, assertChecker);
checkers.Add(CheckerKinds.AssumeChecker, assumeChecker);
checkers.Add(CheckerKinds.DebugChecker, debugChecker);
testSite.RegisterCheckers(checkers);
}
else
{
throw new InvalidOperationException("Cannot retrieve the checker configuration from configuration data.");
}
}
private static void RegisterChecker(ITestSite testSite)
{
IDictionary<CheckerKinds, IChecker> checkers = new Dictionary<CheckerKinds, IChecker>();
ICheckerConfig checkerConfig;
if (ConfigurationDataProvider.TryGetCheckerConfig<ICheckerConfig>(out checkerConfig))
{
IChecker assertChecker = VsCheckerFactory.GetChecker(CheckerKinds.AssertChecker, testSite, checkerConfig);
IChecker assumeChecker = VsCheckerFactory.GetChecker(CheckerKinds.AssumeChecker, testSite, checkerConfig);
IChecker debugChecker = VsCheckerFactory.GetChecker(CheckerKinds.DebugChecker, testSite, checkerConfig);
checkers.Add(CheckerKinds.AssertChecker, assertChecker);
checkers.Add(CheckerKinds.AssumeChecker, assumeChecker);
checkers.Add(CheckerKinds.DebugChecker, debugChecker);
testSite.RegisterCheckers(checkers);
}
else
{
throw new InvalidOperationException("Cannot retrieve the checker configuration from configuration data.");
}
}