public new static UnknownKeyErr make(string msg, Err cause) { UnknownKeyErr err = new UnknownKeyErr(); make_(err, msg, cause); return(err); }
public object getOrThrow(object key) { object val = m_map[key]; if (val != null) { return(val); } if (containsKey(key)) { return(null); } throw UnknownKeyErr.make(key.ToString()).val; }
public static void make_(UnknownKeyErr self, string msg, Err cause) { Err.make_(self, msg, cause); }
public static void make_(UnknownKeyErr self, string msg) { make_(self, msg, null); }
public static void make_(UnknownKeyErr self) { make_(self, null); }
public static new UnknownKeyErr make(string msg, Err cause) { UnknownKeyErr err = new UnknownKeyErr(); make_(err, msg, cause); return err; }