ClaimException(ClaimOpKind kind, string msg, string caller, string file, int?line) : base($"fail({msg})", caller, file, line) { this.OpKind = kind; }
ClaimException(ClaimOpKind kind, AppMsg msg) : base(msg.WithPrependedContent("fail(").WithAppendedContent(")")) { this.OpKind = kind; }
public static ClaimException Define(ClaimOpKind op, string msg, string caller, string file, int?line) => new ClaimException(op, msg, caller, file, line);
public static ClaimException Define(ClaimOpKind op, AppMsg msg) => new ClaimException(op, msg);
static ClaimException failed(ClaimOpKind op, string msg, string caller, string file, int?line) => ClaimException.Define(op, msg, caller, file, line);
public static ClaimException failed(ClaimOpKind op, AppMsg msg) => ClaimException.Define(op, msg);