public string ToString(PexObjectStructInfo.Mask <bool>?printMask = null) { var fg = new FileGeneration(); ToString(fg, printMask); return(fg.ToString()); }
public Mask <R> Translate <R>(Func <TItem, R> eval) { var ret = new PexObjectStructInfo.Mask <R>(); this.Translate_InternalFill(ret, eval); return(ret); }
public void ToString(FileGeneration fg, PexObjectStructInfo.Mask <bool>?printMask = null) { fg.AppendLine($"{nameof(PexObjectStructInfo.Mask<TItem>)} =>"); fg.AppendLine("["); using (new DepthWrapper(fg)) { if (printMask?.Name ?? true) { fg.AppendItem(Name, "Name"); } if ((printMask?.Members?.Overall ?? true) && Members.TryGet(out var MembersItem)) { fg.AppendLine("Members =>"); fg.AppendLine("["); using (new DepthWrapper(fg)) { fg.AppendItem(MembersItem.Overall); if (MembersItem.Specific != null) { foreach (var subItem in MembersItem.Specific) { fg.AppendLine("["); using (new DepthWrapper(fg)) { subItem?.ToString(fg); } fg.AppendLine("]"); } } } fg.AppendLine("]"); } } fg.AppendLine("]"); }