textprop.cs

   1 using System;
   2 using System.Collections.Generic;
   3 using M17N.Core;
   4
   5 public class Test
   6 {
   7   const int LENGTH = 10;
   8   const int DEPTH = 10;
   9   static MText mt = new MText ("0123456789");
  10   static MSymbol key = new MSymbol ("k");
  11   static MSymbol val0 = new MSymbol ("0");
  12   static MSymbol val1 = new MSymbol ("1");
  13   static MSymbol val2 = new MSymbol ("2");
  14   static MTextProperty prop0 = new MTextProperty (key, val0);
  15   static MTextProperty prop1 = new MTextProperty (key, val1);
  16   static MTextProperty prop2 = new MTextProperty (key, val2);
  17
  18   static int[] nvals = new int[10];
  19   static MSymbol[,] valtable = new MSymbol[LENGTH, DEPTH + 1];
  20
  21   static void TestPushProp (int from, int to, MSymbol key, MSymbol val)
  22   {
  23     for (int i = from; i < to; i++)
  24       if (nvals[i] == DEPTH)
  25         return;
  26
  27     for (int i = from; i < to; i++)
  28       {
  29         valtable[i, nvals[i]] = val;
  30         nvals[i]++;
  31       }
  32     Console.WriteLine ("from {0}, to {1}, {2}.\n", from, to, val);
  33
  34     mt.PushProp (from, to, key, val);
  35   }
  36
  37   static void TestPushProp (int from, int to, MTextProperty prop)
  38   {
  39     for (int i = from; i < to; i++)
  40       if (nvals[i] == DEPTH)
  41         return;
  42
  43     for (int i = from; i < to; i++)
  44       {
  45         valtable[i, nvals[i]] = (MSymbol) prop.Val;
  46         nvals[i]++;
  47       }
  48     Console.WriteLine ("from {0}, to {1}, {2}.\n", from, to, prop);
  49
  50     mt.PushProp (from, to, prop);
  51   }
  52
  53   static void TestPopProp (int from, int to, MSymbol key)
  54   {
  55     for (int i = from; i < to; i++)
  56       if (nvals[i] > 0)
  57         {
  58           valtable[i, nvals[i] - 1] = null;
  59           nvals[i]--;
  60         }
  61     Console.WriteLine ("from {0}, to {1}, pop.\n", from, to);
  62
  63     mt.PopProp (from, to, key);
  64   }
  65
  66   static bool Compare ()
  67   {
  68     for (int i = 0; i < LENGTH; i++)
  69       {
  70         MTextProperty[] array;
  71         object val = mt.GetProp (i, key, out array);
  72
  73         if (array == null)
  74           {
  75             if (nvals[i] != 0)
  76               {
  77                 Console.WriteLine ("nvals[{0}] is {1}, array.Length is null.\n",
  78                                    i, nvals[i]);
  79                 return false;
  80               }
  81           }
  82
  83         else if (nvals[i] != array.Length)
  84           {
  85             Console.WriteLine ("nvals[{0}] is {1}, array.Length is {2}.\n",
  86                                i, nvals[i], array.Length);
  87             return false;
  88           }
  89
  90         else
  91           {
  92             for (int j = 0; j < nvals[i]; j++)
  93               if (valtable[i, nvals[i] - 1 - j] != (MSymbol) array[j].Val)
  94                 {
  95                   Console.WriteLine ("valtable[{0}, {1}] is {2}, array[{1}] is {3}.\n",
  96                                      i, j, valtable[i, j], array[j]);
  97                   return false;
  98                 }
  99           }
 100
 101         if (val == null)
 102           {
 103             if (nvals[i] != 0)
 104               {
 105                 Console.WriteLine ("GetProp returned null for index {0}.\n",
 106                                    i);
 107                 return false;
 108               }
 109           }
 110
 111         else
 112           {
 113             if (nvals[i] == 0)
 114               {
 115                 Console.WriteLine ("GetProp returned {0} for index {1}.\n",
 116                                    val, i);
 117                 return false;
 118               }
 119
 120             else if (valtable[i, nvals[i] - 1] == null)
 121               {
 122                 Console.WriteLine ("GetProp returned {0} for index {1}.\n",
 123                                    val, i);
 124                 return false;
 125               }
 126
 127             else if ((MSymbol) val != valtable[i, nvals[i] - 1])
 128               {
 129                 Console.WriteLine ("GetProp returned {0} for index {1}.\n",
 130                                    val, i);
 131                 return false;
 132               }
 133           }
 134       }
 135     return true;
 136   }
 137
 138   static void Dump ()
 139   {
 140     for (int i = 0; i < LENGTH; i++)
 141       {
 142         Console.Write (i + " ");
 143         for (int j = nvals[i] - 1; j >= 0; j--)
 144           Console.Write (valtable[i,j] + " ");
 145         Console.WriteLine (":");
 146       }
 147     Console.WriteLine ("");
 148   }
 149
 150   public static void Main (string[] args)
 151   {
 152     Random r = new Random (int.Parse (args[0]));
 153     int check = (args.Length > 1 ? int.Parse (args[1]) : -1);
 154
 155     for (int loop = 0; loop < 100000; loop++)
 156       {
 157         Console.WriteLine ("--- loop = {0} ---\n", loop);
 158         if (loop == check)
 159           {
 160             mt.DumpPropNested ();
 161             Dump ();
 162             M17N.M17N.debug = true;
 163           }
 164
 165         int from = r.Next (LENGTH);
 166         int to = r.Next (LENGTH + 1);
 167         if (from > to)
 168           {
 169             int tmp = from;
 170             from = to;
 171             to = tmp;
 172           }
 173
 174         MSymbol val;
 175         //MSymbol val = r.Next (2) == 0 ? val0 : val1;
 176         switch (r.Next (3))
 177           {
 178           case 0:
 179             val = val0;
 180             break;
 181           case 1:
 182             val = val1;
 183             break;
 184           default:
 185             val = val2;
 186             break;
 187           }
 188
 189         MTextProperty prop;
 190         //MTextProperty prop = r.Next (2) == 0 ? prop0 : prop1;
 191         switch (r.Next (3))
 192           {
 193           case 0:
 194             prop = prop0;
 195             break;
 196           case 1:
 197             prop = prop1;
 198             break;
 199           default:
 200             prop = prop2;
 201             break;
 202           }
 203
 204         switch (r.Next (3))
 205           {
 206           case 0:
 207             TestPushProp (from, to, key, val);
 208             break;
 209           case 1:
 210             TestPushProp (from, to, prop);
 211             break;
 212           case 2:
 213             TestPopProp (from, to, key);
 214             break;
 215           }
 216
 217         if (Compare () == false)
 218           {
 219             mt.DumpPropNested ();
 220             Console.WriteLine ("");
 221             Dump ();
 222             Console.WriteLine ("Failed.");
 223             return;
 224           }
 225       }
 226
 227   }
 228 }