public string ToString(PexObjectVariableData.Mask <bool>?printMask = null)
{
var fg = new FileGeneration();
ToString(fg, printMask);
return(fg.ToString());
}
public void ToString(FileGeneration fg, PexObjectVariableData.Mask <bool>?printMask = null)
{
fg.AppendLine($"{nameof(PexObjectVariableData.Mask<TItem>)} =>");
fg.AppendLine("[");
using (new DepthWrapper(fg))
{
if (printMask?.VariableType ?? true)
{
fg.AppendItem(VariableType, "VariableType");
}
if (printMask?.StringValue ?? true)
{
fg.AppendItem(StringValue, "StringValue");
}
if (printMask?.IntValue ?? true)
{
fg.AppendItem(IntValue, "IntValue");
}
if (printMask?.FloatValue ?? true)
{
fg.AppendItem(FloatValue, "FloatValue");
}
if (printMask?.BoolValue ?? true)
{
fg.AppendItem(BoolValue, "BoolValue");
}
}
fg.AppendLine("]");
}
public Mask <R> Translate <R>(Func <TItem, R> eval)
{
var ret = new PexObjectVariableData.Mask <R>();
this.Translate_InternalFill(ret, eval);
return(ret);
}