private void ReportWarning(ManagerMsg msg) { warnings.Add(msg); if (WarningReported != null) { WarningReported(msg.Message, msg.StartPosition, msg.EndPosition); } }