public override string ToString()
{
string s = Operand.ToString() + " : " + Status.ToString();
if (IsConstant)
{
s = s + " = " + ConstantUnsignedLongInteger.ToString();
}
return(s);
}
public override string ToString()
{
var sb = new StringBuilder();
sb.Append(Operand);
sb.Append(" : ");
sb.Append(Status.ToString());
if (IsSingleConstant)
{
sb.Append(" = ");
sb.Append(ConstantUnsignedLongInteger.ToString());
}
else if (HasMultipleConstants)
{
sb.Append(" (");
sb.Append(constants.Count.ToString());
sb.Append(") =");
foreach (ulong i in constants)
{
sb.Append(' ');
sb.Append(i.ToString());
sb.Append(',');
}
sb.Length--;
}
sb.Append(" [null: ");
if (IsReferenceOverDefined)
{
sb.Append("OverDefined");
}
else if (IsReferenceDefinedNotNull)
{
sb.Append("NotNull");
}
else if (IsReferenceDefinedUnknown)
{
sb.Append("Unknown");
}
sb.Append("]");
return(sb.ToString());
}
public override string ToString()
{
string s = Operand.ToString() + " : " + Status.ToString();
if (IsSingleConstant)
{
s = s + " = " + ConstantUnsignedLongInteger.ToString();
}
else if (HasMultipleConstants)
{
s = s + " (" + constants.Count.ToString() + ") =";
foreach (ulong i in constants)
{
s = s + " " + i.ToString();
s = s + ",";
}
s = s.TrimEnd(',');
}
return(s);
}
