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