public override string ToString()
{
string res = "";
if (File != null)
res += File;
if (location != null)
res += string.Format("({0},{1},{2},{3})", StartLine, StartColumn, EndLine, EndColumn);
if (res != "")
res += ": ";
res += "error : " + Message;
return res;
}