public override void SetDependency(IMethodAnalysis analysis)
{
if (analysis.Name == "Bounds")
{
var boundsAnalysis = analysis as Analyzers.Bounds;
Contract.Assert(boundsAnalysis != null);
this.boundsOptions = boundsAnalysis.Options;
// We do not need to save the numerical analysis, as we will create it aftwards.
}
if (analysis.Name == "Non-null")
{
this.nonnullAnalysis = analysis as Analyzers.NonNull;
}
// TODO: instrad of keeping the boolean, just keep the instance of the analysus
if (analysis.Name == "Enum")
{
this.IsEnumAnalysisSelected = true;
}
}
virtual public void SetDependency(IMethodAnalysis analysis)
{
// do nothing
}