public string ToString(PexObjectState.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 PexObjectState.Mask <R>();
this.Translate_InternalFill(ret, eval);
return(ret);
}
public void ToString(FileGeneration fg, PexObjectState.Mask <bool>?printMask = null)
{
fg.AppendLine($"{nameof(PexObjectState.Mask<TItem>)} =>");
fg.AppendLine("[");
using (new DepthWrapper(fg))
{
if (printMask?.Name ?? true)
{
fg.AppendItem(Name, "Name");
}
if ((printMask?.Functions?.Overall ?? true) &&
Functions.TryGet(out var FunctionsItem))
{
fg.AppendLine("Functions =>");
fg.AppendLine("[");
using (new DepthWrapper(fg))
{
fg.AppendItem(FunctionsItem.Overall);
if (FunctionsItem.Specific != null)
{
foreach (var subItem in FunctionsItem.Specific)
{
fg.AppendLine("[");
using (new DepthWrapper(fg))
{
subItem?.ToString(fg);
}
fg.AppendLine("]");
}
}
}
fg.AppendLine("]");
}
}
fg.AppendLine("]");
}
