public Suggestion AddNewSuggestion(Method method, string message, string kind, ClousotSuggestion.Kind type, ClousotSuggestion.ExtraSuggestionInfo extraInfo)
{
if (!this.IsValid)
{
return(null);
}
var res = this.model.NewSuggestion(method);
res.Message = message;
res.Type = (byte)type;
res.Kind = kind;
res.ExtraInfo = extraInfo.Serialize();
return(res);
}
public Suggestion AddNewSuggestion(Method method, string suggestion, string kind, ClousotSuggestion.Kind type, ClousotSuggestion.ExtraSuggestionInfo extraInfo)
{
return(underlying.AddNewSuggestion(method, suggestion, kind, type, extraInfo));
}
public Suggestion AddNewSuggestion(Method method, string suggestion, string kind, ClousotSuggestion.Kind type, ClousotSuggestion.ExtraSuggestionInfo extraInfo)
{
Contract.Requires(method != null);
Contract.Requires(suggestion != null);
Contract.Ensures(Contract.Result <Suggestion>() != null);
throw new NotImplementedException();
}
