public static void EnableReporting ()
{
- if (warning_stack != null)
+ if (warning_stack != null && warning_stack.Count > 0)
Warnings = (int) warning_stack.Pop ();
else
Warnings = 0;
public interface IMessageRecorder
{
+ bool IsEmpty { get; }
void EndSession ();
void AddMessage (AbstractMessage msg);
bool PrintMessages ();
session_messages.Add (msg);
}
+ public bool IsEmpty {
+ get {
+ return merged_messages == null && common_messages == null;
+ }
+ }
+
//
// Prints collected messages, common messages have a priority
//