public MethodExtractor(SemanticModel semanticModel, Document document, TextSpan textSpan, ClousotOptions options)
{
this.semanticModel = semanticModel;
this.document = document;
this.textSpan = textSpan;
this.options = options;
}
public ClousotExtractMethod(ClousotOptions options)
{
this.options = options;
}
public MethodExtractor(SemanticModel semanticModel, Document document, TextSpan textSpan, ClousotOptions options) {
this.semanticModel = semanticModel;
this.document = document;
this.textSpan = textSpan;
this.options = options;
}
public ClousotExtractMethod(ClousotOptions options) {
this.options = options;
}
public AssemblyCodeIssueProvider(ClousotOptions options) {
this.connectionToClousot = new RoslynToCCICodeModel.ClousotGlue();
AssemblyCodeIssueProvider.options = options;
}
public AssemblyCodeIssueProvider(ClousotOptions options)
{
this.connectionToClousot = new RoslynToCCICodeModel.ClousotGlue();
this.options = options;
}