public static void Log(OptionSet oldOptions, OptionSet newOptions)
{
foreach (var optionKey in newOptions.GetChangedOptions(oldOptions))
{
var oldValue = oldOptions.GetOption(optionKey);
var currentValue = newOptions.GetOption(optionKey);
Logger.Log(FunctionId.Run_Environment_Options, Create(optionKey, oldValue, currentValue));
}
}
public static void Log(OptionSet oldOptions, OptionSet newOptions)
{
foreach (var optionKey in newOptions.GetChangedOptions(oldOptions))
{
var oldValue = oldOptions.GetOption(optionKey);
var currentValue = newOptions.GetOption(optionKey);
Logger.Log(FunctionId.Run_Environment_Options, Create(optionKey, oldValue, currentValue));
}
}
private OptionSet MergeOptions(OptionSet workspaceOptions, OptionSet userOptions)
{
var newOptions = workspaceOptions;
foreach (var key in userOptions.GetChangedOptions(workspaceOptions))
{
newOptions = newOptions.WithChangedOption(key, userOptions.GetOption(key));
}
return newOptions;
}
private OptionSet MergeOptions(OptionSet workspaceOptions, OptionSet userOptions)
{
var newOptions = workspaceOptions;
foreach (var key in userOptions.GetChangedOptions(workspaceOptions))
{
newOptions = newOptions.WithChangedOption(key, userOptions.GetOption(key));
}
return(newOptions);
}
public static Solution WithChangedOptionsFrom(this Solution solution, OptionSet optionSet)
{
var newOptions = solution.Options;
foreach (var option in optionSet.GetChangedOptions(solution.Options))
{
newOptions = newOptions.WithChangedOption(option, optionSet.GetOption(option));
}
return(solution.WithOptions(newOptions));
}
