public override EnsuresExceptional VisitEnsuresExceptional(EnsuresExceptional exceptional)
{
if (exceptional == null)
{
return(null);
}
var result = base.VisitEnsuresExceptional(exceptional);
result.UserMessage = ExtractorVisitor.FilterUserMessage(this.targetMethod, result.UserMessage);
return(result);
}
public override RequiresPlain VisitRequiresPlain(RequiresPlain plain)
{
if (plain == null)
{
return(null);
}
var result = base.VisitRequiresPlain(plain);
// resanitize
result.UserMessage = ExtractorVisitor.FilterUserMessage(this.targetMethod, result.UserMessage);
return(result);
}