private void ReportWarning(ManagerMsg msg) { warnings.Add(msg); if (WarningReported != null) { WarningReported(msg.Message, msg.StartPosition, msg.EndPosition); } }
private void ReportError(ManagerMsg msg) { errors.Add(msg); if (ErrorReported != null) { ErrorReported(msg.Message, msg.StartPosition, msg.EndPosition); } }
private void ReportInfoMessage(ManagerMsg msg) { infoMessages.Add(msg); if (InfoMessageReported != null) { InfoMessageReported(msg.Message, msg.StartPosition, msg.EndPosition); } }