Ejemplo n.º 1
0
 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());
     }
 }
Ejemplo n.º 2
0
 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());
 }