public void WarningDisable(Location location, int code, Report Report) { if (Report.CheckWarningCode(code, location)) { regions.Add(new Disable(location.Row, code)); } }
public void WarningEnable (Location location, int code, Report Report) { if (!Report.CheckWarningCode (code, location)) return; if (Report.IsWarningDisabledGlobally (code)) Report.Warning (1635, 1, location, "Cannot restore warning `CS{0:0000}' because it was disabled globally", code); regions.Add (new Enable (location.Row, code)); }
public void WarningEnable (Location location, int code, Report Report) { if (Report.CheckWarningCode (code, location)) regions.Add (new Enable (location.Row, code)); }