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); }