/// <summary>
/// Bindings for the dependencies from the TheoremRanker module.
/// </summary>
/// <param name="kernel">The kernel.</param>
/// <param name="settings">The settings for <see cref="TheoremRanker"/>.</param>
/// <returns>The kernel for chaining.</returns>
public static IKernel AddTheoremRanker(this IKernel kernel, TheoremRankerSettings settings)
{
// Bind the ranker
kernel.Bind <ITheoremRanker>().To <TheoremRanker>().WithConstructorArgument(settings);
#region Bind theorem rankers for individual ranked aspects
// Bind aspect theorem rankers based on the aspects we're ranking
foreach (var rankedAspect in settings.RankingCoefficients.Keys)
{
// Find the expected name of the class with the corresponding namespace
var classNameWithNamespace = $"{typeof(IAspectTheoremRanker).Namespace}.{rankedAspect}Ranker";
// Find the type of the ranker from the name
var theoremRankerType = Type.GetType(classNameWithNamespace);
// Handle if it couldn't be found
if (theoremRankerType == null)
{
throw new TheoremRankerException($"Couldn't find an implementation of {nameof(IAspectTheoremRanker)} for type '{rankedAspect}', expected class name with namespace '{classNameWithNamespace}'");
}
// Otherwise do the binding
var binding = kernel.Bind(typeof(IAspectTheoremRanker)).To(theoremRankerType);
}
#endregion
// Return the kernel for chaining
return(kernel);
}
/// <summary>
/// Initializes a new instance of the <see cref="TheoremRanker"/> class.
/// </summary>
/// <param name="settings">The settings for the ranker.</param>
/// <param name="rankers">The rankers for particular aspects.</param>
public TheoremRanker(TheoremRankerSettings settings, IAspectTheoremRanker[] rankers)
{
_settings = settings ?? throw new ArgumentNullException(nameof(settings));
_rankers = rankers ?? throw new ArgumentNullException(nameof(rankers));
}
