public override bool Equals(object obj) { AbstractMessage msg = obj as AbstractMessage; if (msg == null) { return(false); } return(code == msg.code && location.Equals(msg.location) && message == msg.message); }
public virtual void Print(AbstractMessage msg, bool showFullPath) { if (msg.IsWarning) { ++WarningsCount; } else { ++ErrorsCount; } }
public override void Print(AbstractMessage msg, bool showFullPath) { // // This line is useful when debugging recorded messages // // Console.WriteLine ("RECORDING: {0}", msg.Text); if (session_messages == null) { session_messages = new List <AbstractMessage> (); } session_messages.Add(msg); this.showFullPaths = showFullPath; base.Print(msg, showFullPath); }
protected void Print(AbstractMessage msg, TextWriter output, bool showFullPath) { StringBuilder txt = new StringBuilder(); if (!msg.Location.IsNull) { if (showFullPath) { txt.Append(msg.Location.ToStringFullName()); } else { txt.Append(msg.Location.ToString()); } txt.Append(" "); } txt.AppendFormat("{0} CS{1:0000}: {2}", msg.MessageType, msg.Code, msg.Text); if (!msg.IsWarning) { output.WriteLine(FormatText(txt.ToString())); } else { output.WriteLine(txt.ToString()); } if (msg.RelatedSymbols != null) { foreach (string s in msg.RelatedSymbols) { output.WriteLine(s + msg.MessageType + ")"); } } }
public override void Print (AbstractMessage msg, bool showFullPath) { base.Print (msg, showFullPath); var newError = new Error (msg.IsWarning ? ErrorType.Warning : ErrorType.Error, msg.Text, new DomRegion (fileName, msg.Location.Row, msg.Location.Column)); Errors.Add (newError); }
public override void Print(AbstractMessage msg, bool showFullPath) { Print(msg, writer, showFullPath); base.Print(msg, showFullPath); }
public void EndSession() { if (session_messages == null) { return; } // // Handles the first session // if (common_messages == null) { common_messages = new List <AbstractMessage> (session_messages); merged_messages = session_messages; session_messages = null; return; } // // Store common messages if any // for (int i = 0; i < common_messages.Count; ++i) { AbstractMessage cmsg = common_messages[i]; bool common_msg_found = false; foreach (AbstractMessage msg in session_messages) { if (cmsg.Equals(msg)) { common_msg_found = true; break; } } if (!common_msg_found) { common_messages.RemoveAt(i); } } // // Merge session and previous messages // for (int i = 0; i < session_messages.Count; ++i) { AbstractMessage msg = session_messages[i]; bool msg_found = false; for (int ii = 0; ii < merged_messages.Count; ++ii) { if (msg.Equals(merged_messages[ii])) { msg_found = true; break; } } if (!msg_found) { merged_messages.Add(msg); } } }
public ErrorMessage(AbstractMessage aMsg) : base(aMsg) { }
public override void Print (AbstractMessage msg, bool showFullPath) { Print (msg, writer, showFullPath); base.Print (msg, showFullPath); }
public override void Print (AbstractMessage msg, bool showFullPath) { // // This line is useful when debugging recorded messages // // Console.WriteLine ("RECORDING: {0}", msg.Text); if (session_messages == null) session_messages = new List<AbstractMessage> (); session_messages.Add (msg); this.showFullPaths = showFullPath; base.Print (msg, showFullPath); }
protected void Print (AbstractMessage msg, TextWriter output, bool showFullPath) { StringBuilder txt = new StringBuilder (); if (!msg.Location.IsNull) { if (showFullPath) txt.Append (msg.Location.ToStringFullName ()); else txt.Append (msg.Location.ToString ()); txt.Append (" "); } txt.AppendFormat ("{0} CS{1:0000}: {2}", msg.MessageType, msg.Code, msg.Text); if (!msg.IsWarning) output.WriteLine (FormatText (txt.ToString ())); else output.WriteLine (txt.ToString ()); if (msg.RelatedSymbols != null) { foreach (string s in msg.RelatedSymbols) output.WriteLine (s + msg.MessageType + ")"); } }
public virtual void Print (AbstractMessage msg, bool showFullPath) { if (msg.IsWarning) { ++WarningsCount; } else { ++ErrorsCount; } }
public ErrorMessage (AbstractMessage aMsg) : base (aMsg) { }
protected AbstractMessage (AbstractMessage aMsg) { this.code = aMsg.code; this.location = aMsg.location; this.message = aMsg.message; this.extra_info = aMsg.extra_info; }