// TO delete!
public ClousotOptions()
{
page = new ClousotOptionPage();
page.WarningLevel = "full";
page.OtherOptions = "";
}
public ClousotOptions(SVsServiceProvider serviceProvider)
{
var shell = (IVsShell)serviceProvider.GetService(typeof(SVsShell));
IVsPackage package;
Marshal.ThrowExceptionForHR(shell.LoadPackage(GuidList.guidOptionsPagePackagePkg, out package));
this.page = ((OptionsPagePackage)package).GetOptionsPage();
}
public ClousotOptions(SVsServiceProvider serviceProvider)
{
var shell = (IVsShell)serviceProvider.GetService(typeof(SVsShell));
IVsPackage package;
Marshal.ThrowExceptionForHR(shell.LoadPackage(Microsoft.Research.AskCodeContracts.Guids.guidOptionsPagePackagePkg, out package));
this.page = ((OptionsPagePackage)package).GetOptionsPage();
}
