public void Error(String filename, LexicalPosition pos, String contents, params object[] args)
{
if (disabled != 0) return;
errors++;
list.Add( new ErrorEntry(true, filename, pos, String.Format(contents, args) ) );
}
public void Warning(String filename, LexicalPosition pos, Severity severity, String contents, params object[] args)
{
if (disabled != 0) return;
warnings++;
list.Add( new ErrorEntry(false, "", new LexicalPosition(), String.Format(contents, args) ) );
}
public ErrorEntry(bool error, string filename, LexicalPosition pos, string contents)
{
this.filename = filename;
this.isError = error;
this.pos = pos;
this.contents = contents;
}