const int LENGTH = 10;
const int DEPTH = 10;
static MText mt = new MText ("0123456789");
- static MSymbol key = MSymbol.Of ("k");
+ static MSymbol key = MSymbol.PropertyKey ("k");
+ static MSymbol key_r = MSymbol.PropertyKey ("k",
+ MProperty.Flags.RearSticky);
+ static MSymbol key_f = MSymbol.PropertyKey ("k",
+ MProperty.Flags.FrontSticky);
+ static MSymbol key_rf = MSymbol.PropertyKey ("k",
+ (MProperty.Flags.RearSticky
+ | MProperty.Flags.FrontSticky));
+ static MSymbol key_s = MSymbol.PropertyKey ("k",
+ MProperty.Flags.Sensitive);
+ static MSymbol key_rs = MSymbol.PropertyKey ("k",
+ (MProperty.Flags.RearSticky
+ | MProperty.Flags.Sensitive));
+ static MSymbol key_fs = MSymbol.PropertyKey ("k",
+ (MProperty.Flags.FrontSticky
+ | MProperty.Flags.Sensitive));
+ static MSymbol key_rfs = MSymbol.PropertyKey ("k",
+ (MProperty.Flags.RearSticky
+ | MProperty.Flags.FrontSticky
+ | MProperty.Flags.Sensitive));
+
static MSymbol val0 = MSymbol.Of ("0");
static MSymbol val1 = MSymbol.Of ("1");
static MSymbol val2 = MSymbol.Of ("2");