public void AddDiagnostic(ICodeLocation location, Diagnostic d)
{
StringBuilder sb = new StringBuilder();
sb.AppendFormat("{0} - {1} - {2}", d.GetType().Name, location.Text, d.Message);
lastDiagnostic = sb.ToString();
Debug.WriteLine(lastDiagnostic);
}
public void AddDiagnostic(Address addr, Diagnostic d)
{
Console.Write(d.GetType().Name);
Console.Write(" - ");
Console.WriteLine(addr.ToString());
Console.Write(": ");
Console.WriteLine(d.Message);
}