Adds a warning message
public void Warning(SourceSpan span, string text)
The source span
The warning message