X-Git-Url: http://git.chise.org/gitweb/?a=blobdiff_plain;f=textprop.cs;h=c44f0e8a6f72b1f2d9990b5080d3534b78534b5d;hb=f2f778ed07f1c2f3726dab64117d4863082e5919;hp=3131817a4332086ebfcc0f43dbb4364352a8c01e;hpb=18fc769c0976a57459232311917d9a4c0b9ad849;p=m17n%2Fm17n-lib-cs.git diff --git a/textprop.cs b/textprop.cs index 3131817..c44f0e8 100644 --- a/textprop.cs +++ b/textprop.cs @@ -1,24 +1,300 @@ using System; using System.Collections.Generic; +using M17N; using M17N.Core; public class Test { - public static void Main () + const int LENGTH = 10; + const int DEPTH = 10; + static MText mt = new MText ("0123456789"); + static MSymbol key = MSymbol.PropertyKey ("___"); +#if false + static MSymbol key_r = MSymbol.PropertyKey ("r__", + MProperty.Flags.RearSticky); + static MSymbol key_f = MSymbol.PropertyKey ("_f_", + MProperty.Flags.FrontSticky); + static MSymbol key_rf = MSymbol.PropertyKey ("rf_", + (MProperty.Flags.RearSticky + | MProperty.Flags.FrontSticky)); + static MSymbol key_s = MSymbol.PropertyKey ("__s", + MProperty.Flags.Sensitive); + static MSymbol key_rs = MSymbol.PropertyKey ("r_s", + (MProperty.Flags.RearSticky + | MProperty.Flags.Sensitive)); + static MSymbol key_fs = MSymbol.PropertyKey ("_fs", + (MProperty.Flags.FrontSticky + | MProperty.Flags.Sensitive)); + static MSymbol key_rfs = MSymbol.PropertyKey ("rfs", + (MProperty.Flags.RearSticky + | MProperty.Flags.FrontSticky + | MProperty.Flags.Sensitive)); +#endif + + static MSymbol val0 = MSymbol.Of ("0"); + static MSymbol val1 = MSymbol.Of ("1"); + static MSymbol val2 = MSymbol.Of ("2"); + static MProperty prop0 = new MProperty (key, val0); + static MProperty prop1 = new MProperty (key, val1); + static MProperty prop2 = new MProperty (key, val2); + + static int[] nvals = new int[LENGTH]; + static MSymbol[,] valtable = new MSymbol[LENGTH, DEPTH + 1]; + + static void TestPushProp (int from, int to, MSymbol key, MSymbol val) + { + for (int i = from; i < to; i++) + if (nvals[i] == DEPTH) + return; + + for (int i = from; i < to; i++) + { + valtable[i, nvals[i]] = val; + nvals[i]++; + } + Console.WriteLine ("from {0}, to {1}, push {2}, {3}.\n", + from, to, key, val); + + mt.PushProp (from, to, key, val); + } + + static void TestPushProp (int from, int to, MProperty prop) + { + for (int i = from; i < to; i++) + if (nvals[i] == DEPTH) + return; + + for (int i = from; i < to; i++) + { + valtable[i, nvals[i]] = (MSymbol) prop.Val; + nvals[i]++; + } + Console.WriteLine ("from {0}, to {1}, push {2}.\n", from, to, prop); + + mt.PushProp (from, to, prop); + } + + static void TestPopProp (int from, int to, MSymbol key) + { + for (int i = from; i < to; i++) + if (nvals[i] > 0) + { + valtable[i, nvals[i] - 1] = null; + nvals[i]--; + } + Console.WriteLine ("from {0}, to {1}, pop.\n", from, to); + + mt.PopProp (from, to, key); + } + + static void TestDelIns (int from, int to, int from2) + { + int i, j, l = to - from; + int[] nvals2 = new int[LENGTH]; + MSymbol[,] valtable2 = new MSymbol[LENGTH, DEPTH + 1]; + + // copy + for (i = from; i < to; i++) + { + nvals2[i - from] = nvals[i]; + for (j = 0; j < nvals[i]; j++) + valtable2[i - from, j] = valtable[i, j]; + } + + // delete + for (i = to; i < LENGTH; i++) + { + nvals[i - l] = nvals[i]; + for (j = 0; j < nvals[i]; j++) + valtable[i - l, j] = valtable[i, j]; + } + + // move + for (i = LENGTH - 1; i >= from2 + l; i--) + { + nvals[i] = nvals[i - l]; + for (j = 0; j < nvals[i]; j++) + valtable[i, j] = valtable[i - l, j]; + } + + // insert + for (i = from2; i < from2 + l; i++) + { + nvals[i] = nvals2[i - from2]; + for (j = 0; j < nvals[i]; j++) + valtable[i, j] = valtable2[i - from2, j]; + } + Console.WriteLine ("from {0}, to {1}, moveto {2}.\n", from, to, from2); + + MText mt2 = mt.Dup (); + mt.Del (from, to); + mt.Ins (from2, mt2, from, to); + } + + static bool Compare () + { + for (int i = 0; i < LENGTH; i++) + { + MProperty[] array; + object val = mt.GetProp (i, key, out array); + + if (array == null) + { + if (nvals[i] != 0) + { + Console.WriteLine ("nvals[{0}] is {1}, array.Length is null.\n", + i, nvals[i]); + return false; + } + } + + else if (nvals[i] != array.Length) + { + Console.WriteLine ("nvals[{0}] is {1}, array.Length is {2}.\n", + i, nvals[i], array.Length); + return false; + } + + else + { + for (int j = 0; j < nvals[i]; j++) + if (valtable[i, nvals[i] - 1 - j] != (MSymbol) array[j].Val) + { + Console.WriteLine ("valtable[{0}, {1}] is {2}, array[{1}] is {3}.\n", + i, j, valtable[i, j], array[j]); + return false; + } + } + + if (val == null) + { + if (nvals[i] != 0) + { + Console.WriteLine ("GetProp returned null for index {0}.\n", + i); + return false; + } + } + + else + { + if (nvals[i] == 0) + { + Console.WriteLine ("GetProp returned {0} for index {1}.\n", + val, i); + return false; + } + + else if (valtable[i, nvals[i] - 1] == null) + { + Console.WriteLine ("GetProp returned {0} for index {1}.\n", + val, i); + return false; + } + + else if ((MSymbol) val != valtable[i, nvals[i] - 1]) + { + Console.WriteLine ("GetProp returned {0} for index {1}.\n", + val, i); + return false; + } + } + } + return true; + } + + static void Dump () + { + for (int i = 0; i < LENGTH; i++) + { + Console.Write (i + " "); + for (int j = nvals[i] - 1; j >= 0; j--) + Console.Write (valtable[i,j] + " "); + Console.WriteLine (":"); + } + Console.WriteLine (""); + } + + public static void Main (string[] args) { - String str = "0123456789"; - MText mt = new MText (str); - MSymbol sym = new MSymbol ("sym"); - MTextProperty prop1 = new MTextProperty (sym, "test1"); - MTextProperty prop2 = new MTextProperty (sym, "test2"); - - mt.PushProp (2, 5, prop1); - mt.DumpProp (); - mt.PushProp (3, 6, prop2); - mt.DumpProp (); - mt.Del (4, 9); - mt.DumpProp (); - mt.Ins (4, new MText ("45678")); - mt.DumpProp (); + Random r = new Random (int.Parse (args[0])); + int check = (args.Length > 1 ? int.Parse (args[1]) : 0xFFFFFFF); + + for (int loop = 0; loop < 1000000; loop++) + { + Console.WriteLine ("--- loop = {0} ---\n", loop); + if (loop >= check) + { + mt.DumpPropNested (); + Dump (); + M17n.debug = true; + } + + int from = r.Next (LENGTH); + int to = r.Next (LENGTH + 1); + if (from > to) + { + int tmp = from; + from = to; + to = tmp; + } + + MSymbol val; + //MSymbol val = r.Next (2) == 0 ? val0 : val1; + switch (r.Next (3)) + { + case 0: + val = val0; + break; + case 1: + val = val1; + break; + default: + val = val2; + break; + } + + MProperty prop; + //MProperty prop = r.Next (2) == 0 ? prop0 : prop1; + switch (r.Next (3)) + { + case 0: + prop = prop0; + break; + case 1: + prop = prop1; + break; + default: + prop = prop2; + break; + } + + switch (r.Next (4)) + { + case 0: + TestPushProp (from, to, key, val); + break; + case 1: + TestPushProp (from, to, prop); + break; + case 2: + TestPopProp (from, to, key); + break; + case 3: + TestDelIns (from, to, r.Next (LENGTH - (to - from) + 1)); + break; + } + + if (M17n.debug) + mt.DumpPropNested (); + + if (Compare () == false) + { + Console.WriteLine (""); + Dump (); + Console.WriteLine ("Failed."); + return; + } + } } }