private void HandleError(Statement stat, Node node, Error error, TypeNode t)
{
Node offendingNode = node;
if (offendingNode.SourceContext.Document == null)
{
offendingNode = stat;
}
Debug.Assert(t != null);
if (reportedErrors.Contains(offendingNode.SourceContext))
{
return;
}
//Analyzer.WriteLine("!!! " + error+ " : "+node);
ts.HandleError(offendingNode, error, ts.GetTypeName(t));
reportedErrors.Add(offendingNode.SourceContext, null);
}
