Esempio n. 1
0
 public static String RandomDecimalString(RandomGenerator r) {
   int count = r.UniformInt(40) + 1;
   StringBuilder sb = new StringBuilder();
   if (r.UniformInt(2) == 0) {
     sb.append('-');
   }
   for (int i = 0; i < count; ++i) {
     if (i == 0 && count > 1) {
       sb.append((char) ('1' + r.UniformInt(9)));
     } else {
       sb.append((char) ('0' + r.UniformInt(10)));
     }
   }
   if (r.UniformInt(2) == 0) {
     sb.append('.');
     count = r.UniformInt(30) + 1;
     for (int i = 0; i < count; ++i) {
       sb.append((char) ('0' + r.UniformInt(10)));
     }
   }
   if (r.UniformInt(2) == 0) {
     sb.append('E');
     count = (r.UniformInt(100) < 10) ? r.UniformInt(5000) : r.UniformInt(20);
     if (count != 0) {
       sb.append(r.UniformInt(2) == 0 ? '+' : '-');
     }
     sb.append(TestCommon.IntToString(count));
   }
   return sb.toString();
 }
Esempio n. 2
0
 public static EInteger RandomSmallIntegral(RandomGenerator r) {
   int count = r.UniformInt(20) + 1;
   StringBuilder sb = new StringBuilder();
   if (r.UniformInt(2) == 0) {
     sb.append('-');
   }
   for (int i = 0; i < count; ++i) {
     if (i == 0) {
       sb.append((char) ('1' + r.UniformInt(9)));
     } else {
       sb.append((char) ('0' + r.UniformInt(10)));
     }
   }
   return EInteger.FromString(sb.toString());
 }
Esempio n. 3
0
 public static String RandomBigIntString(RandomGenerator r) {
   int count = r.UniformInt(400) + 1;
   StringBuilder sb = new StringBuilder();
   if (r.UniformInt(2) == 0) {
     sb.append('-');
   }
   for (int i = 0; i < count; ++i) {
     if (i == 0) {
       sb.append((char) ('1' + r.UniformInt(9)));
     } else {
       sb.append((char) ('0' + r.UniformInt(10)));
     }
   }
   return sb.toString();
 }
Esempio n. 4
0
 public static String RandomTextString(RandomGenerator rand) {
   int length = rand.UniformInt(0x2000);
   StringBuilder sb = new StringBuilder();
   for (int i = 0; i < length; ++i) {
     int x = rand.UniformInt(100);
     if (x < 95) {
       // ASCII
       sb.append((char) (0x20 + rand.UniformInt(0x60)));
     } else if (x < 98) {
       // Supplementary character
       x = rand.UniformInt(0x400) + 0xd800;
       sb.append((char) x);
       x = rand.UniformInt(0x400) + 0xdc00;
       sb.append((char) x);
     } else {
       // BMP character
       x = 0x20 + rand.UniformInt(0xffe0);
       if (x >= 0xd800 && x < 0xe000) {
         // surrogate code unit, generate ASCII instead
         x = 0x20 + rand.UniformInt(0x60);
       }
       sb.append((char) x);
     }
   }
   return sb.toString();
 }