예제 #1
0
 public MethodExtractor(SemanticModel semanticModel, Document document, TextSpan textSpan, ClousotOptions options)
 {
     this.semanticModel = semanticModel;
     this.document      = document;
     this.textSpan      = textSpan;
     this.options       = options;
 }
예제 #2
0
 public ClousotExtractMethod(ClousotOptions options)
 {
     this.options = options;
 }
예제 #3
0
 public MethodExtractor(SemanticModel semanticModel, Document document, TextSpan textSpan, ClousotOptions options) {
   this.semanticModel = semanticModel;
   this.document = document;
   this.textSpan = textSpan;
   this.options = options;
 }
예제 #4
0
 public ClousotExtractMethod(ClousotOptions options) {
   this.options = options;
 }
예제 #5
0
 public AssemblyCodeIssueProvider(ClousotOptions options) {
   this.connectionToClousot = new RoslynToCCICodeModel.ClousotGlue();
   AssemblyCodeIssueProvider.options = options;
 }
예제 #6
0
 public AssemblyCodeIssueProvider(ClousotOptions options)
 {
     this.connectionToClousot = new RoslynToCCICodeModel.ClousotGlue();
     this.options             = options;
 }