public static Violation Get(string checkID) { int index = ms_entries.BinarySearch(new Entry(checkID)); if (index >= 0) { Violation violation = ms_entries[index].Violation; DBC.FastPost(violation.CheckID == checkID, "looked up a bad violation"); return(violation); } else { throw new ArgumentException("Couldn't find the " + checkID + " xml element."); } }