public WarningRegions RegisterWarningRegion(Location location)
        {
            WarningRegions regions;

            if (warning_regions_table == null)
            {
                regions = null;
                warning_regions_table = new Dictionary <int, WarningRegions> ();
            }
            else
            {
                warning_regions_table.TryGetValue(location.File, out regions);
            }

            if (regions == null)
            {
                regions = new WarningRegions();
                warning_regions_table.Add(location.File, regions);
            }

            return(regions);
        }
		public WarningRegions RegisterWarningRegion (Location location)
		{
			WarningRegions regions;
			if (warning_regions_table == null) {
				regions = null;
				warning_regions_table = new Dictionary<int, WarningRegions> ();
			} else {
				warning_regions_table.TryGetValue (location.File, out regions);
			}

			if (regions == null) {
				regions = new WarningRegions ();
				warning_regions_table.Add (location.File, regions);
			}

			return regions;
		}