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("]");
}
