public static string ToString(SpecialValues value) { if (value == SpecialValues.True) { return("true"); } else if (value == SpecialValues.False) { return("false"); } else if (value == SpecialValues.Trace) { return("trace"); } else if (value == SpecialValues.Sufficient) { return("sufficient"); } else if (value == SpecialValues.Withdrawn) { return("withdrawn"); } else if (value == SpecialValues.NilKnown) { return("nil known"); } else { throw new ArgumentException("Unrecognized SpecialValues value: " + value.ToString()); } }
public static string ToString(SpecialValues value) { if( value==SpecialValues.True ) return "true"; else if( value==SpecialValues.False ) return "false"; else if( value==SpecialValues.Trace ) return "trace"; else if( value==SpecialValues.Sufficient ) return "sufficient"; else if( value==SpecialValues.Withdrawn ) return "withdrawn"; else if( value==SpecialValues.NilKnown ) return "nil known"; else throw new ArgumentException("Unrecognized SpecialValues value: " + value.ToString()); }