private static Edge DecodeEdge(char c) { if (DirectionCodeMap.ContainsKey (c)) { return new Edge (DirectionCodeMap [c]); } else { throw new IOException ("Failed to decode Edge: '" + c + "'!"); } }