*** empty log message ***
[m17n/m17n-lib-js.git] / xex.js
diff --git a/xex.js b/xex.js
index f3d5088..19683a1 100644 (file)
--- a/xex.js
+++ b/xex.js
@@ -1,17 +1,99 @@
-// -* coding: utf-8; -*
+// xex.js -- Xex (XML Expression) interpreter
+// Copyright (C) 2010
+//   National Institute of Advanced Industrial Science and Technology (AIST)
+//   Registration Number H15PRO112
+
+// This file is part of the m17n database; a sub-part of the m17n
+// library.
+
+// The m17n library is free software; you can redistribute it and/or
+// modify it under the terms of the GNU Lesser General Public License
+// as published by the Free Software Foundation; either version 2.1 of
+// the License, or (at your option) any later version.
+
+// The m17n library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+// Lesser General Public License for more details.
+
+// You should have received a copy of the GNU Lesser General Public
+// License along with the m17n library; if not, write to the Free
+// Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
+// Boston, MA 02110-1301, USA.
+
+var Xex = {};
+
+(function () {                 // Tracing
+  // The logging node containing tracing information.
+  var log = null;
+  // Number of lines.
+  var lines;
+  // Style properties of the logging node.
+  var styles = { border: '1px solid black',
+                font: 'normal normal normal small monospace',
+                width: '100%',
+                minHeight: '300px',
+                maxHeight: '300px',
+                overflow: 'auto' };
+  
+  // Toggle logging on and off.  PARENT if non-null specifies the
+  // parent of the log node.  The log node is appended to the parent.
+  // If PARENT is null, 'body' node is assumed.
+  Xex.LogToggle = function (parent)
+  {
+    if (log)
+      {
+       log.parentNode.removeChild (log);
+       log = null;
+       return;
+      }
+    if (! parent)
+      parent = document.getElementsByTagName ('body')[0];
+    log = document.createElement ('ol');
+    for (var prop in styles)
+      log.style[prop] = styles[prop];
+    parent.appendChild (log);
+    lines = 0;
+    return log;
+  }
 
-var Xex = {
-  LogNode: null,
-  Log: function (indent, arg)
+  // Log ARG
+  Xex.Log = function (arg, indent)
   {
-    if (! Xex.LogNode)
+    if (! log)
       return;
-    var str = '';
-    for (var i = 0; i < indent; i++)
-      str += '  ';
-    Xex.LogNode.value = str + arg + "\n" + Xex.LogNode.value;
+    if (! arg)
+      {
+       while (log.childNodes.length > 0)
+         log.removeChild (log.firstChild);
+       lines = 0;
+      }
+    else
+      {
+       var node;
+       if (indent == -1)
+         log.lastChild.innerText += arg;
+       else
+         {
+           lines++;
+           if (lines >= 60)
+             {
+               node = log.firstElement ();
+               log.start = lines - 58;
+             }
+           else
+             node = document.createElement ('li');
+           if (indent != undefined)
+             node.style.textIndent = (indent + 1) + 'em';
+           else
+             node.style.textIndent = '0px';
+           node.innerText = arg;
+           log.appendChild (node);
+           log.scrollTop = log.scrollHeight;
+         }
+      }
   }
-};
+}) ();
 
 Xex.Error = {
   UnknownError: "unknown-error",
@@ -85,7 +167,7 @@ Xex.Subrountine = function (builtin, name, with_var, min_args, max_args)
 
 Xex.Subrountine.prototype.Call = function (domain, vari, args)
 {
-  newargs = new Array ();
+  var newargs = new Array ();
   for (var i = 0; i < args.length; i++)
     {
       newargs[i] = args[i].Eval (domain);
@@ -182,9 +264,9 @@ Xex.Macro.prototype.Call = function (domain, vari, args)
       domain.Bind (this.args[i], args[i]);
     try {
       domain.Catch (Xex.CatchTag.Return);
-      for (var term in body)
+      for (var i in this.body)
         {
-         result = term.Eval (domain);
+         result = this.body[i].Eval (domain);
          if (domain.Thrown ())
            break;
        }
@@ -243,7 +325,11 @@ Xex.Domain = function (name, parent, context)
       for (elt in parent.functions)
        this.functions[elt] = parent.functions[elt];
       for (elt in parent.variables)
-       this.variables[elt] = parent.variables[elt];
+       {
+         var vari = parent.variables[elt];
+         this.variables[elt] = new Xex.Variable (this, vari.name, vari.desc,
+                                                 vari.val, vari.range);
+       }
     }
 
   this.call_stack = new Array ();
@@ -421,7 +507,7 @@ Xex.Term.prototype = {
   Equals: function (obj)
   {
     return (this.type == obj.type
-           && this.val
+           && this.val != undefined
            && obj.val == this.val);
   },
   Matches: function (obj) { return this.Equals (obj); },
@@ -460,7 +546,7 @@ Node.prototype.nextElement = function ()
     if (! name)
       throw new Xex.ErrTerm (Xex.Error.NoVariableName, node, '');
     var vari = domain.variables[name];
-    var desc, val, range;
+    var desc, val = null, range;
     if (vari)
       {
        desc = vari.description;
@@ -508,7 +594,7 @@ Node.prototype.nextElement = function ()
              range.push (pval);
          }
       }
-    if (! val)
+    if (val == null)
       val = Xex.Zero;
     domain.Defvar (name, desc, val, range);
     return name;
@@ -618,10 +704,9 @@ Xex.Varref = function (vname)
   proto.Clone = function () { return new Xex.Varref (this.val); }
   proto.Eval = function (domain)
   {
-    if (! this.vari || this.vari.domain != domain)
-      this.vari = domain.GetVarCreate (this.val);
-    Xex.Log (domain.depth, this.ToString () + '=>' + this.vari.val);
-    return this.vari.val;
+    var vari = domain.GetVarCreate (this.val);
+    Xex.Log (this.ToString () + '=>' + vari.val, domain.depth);
+    return vari.val;
   }
 
   proto.Parser = function (domain, node)
@@ -639,10 +724,10 @@ Xex.Varref = function (vname)
 
 var null_args = new Array ();
   
-Xex.Funcall = function (func, vari, args)
+Xex.Funcall = function (func, vname, args)
 {
   this.func = func;
-  this.vari = vari;
+  this.vname = vname;
   this.args = args || null_args;
 };
 
@@ -657,18 +742,17 @@ Xex.Funcall = function (func, vari, args)
     if (fname == 'funcall')
       fname = node.attributes['fname'].nodeValue;
     var func = domain.GetFunc (fname);
-    var vari;
+    var vname;
     attr = node.attributes['vname'];
-    vari = attr != undefined ? domain.GetVarCreate (attr.nodeValue) : false;
+    vname = attr != undefined ? attr.nodeValue : null;
     var args = Xex.Term.Parse (domain, node.firstElement (), null);
-    return new Xex.Funcall (func, vari, args);
+    return new Xex.Funcall (func, vname, args);
   }
 
   proto.New = function (domain, fname, vname, args)
   {
     var func = domain.GetFunc (fname);
-    var vari = vname ? domain.GetVarCreate (vname) : null;
-    var funcall = new Xex.Funcall (func, vari, args);
+    var funcall = new Xex.Funcall (func, vname, args);
     if (func instanceof Xex.Macro)
       funcall = funcall.Eval (domain);
     return funcall;
@@ -676,12 +760,17 @@ Xex.Funcall = function (func, vari, args)
 
   proto.Eval = function (domain)
   {
-    Xex.Log (domain.depth++, this);
+    Xex.Log (this, domain.depth);
+    var vari;
+    if (this.vname)
+      vari = domain.GetVarCreate (this.vname);
+    domain.depth++;
     var result;
     try {
-      result = this.func.Call (domain, this.vari, this.args);
+      result = this.func.Call (domain, vari, this.args);
     } finally {
-      Xex.Log (--domain.depth, this + ' => ' + result);
+      Xex.Log (' => ' + result, --domain.depth,
+              this.func instanceof Xex.Subrountine);
     }
     return result;
   }
@@ -704,12 +793,16 @@ Xex.Funcall = function (func, vari, args)
     var arglist = ''
     var len = this.args.length;
     var str = '<' + this.func.name;
-    if (this.vari)
-      str += ' vname="' + this.vari.name + '"';
+    if (this.vname)
+      str += ' vname="' + this.vname + '"';
     if (len == 0)
       return str + '/>';
-    for (var i = 0; i < len; i++)
-      arglist += this.args[i].toString ();
+    if (this.func instanceof Xex.Subrountine)
+      for (var i = 0; i < len; i++)
+       arglist += this.args[i].toString ();
+    else
+      for (var i = 0; i < len; i++)
+       arglist += '.';
     return str + '>' + arglist + '</' + this.func.name + '>';
   }
 
@@ -791,7 +884,7 @@ Xex.StrTerm = function (str) { this.val = str; };
   proto.Clone = function () { return new Xex.StrTerm (this.val); }
   proto.Parser = function (domain, node)
   {
-    return new Xex.StrTerm (node.firstChild.nodeValue);
+    return new Xex.StrTerm (node.firstChild ? node.firstChild.nodeValue : '');
   }
   Xex.StrTerm.prototype = proto;
 }) ();
@@ -852,19 +945,6 @@ Xex.LstTerm = function (list) { this.val = list; };
 
   function Fset (domain, vari, args)
   {
-    return vari.SetValue (args[0]);
-  }
-
-  function maybe_set_intvar (vari, n)
-  {
-    var term = new Xex.IntTerm (n);
-    if (vari != null)
-      vari.SetValue (term);
-    return term;
-  }
-
-  function Fset (domain, vari, args)
-  {
     if (! vari)
       throw new Xex.ErrTerm (Xex.Error.NoVariableName,
                             'No variable name to set');
@@ -872,9 +952,14 @@ Xex.LstTerm = function (list) { this.val = list; };
     return args[0];
   }
 
+  function Fnot (domain, vari, args)
+  {
+    return (args[0].IsTrue () ? Xex.Zero : Xex.One);
+  }
+
   function maybe_set_intvar (vari, n)
   {
-    var term = new IntTerm (n);
+    var term = new Xex.IntTerm (n);
     if (vari)
       vari.SetValue (term);
     return term;
@@ -894,7 +979,7 @@ Xex.LstTerm = function (list) { this.val = list; };
   {
     var n = vari ? vari.val.Intval () : 1;
     for (var i = 0; i < args.length; i++)
-      n *= arg.Intval ();
+      n *= args[i].Intval ();
     return maybe_set_intvar (vari, n);
   }
 
@@ -949,6 +1034,39 @@ Xex.LstTerm = function (list) { this.val = list; };
     return maybe_set_intvar (vari, n);
   }
 
+  function Flogand (domain, vari, args)
+  {
+    var n, i;
+    if (vari == null)
+      {
+       Xex.Log ("logand arg args[0]" + args[0]);
+       n = args[0].Intval ()
+       i = 1;
+      }
+    else
+      {
+       Xex.Log ("logand arg var " + vari);
+       n = vari.val.Intval ();
+       i = 0;
+      }
+    while (n > 0 && i < args.length)
+      {
+       Xex.Log ("logand arg " + args[i]);
+       n &= args[i++].val;
+      }
+    return maybe_set_intvar (vari, n);
+  }
+
+  function Flsh (domain, vari, args)
+  {
+    return maybe_set_intvar (vari, args[0].Intval () << args[1].Intval ());
+  }
+
+  function Frsh (domain, vari, args)
+  {
+    return maybe_set_intvar (vari, args[0].Intval () >> args[1].Intval ());
+  }
+
   function Fand (domain, vari, args)
   {
     var len = args.length;
@@ -985,13 +1103,18 @@ Xex.LstTerm = function (list) { this.val = list; };
     return Xex.One;
   }
 
+  function Fnoteq (domain, vari, args)
+  {
+    return (Feq (domain, vari, args) == Xex.One ? Xex.Zero : Xex.One);
+  }
+
   function Flt (domain, vari, args)
   {
-    var n = args[0].Intval;
+    var n = args[0].Intval ();
 
     for (var i = 1; i < args.length; i++)
       {
-       var n1 = args[i].Intval;
+       var n1 = args[i].Intval ();
        if (n >= n1)
          return Xex.Zero;
        n = n1;
@@ -1001,10 +1124,10 @@ Xex.LstTerm = function (list) { this.val = list; };
 
   function Fle (domain, vari, args)
   {
-    var n = args[0].Intval;
+    var n = args[0].Intval ();
     for (var i = 1; i < args.length; i++)
       {
-       var n1 = args[i].Intval;
+       var n1 = args[i].Intval ();
        if (n > n1)
          return Xex.Zero;
        n = n1;
@@ -1014,10 +1137,10 @@ Xex.LstTerm = function (list) { this.val = list; };
 
   function Fgt (domain, vari, args)
   {
-    var n = args[0].Intval;
+    var n = args[0].Intval ();
     for (var i = 1; i < args.length; i++)
       {
-       var n1 = args[i].Intval;
+       var n1 = args[i].Intval ();
        if (n <= n1)
          return Xex.Zero;
        n = n1;
@@ -1027,10 +1150,10 @@ Xex.LstTerm = function (list) { this.val = list; };
 
   function Fge (domain, vari, args)
   {
-    var n = args[0].Intval;
-    for (var i = 1; i < args.Length; i++)
+    var n = args[0].Intval ();
+    for (var i = 1; i < args.length; i++)
       {
-       var n1 = args[i].Intval;
+       var n1 = args[i].Intval ();
        if (n < n1)
          return Xex.Zero;
        n = n1;
@@ -1061,7 +1184,7 @@ Xex.LstTerm = function (list) { this.val = list; };
     if (result.IsTrue ())
       return args[1].Eval (domain);
     if (args.length == 2)
-      return Zero;
+      return Xex.Zero;
     return args[2].Eval (domain);
   }
 
@@ -1069,9 +1192,9 @@ Xex.LstTerm = function (list) { this.val = list; };
   {
     for (var i = 0; i < args.length; i++)
       {
-       var list = args[i].val;
-       var result = list.val[0].Eval (doamin);
-       if (result.isTrue ())
+       var list = args[i];
+       var result = list.val[0].Eval (domain);
+       if (result.IsTrue ())
          {
            for (var j = 1; j < list.val.length; j++)
              {
@@ -1159,8 +1282,8 @@ Xex.LstTerm = function (list) { this.val = list; };
 
   basic.DefSubr (Fset, "set", true, 1, 1);
   basic.DefAlias ("=", "set");
-  //basic.DefSubr (Fnot, "not", false, 1, 1);
-  //basic.DefAlias ("!", "not");
+  basic.DefSubr (Fnot, "not", false, 1, 1);
+  basic.DefAlias ("!", "not");
   basic.DefSubr (Fadd, "add", true, 1, -1);
   basic.DefSubr (Fmul, "mul", true, 1, -1);
   basic.DefAlias ("*", "mul");
@@ -1172,16 +1295,16 @@ Xex.LstTerm = function (list) { this.val = list; };
   basic.DefAlias ("%", "mod");
   basic.DefSubr (Flogior, "logior", true, 1, -1);
   basic.DefAlias ('|', "logior");
-  //basic.DefSubr (Flogand, "logand", true, 1, -1);
-  //basic.DefAlias ("&", "logand");
-  //basic.DefSubr (Flsh, "lsh", true, 1, 2);
-  //basic.DefAlias ("<<", "lsh");
-  //basic.DefSubr (Frsh, "rsh", true, 1, 2);
-  //basic.DefAlias (">>", "rsh");
+  basic.DefSubr (Flogand, "logand", true, 1, -1);
+  basic.DefAlias ("&", "logand");
+  basic.DefSubr (Flsh, "lsh", true, 1, 2);
+  basic.DefAlias ("<<", "lsh");
+  basic.DefSubr (Frsh, "rsh", true, 1, 2);
+  basic.DefAlias (">>", "rsh");
   basic.DefSubr (Feq, "eq", false, 2, -1);
   basic.DefAlias ("==", "eq");
-  //basic.DefSubr (Fnoteq, "noteq", false, 2, 2);
-  //basic.DefAlias ("!=", "noteq");
+  basic.DefSubr (Fnoteq, "noteq", false, 2, 2);
+  basic.DefAlias ("!=", "noteq");
   basic.DefSubr (Flt, "lt", false, 2, -1);
   basic.DefAlias ("<", "lt");
   basic.DefSubr (Fle, "le", false, 2, -1);
@@ -1240,1842 +1363,5 @@ Xex.Load = function (server, file)
   obj.open ('GET', url, false);
   obj.overrideMimeType ('text/xml');
   obj.send ('');
-  return obj.responseXML.firstChild;
-}
-
-var MIM = {
-  // URL of the input method server.
-  server: "http://www.m17n.org/common/mim-js",
-  // Boolean flag to tell if MIM is active or not.
-  enabled: true,
-  // Boolean flag to tell if MIM is running in debug mode or not.
-  debug: false,
-  // List of main input methods.
-  imlist: {},
-  // List of extra input methods;
-  imextra: {},
-  // Global input method data
-  im_global: null,
-  // Currently selected input method.
-  current: false,
-
-  // enum
-  LoadStatus: { NotLoaded:0, Loading:1, Loaded:2, Error:-1 },
-  ChangedStatus: {
-    None:      0x00,
-    StateTitle:        0x01,
-    PreeditText:0x02,
-    CursorPos: 0x04,
-    CandidateList:0x08,
-    CandidateIndex:0x10,
-    CandidateShow:0x20,
-    Preedit:   0x06,           // PreeditText | CursorPos
-    Candidate: 0x38 // CandidateList | CandidateIndex | CandidateShow
-  },
-  KeyModifier: {
-    SL:        0x00400000,
-    SR:        0x00800000,
-    S: 0x00C00000,
-    CL:        0x01000000,
-    CR:        0x02000000,
-    C: 0x03000000,
-    AL:        0x04000000,
-    AR:        0x08000000,
-    A: 0x0C000000,
-    ML:        0x04000000,
-    MR:        0x08000000,
-    M: 0x0C000000,
-    G: 0x10000000,
-    s: 0x20000000,
-    H: 0x40000000,
-    High:      0x70000000,
-    All:       0x7FC00000
-  },
-  Error: {
-    ParseError: "parse-error"
-  }
-};
-  
-(function () {
-  var keysyms = new Array ();
-  keysyms["bs"]        = "backspace";
-  keysyms["lf"]        = "linefeed";
-  keysyms["cr"]        = keysyms["enter"] = "return";
-  keysyms["esc"] = "escape";
-  keysyms["spc"] = "space";
-  keysyms["del"] = "delete";
-
-  function decode_keysym (str) {
-    var parts = str.split ("-");
-    var len = parts.length, i;
-    var has_modifier = len > 1;
-
-    for (i = 0; i < len - 1; i++)
-      if (! MIM.KeyModifier.hasOwnProperty (parts[i]))
-       return false;
-    var key = parts[len - 1];
-    if (key.length > 1)
-      {
-       key = keysyms[key.toLowerCase ()];
-       if (key)
-         {
-           if (len > 1)
-             {
-               str = parts[0];
-               for (i = 1; i < len - 1; i++)
-                 str += '-' + parts[i];
-               str += '-' + key;
-             }
-           else
-             str = key;
-         }
-      }
-    if (has_modifier)
-      {
-       parts = new Array ();
-       parts.push (str);
-       return parts;
-      }
-    return str;
-  }
-
-  MIM.Key = function (val)
-  {
-    this.key;
-    this.has_modifier = false;
-    if (typeof val == 'string' || val instanceof String)
-      {
-       this.key = decode_keysym (val);
-       if (! this.key)
-         throw new Xex.ErrTerm (MIM.Error.ParseError, "Invalid key: " + val);
-       if (this.key instanceof Array)
-         {
-           this.key = this.key[0];
-           this.has_modifier = true;
-         }
-      }
-    else if (typeof val == 'number' || val instanceof Number)
-      this.key = String.fromCharCode (val);
-    else
-      throw new Xex.ErrTerm (MIM.Error.ParseError, "Invalid key: " + val);
-  }
-
-  MIM.Key.prototype.toString = function () { return this.key; };
-}) ();
-
-(function () {
-  MIM.KeySeq = function (seq)
-  {
-    this.val = new Array ();
-    this.has_modifier = false;
-
-    if (seq)
-      {
-       if (seq.IsList)
-         {
-           var len = seq.val.length;
-           for (var i = 0; i < len; i++)
-             {
-               var v = seq.val[i];
-               if (v.type != 'string' && v.type != 'integer'
-                   && v.type != 'symbol')
-                 throw new Xex.ErrTerm (MIM.Error.ParseError,
-                                        "Invalid key: " + v);
-               var key = new MIM.Key (v.val);
-               this.val.push (key);
-               if (key.has_modifier)
-                 this.has_modifier = true;
-             }
-         }
-       else if (seq.IsStr)
-         {
-           var len = seq.val.length;
-           for (var i = 0; i < len; i++)
-             this.val.push (new MIM.Key (seq.val.charCodeAt (i)));
-         }
-       else
-         throw new Xex.ErrTerm (MIM.Error.ParseError, "Invalid key: " + seq);
-      }
-  }
-
-  var proto = new Xex.Term ('keyseq');
-  proto.Clone = function () { return this; }
-  proto.Parser = function (domain, node)
-  {
-    var seq = new Array ();
-    for (node = node.firstChild; node; node = node.nextSibling)
-      if (node.nodeType == 1)
-       {
-         var term = Xex.Term.Parse (domain, node);
-         return new MIM.KeySeq (term);
-       }
-    throw new Xex.ErrTerm (MIM.Error.ParseError, "Invalid keyseq");
-  }
-  proto.toString = function ()
-  {
-    var len = this.val.length;
-    if (len == 0)
-      return '<keyseq/>';
-    var first = true;
-    var str = '<keyseq>';
-    for (var i = 0; i < len; i++)
-      {
-       if (first)
-         first = false;
-       else if (this.has_modifier)
-         str += ' ';
-       str += this.val[i].toString ();
-      }
-    return str + '</keyseq>';
-  }
-
-  MIM.KeySeq.prototype = proto;
-}) ();
-
-(function () {
-  MIM.Marker = function () { }
-  MIM.Marker.prototype = new Xex.Term ('marker');
-  MIM.Marker.prototype.CharAt = function (ic)
-  {
-    var p = this.Position (ic);
-    if (p < 0 || p >= ic.preedit.length)
-      return 0;
-    return ic.preedit.charCodeAt (p);
-  }
-
-  MIM.NamedMarker = function (name) { this.val = name; }
-  MIM.NamedMarker.prototype = new MIM.Marker ();
-  MIM.NamedMarker.prototype.Position = function (ic)
-  {
-    var p = ic.marker_positions[this.val];
-    return (p == undefined ? 0 : p);
-  }
-  MIM.NamedMarker.prototype.Mark = function (ic)
-  {
-    ic.marker_positions[this.val] = ic.cursor_pos;
-  }
-
-  MIM.PredefinedMarker = function (name) { this.val = name; }
-  MIM.PredefinedMarker.prototype = new MIM.Marker ();
-  MIM.PredefinedMarker.prototype.Position = function (ic)
-  {
-    if (typeof this.pos == 'number')
-      return this.pos;
-    return this.pos (ic);
-  }
-
-  var predefined = { }
-
-  function def_predefined (name, position)
-  {
-    predefined[name] = new MIM.PredefinedMarker (name);
-    predefined[name].pos = position;
-  }
-
-  def_predefined ('@<', 0);
-  def_predefined ('@>', function (ic) { return ic.preedit.length; });
-  def_predefined ('@-', function (ic) { return ic.cursor_pos - 1; });
-  def_predefined ('@+', function (ic) { return ic.cursor_pos + 1; });
-  def_predefined ('@[', function (ic) {
-    if (ic.cursor_pos > 0)
-      {
-       var pos = ic.cursor_pos;
-       return ic.preedit.FindProp ('candidates', pos - 1).from;
-      }
-    return 0;
-  });
-  def_predefined ('@]', function (ic) {
-    if (ic.cursor_pos < ic.preedit.length - 1)
-      {
-       var pos = ic.cursor_pos;
-       return ic.preedit.FindProp ('candidates', pos).to;
-      }
-    return ic.preedit.length;
-  });
-  for (var i = 0; i < 10; i++)
-    def_predefined ("@" + i, i);
-  predefined['@first'] = predefined['@<'];
-  predefined['@last'] = predefined['@>'];
-  predefined['@previous'] = predefined['@-'];
-  predefined['@next'] = predefined['@+'];
-  predefined['@previous-candidate-change'] = predefined['@['];
-  predefined['@next-candidate-change'] = predefined['@]'];
-
-  MIM.SurroundMarker = function (name)
-  {
-    this.val = name;
-    this.distance = parseInt (name.slice (1));
-    if (isNaN (this.distance))
-      throw new Xex.ErrTerm (MIM.Error.ParseError, "Invalid marker: " + name);
-  }
-  MIM.SurroundMarker.prototype = new MIM.Marker ();
-  MIM.SurroundMarker.prototype.Position = function (ic)
-  {
-    return ic.cursor_pos + this.distance;
-  }
-  MIM.SurroundMarker.prototype.CharAt = function (ic)
-  {
-    if (this.val == '@-0')
-      return -1;
-    var p = this.Position (ic);
-    if (p < 0)
-      return ic.GetSurroundingChar (p);
-    else if (p >= ic.preedit.length)
-      return ic.GetSurroundingChar (p - ic.preedit.length);
-    return ic.preedit.charCodeAt (p);
-  }
-
-  MIM.Marker.prototype.Parser = function (domain, node)
-  {
-    var name = node.firstChild.nodeValue;
-    if (name.charAt (0) == '@')
-      {
-       var n = predefined[name];
-       if (n)
-         return n;
-       if (name.charAt (1) == '-')
-         return new MIM.SurroundMarker (name);
-       throw new Xex.ErrTerm (MIM.Error.ParseError,
-                              "Invalid marker: " + name);
-      }
-    return new MIM.NamedMarker (name);
-  }
-}) ();
-
-MIM.Selector = function (name)
-{
-  this.val = name;
-}
-MIM.Selector.prototype = new Xex.Term ('selector');
-
-(function () {
-  var selectors = {};
-  selectors["@<"] = selectors["@first"] = new MIM.Selector ('@<');
-  selectors["@="] = selectors["@current"] = new MIM.Selector ('@=');
-  selectors["@>"] = selectors["@last"] = new MIM.Selector ('@>');
-  selectors["@-"] = selectors["@previous"] = new MIM.Selector ('@-');
-  selectors["@+"] = selectors["@next"] = new MIM.Selector ('@+');
-  selectors["@["] = selectors["@previous-candidate-change"]
-    = new MIM.Selector ('@[');
-  selectors["@]"] = selectors["@next-candidate-change"]
-    = new MIM.Selector ('@]');
-
-  MIM.Selector.prototype.Parser = function (domain, node)
-  {
-    var name = node.firstChild.nodeValue;
-    var s = selectors[name];
-    if (! s)
-      throw new Xex.ErrTerm (MIM.Error.ParseError,
-                            "Invalid selector: " + name);
-    return s;
-  }
-}) ();
-
-MIM.Rule = function (keyseq, actions)
-{
-  this.keyseq = keyseq;
-  this.actions = actions;
-}
-MIM.Rule.prototype = new Xex.Term ('rule');
-MIM.Rule.prototype.Parser = function (domain, node)
-{
-  var n;
-  for (n = node.firstChild; n && n.nodeType != 1; n = n.nextSibling);
-  if (! n)
-    throw new Xex.ErrTerm (MIM.Error.ParseError, "invalid rule:" + node);
-  var keyseq = Xex.Term.Parse (domain, n);
-  if (keyseq.type != 'keyseq')
-    throw new Xex.ErrTerm (MIM.Error.ParseError, "invalid rule:" + node);
-  var actions = Xex.Term.Parse (domain, n.nextElement (), null);
-  return new MIM.Rule (keyseq, actions);
-}
-MIM.Rule.prototype.toString = function ()
-{
-  return '<rule/>';
-}
-
-MIM.Map = function (name)
-{
-  this.name = name;
-  this.rules = new Array ();
-};
-
-(function () {
-  var proto = new Xex.Term ('map');
-
-  proto.Parser = function (domain, node)
-  {
-    var name = node.attributes['mname'].nodeValue;
-    if (! name)
-      throw new Xex.ErrTerm (MIM.Error.ParseError, "invalid map");
-    var map = new MIM.Map (name);
-    for (var n = node.firstChild; n; n = n.nextSibling)
-      if (n.nodeType == 1)
-       map.rules.push (Xex.Term.Parse (domain, n));
-    return map;
-  }
-
-  proto.toString = function ()
-  {
-    var str = '<map mname="' + this.name + '">';
-    var len = this.rules.length;
-    for (i = 0; i < len; i++)
-      str += this.rules[i];
-    return str + '</map>';
-  }
-
-  MIM.Map.prototype = proto;
-}) ();
-
-Xex.CatchTag._mimtag = new Xex.SymTerm ('@mimtag');
-
-MIM.Action = function (domain, terms)
-{
-  var args = new Array ();
-  args.push (Xex.CatchTag_.mimtag);
-  for (var i = 0; i < terms.length; i++)
-    args.push (terms[i]);
-  this.action = Xex.Funcall.prototype.New (domain, 'catch', null, args);
+  return (obj.responseXML && obj.responseXML.firstChild);
 }
-
-MIM.Action.prototype.Run = function (domain)
-{
-  var result = this.action.Eval (domain);
-  if (result.type == 'error')
-    {
-      domain.context.Error = result.toString ();
-      return false;
-    }
-  return (result != Xex.CatchTag._mimtag);
-}
-
-MIM.Keymap = function ()
-{
-  this.name = 'TOP';
-  this.submaps = null;
-  this.actions = null;
-};
-
-(function () {
-  var proto = {};
-
-  function add_rule (keymap, rule)
-  {
-    var keyseq = rule.keyseq;
-    var len = keyseq.val.length;
-    var name = '';
-
-    for (var i = 0; i < len; i++)
-      {
-       var key = keyseq.val[i];
-       var sub = false;
-
-       name += key.key;
-       if (! keymap.submaps)
-         keymap.submaps = {};
-       else
-         sub = keymap.submaps[key.key];
-       if (! sub)
-         keymap.submaps[key.key] = sub = new MIM.Keymap ();
-       keymap = sub;
-       keymap.name = name;
-      }
-    keymap.actions = rule.actions;
-  }
-
-  proto.Add = function (map)
-  {
-    var rules = map.rules;
-    var len = rules.length;
-
-    for (var i = 0; i < len; i++)
-      add_rule (this, rules[i]);
-  }
-  proto.Lookup = function (keys, index)
-  {
-    var sub;
-
-    if (index < keys.val.length && this.submaps
-       && (sub = this.submaps[keys.val[index].key]))
-      {
-       index++;
-       return sub.Lookup (keys, index);
-      }
-    return { map: this, index: index };
-  }
-
-  MIM.Keymap.prototype = proto;
-}) ();
-
-MIM.State = function (name)
-{
-  this.name = name;
-  this.keymap = new MIM.Keymap ();
-};
-
-(function () {
-  var proto = new Xex.Term ('state');
-
-  proto.Parser = function (domain, node)
-  {
-    var map_list = domain.map_list;
-    var name = node.attributes['sname'].nodeValue;
-    if (! name)
-      throw new Xex.ErrTerm (MIM.Error.ParseError, "invalid map");
-    var state = new MIM.State (name);
-    for (node = node.firstElement (); node; node = node.nextElement ())
-      {
-       if (node.nodeName == 'title')
-         state.title = node.firstChild.nodeValue;
-       else
-         {
-           var n = node.firstElement ();
-           if (node.nodeName == 'branch')
-             {
-               state.keymap.Add (map_list[node.attributes['mname'].nodeValue]);
-               state.keymap.actions = Xex.Term.Parse (domain, n, null);
-             }
-           else if (node.nodeName == 'state-hook')
-             state.enter_actions = Xex.Term.Parse (domain, n, null);
-           else if (node.nodeName == 'catch-all-branch')
-             state.fallback_actions = Xex.Term.Parse (domain, n, null);
-         }
-      }
-    return state;
-  }
-
-  proto.toString = function ()
-  {
-    return '<state sname="' + this.name + '">' + this.keymap + '</state>';
-  }
-
-  MIM.State.prototype = proto;
-}) ();
-
-(function () {
-  function Block (index, term)
-  {
-    this.Index = index;
-    if (term.IsStr)
-      this.Data = term.val;
-    else if (term.IsList)
-      {
-       this.Data = new Array ();
-       for (var i = 0; i < term.val.length; i++)
-         this.Data.push (term.val[i].val);
-      }
-  }
-
-  Block.prototype.Count = function () { return this.Data.length; }
-  Block.prototype.get = function (i)
-  {
-    return (this.Data instanceof Array ? this.Data[i] : this.Data.charAt (i));
-  }
-
-  MIM.Candidates = function (candidates, column)
-  {
-    this.column = column;
-    this.row = 0;
-    this.index = 0;
-    this.total = 0;
-    this.blocks = new Array ();
-
-    for (var i = 0; i < candidates.length; i++)
-      {
-       var block = new Block (this.total, candidates[i]);
-       this.blocks.push (block);
-       this.total += block.Count ();
-      }
-  }
-
-  function get_col ()
-  {
-    return (this.column > 0 ? this.index % this.column
-           : this.index - this.blocks[this.row].Index);
-  }
-
-  function prev_group ()
-  {
-    var col = get_col.call (this);
-    var nitems;
-    if (this.column > 0)
-      {
-       this.index -= this.column;
-       if (this.index >= 0)
-         nitems = this.column;
-       else
-         {
-           var lastcol = (this.total - 1) % this.column;
-           this.index = (col < lastcol ? this.total - lastcol + col
-                         : this.total - 1);
-           this.row = this.blocks.length - 1;
-           nitems = lastcol + 1;
-         }
-       while (this.blocks[this.row].Index > this.index)
-         this.row--;
-      }
-    else
-      {
-       this.row = this.row > 0 ? this.row - 1 : this.blocks.length - 1;
-       nitems = this.blocks[this.row].Count ();
-       this.index = (this.blocks[this.row].Index
-                     + (col < nitems ? col : nitems - 1));
-      }
-    return nitems;
-  }
-
-  function next_group ()
-  {
-    var col = get_col.call (this);
-    var nitems;
-    if (this.column > 0)
-      {
-       this.index += this.column - col;
-       if (this.index < this.total)
-         {
-           if (this.index + col >= this.total)
-             {
-               nitems = this.total - this.index;
-               this.index = this.total - 1;
-             }
-           else
-             {
-               nitems = this.column;
-               this.index += col;
-             }
-         }
-       else
-         {
-           this.index = col;
-           this.row = 0;
-         }
-       while (this.blocks[this.row].Index > this.index)
-         this.row++;
-      }
-    else
-      {
-       this.row = this.row < this.blocks.length - 1 ? this.row + 1 : 0;
-       nitems = this.blocks[this.row].Count ();
-       this.index = (this.blocks[this.row].Index
-                     + (col < nitems ? col : nitems - 1));
-      }
-    return nitems;
-  }
-
-  function prev ()
-  {
-    if (this.index == 0)
-      {
-       this.index = this.total - 1;
-       this.row = this.blocks.length - 1;
-      }
-    else
-      {
-       this.index--;
-       if (this.blocks[this.row].Index > this.index)
-         this.row--;
-      }
-    }
-
-  function next ()
-  {
-    this.index++;
-    if (this.index == this.total)
-      {
-       this.index = 0;
-       this.row = 0;
-      }
-    else
-      {
-       var b = this.blocks[this.row];
-       if (this.index == b.Index + b.Count ())
-         this.row++;
-      }
-  }
-
-  function first ()
-  {
-    this.index -= get_col.call (this);
-    while (this.blocks[this.row].Index > this.index)
-      this.row--;
-  }
-
-  function last ()
-  {
-    var b = this.blocks[this.row];
-    if (this.column > 0)
-      {
-       if (this.index + 1 < this.total)
-         {
-           this.index += this.column - get_col.call (this) + 1;
-           while (b.Index + b.Count () <= this.index)
-             b = this.blocks[++this.row];
-         }
-      }
-    else
-      this.index = b.Index + b.Count () - 1;
-  }
-
-  MIM.Candidates.prototype.Current = function ()
-  {
-    var b = this.blocks[this.row];
-    return b.get (this.index - b.Index);
-  }
-
-  MIM.Candidates.prototype.Select = function (selector)
-  {
-    if (selector.type == 'selector')
-      {
-       switch (selector.val)
-         {
-         case '@<': first.call (this); break;
-         case '@>': last.call (this); break;
-         case '@-': prev.call (this); break;
-         case '@+': next.call (this); break;
-         case '@[': prev_group.call (this); break;
-         case '@]': next_group.cal (this); break;
-         default: break;
-         }
-       return this.Current ();
-      }
-    var col, start, end
-    if (this.column > 0)
-      {
-       col = this.index % this.column;
-       start = this.index - col;
-       end = start + this.column;
-      }
-    else
-      {
-       start = this.blocks[this.row].Index;
-       col = this.index - start;
-       end = start + this.blocks[this.row].Count;
-      }
-    if (end > this.total)
-      end = this.total;
-    this.index += selector.val - col;
-    if (this.index >= end)
-      this.index = end - 1;
-    if (this.column > 0)
-      {
-       if (selector.val > col)
-         while (this.blocks[this.row].Index + this.blocks[this.row].Count
-                < this.index)
-           this.row++;
-       else
-         while (this.blocks[this.row].Index > this.index)
-           this.row--;
-      }
-    return this.Current ();
-  }
-}) ();
-
-MIM.im_domain = new Xex.Domain ('input-method', null, null);
-MIM.im_domain.DefType (MIM.KeySeq.prototype);
-MIM.im_domain.DefType (MIM.Marker.prototype);
-MIM.im_domain.DefType (MIM.Selector.prototype);
-MIM.im_domain.DefType (MIM.Rule.prototype);
-MIM.im_domain.DefType (MIM.Map.prototype);
-MIM.im_domain.DefType (MIM.State.prototype);
-
-(function () {
-  var im_domain = MIM.im_domain;
-
-  function Finsert (domain, vari, args)
-  {
-    var text;
-    if (args[0].type == 'integer')
-      text = String.fromCharCode (args[0].val);
-    else
-      text = args[0].val;
-    domain.context.insert (text, null);
-  }
-
-  function Finsert_candidates (domain, vari, args)
-  {
-    var ic = domain.context;
-    var gsize = domain.variables['candidates_group_size'];
-    var candidates = new MIM.Candidates (args, gsize ? gsize.Intval : 0);
-    ic.insert (candidates.Current (), candidates);
-    return args[0];
-  }
-
-  function Fdelete (domain, vari, args)
-  {
-    var ic = domain.context;
-    var pos = args[0].IsInt ? args[0].Intval : args[0].Position (ic);
-    ic.del (pos);
-    return new Xex.Term (ic.del (pos));
-  }
-
-  function Fselect (domain, vari, args)
-  {
-    var ic = domain.context;
-    var can = ic.candidates;
-
-    if (can)
-      {
-       var candidate = can.Current ();
-
-       ic.del (ic.cursor_pos - candidate.length);
-       candidate = can.Select (args[0]);
-       ic.insert (candidate, can);
-      }
-    return args[0];
-  }
-
-  function Fchar_at (domain, vari, args)
-  {
-    return new Xex.IntTerm (args[0].CharAt (domain.context));
-  }
-
-  function Fmove (domain, vari, args)
-  {
-    var ic = domain.context;
-    var pos = args[0].IsInt ? args[0].val : args[0].Position (ic);
-    ic.move (pos);
-    return args[0];
-  }
-
-  function Fmark (domain, vari, args)
-  {
-    args[0].Mark (domain.context);
-    return args[0];
-  }
-
-  function Fpushback (domain, vari, args)
-  {
-    var arg = (args[0].IsInt ? args[0].Intval
-              : args[0].IsStr ? new KeySeq (args[0])
-              : args[0]);
-    domain.context.pushback (arg)
-    return args[0];
-  }
-
-  function Fundo  (domain, vari, args)
-  {
-    var ic = domain.context;
-    var n = args.length == 0 ? -2 : args[0].val;
-    if (n < 0)
-      ic.keys.val.splice (ic.keys.length + n, -n);
-    else
-      ic.keys.val.splice (n, ic.keys.length);
-    ic.reset ();
-    return Xex.nil;
-  }
-
-  function Fcommit (domain, vari, args)
-  {
-    domain.context.commit ();
-    return Xex.nil;
-  }
-
-  function Funhandle (domain, vari, args)
-    {
-      domain.context.commit ();
-      return Xex.Fthrow (domain, vari, Xex.CatchTag._mimtag);
-    }
-
-  function Fshift (domain, vari, args)
-  {
-    var ic = domain.context;
-    var state_name = args[0].val;
-    var state = ic.im.state_list[state_name];
-    if (! state)
-      throw ("Unknown state: " + state_name);
-      ic.shift (state);
-    return args[0];
-  }
-
-  function Fsurrounding_flag (domain, vari, args)
-  {
-    return new Xex.IntTerm (-1);
-  }
-
-  im_domain.DefSubr (Finsert, "insert", false, 1, 1);
-  im_domain.DefSubr (Finsert_candidates, "insert-candidates", false, 1, 1);
-  im_domain.DefSubr (Fdelete, "delete", false, 1, 1);
-  im_domain.DefSubr (Fselect, "select", false, 1, 1);
-  //im_domain.DefSubr (Fshow, "show-candidates", false, 0, 0);
-  //im_domain.DefSubr (Fhide, "hide-candidates", false, 0, 0);
-  im_domain.DefSubr (Fmove, "move", false, 1, 1);
-  im_domain.DefSubr (Fmark, "mark", false, 1, 1);
-  im_domain.DefSubr (Fpushback, "pushback", false, 1, 1);
-  //im_domain.DefSubr (Fpop, "pop", false, 0, 0);
-  im_domain.DefSubr (Fundo, "undo", false, 0, 1);
-  im_domain.DefSubr (Fcommit, "commit", false, 0, 0);
-  im_domain.DefSubr (Funhandle, "unhandle", false, 0, 0);
-  im_domain.DefSubr (Fshift, "shift", false, 1, 1);
-  //im_domain.DefSubr (Fshiftback, "shiftback", false, 0, 0);
-  im_domain.DefSubr (Fchar_at, "char-at", false, 1, 1);
-  //im_domain.DefSubr (Fkey_count, "key-count", false, 0, 0);
-  im_domain.DefSubr (Fsurrounding_flag, "surrounding-text-flag", false, 0, 0);
-}) ();
-
-
-(function () {
-  function get_global_var (vname)
-  {
-    if (MIM.im_global.load_status == MIM.LoadStatus.NotLoaded)
-      MIM.im_global.Load ()
-    return MIM.im_global.domain.variables[vname];
-  }
-
-  function include (node)
-  {
-    node = node.firstElement ();
-    if (node.nodeName != 'tags')
-      return null;
-    
-    var lang = null, name = null, extra = null;
-    for (node = node.firstElement (); node; node = node.nextElement ())
-      {
-       if (node.nodeName == 'language')
-         lang = node.firstChild.nodeValue;
-       else if (node.nodeName == 'name')
-         name = node.firstChild.nodeValue;
-       else if (node.nodeName == 'extra-id')
-         extra = node.firstChild.nodeValue;
-      }
-    if (! lang || ! MIM.imlist[lang])
-      return null;
-    if (! extra)
-      {
-       if (! name || ! (im = MIM.imlist[lang][name]))
-         return null;
-      }
-    else
-      {
-       if (! (im = MIM.imextra[lang][extra]))
-         return null;
-      }
-    if (im.load_status != MIM.LoadStatus.Loaded
-       && (im.load_status != MIM.LoadStatus.NotLoaded || ! im.Load ()))
-      return null;
-    return im;
-  }
-
-  var parsers = { };
-
-  parsers['description'] = function (node)
-  {
-    this.description = node.firstChild.nodeValue;
-  }
-  parsers['variable-list'] = function (node)
-  {
-    for (node = node.firstElement (); node; node = node.nextElement ())
-      {
-       var vname = node.attributes['vname'].nodeValue;
-       if (this != MIM.im_global)
-         {
-           var vari = get_global_var (vname);
-           if (vari != null)
-             this.domain.Defvar (vname);
-         }
-       vname = Xex.Term.Parse (this.domain, node)
-      }
-  }
-  parsers['command-list'] = function (node)
-  {
-  }
-  parsers['macro-list'] = function (node)
-  {
-    for (var n = node.firstElement (); n; n = n.nextElement ())
-      if (n.nodeName == 'xi:include')
-       {
-         var im = include (n);
-         if (! im)
-           alert ('inclusion fail');
-         else
-           for (var macro in im.domain.functions)
-             {
-               var func = im.domain.functions[macro];
-               if (func instanceof Xex.Macro)
-                 im.domain.CopyFunc (this.domain, macro);
-             }
-         n = n.previousSibling;
-         node.removeChild (n.nextSibling);
-       }
-    Xex.Term.Parse (this.domain, node.firstElement (), null);
-  }
-  parsers['title'] = function (node)
-  {
-    this.title = node.firstChild.nodeValue;
-  }
-  parsers['map-list'] = function (node)
-  {
-    for (node = node.firstElement (); node; node = node.nextElement ())
-      {
-       if (node.nodeName == 'xi:include')
-         {
-           var im = include (node);
-           if (! im)
-             {
-               alert ('inclusion fail');
-               continue;
-             }
-           for (var mapname in im.map_list)
-             this.map_list[mapname] = im.map_list[mapname];
-         }
-       else
-         {
-           var map = Xex.Term.Parse (this.domain, node);
-           this.map_list[map.name] = map;
-         }
-      }
-  }
-  parsers['state-list'] = function (node)
-  {
-    this.domain.map_list = this.map_list;
-    for (node = node.firstElement (); node; node = node.nextElement ())
-      {
-       if (node.nodeName == 'state')
-         {
-           var state = Xex.Term.Parse (this.domain, node);
-           if (! state.title)
-             state.title = this.title;
-           if (! this.initial_state)
-             this.initial_state = state;
-           this.state_list[state.name] = state;
-         }
-      }
-    delete this.domain.map_list;
-  }
-
-  MIM.IM = function (lang, name, extra_id, file)
-  {
-    this.lang = lang;
-    this.name = name;
-    this.extra_id = extra_id;
-    this.file = file;
-    this.load_status = MIM.LoadStatus.NotLoaded;
-    this.domain = new Xex.Domain (this.lang + '-'
-                                 + (this.name != 'nil'
-                                    ? this.name : this.extra_id),
-                                 MIM.im_domain, null);
-  }
-
-  var proto = {
-    Load: function ()
-    {
-      var node = Xex.Load (null, this.file);
-      if (! node)
-       {
-         this.load_status = MIM.LoadStatus.Error;
-         return false;
-       }
-      this.map_list = {};
-      this.initial_state = null;
-      this.state_list = {};
-      for (node = node.firstElement (); node; node = node.nextElement ())
-        {
-         var name = node.nodeName;
-         var parser = parsers[name];
-         if (parser)
-           parser.call (this, node);
-       }
-      this.load_status = MIM.LoadStatus.Loaded;
-      return true;
-    }
-  }
-
-  MIM.IM.prototype = proto;
-
-  MIM.IC = function (im, target)
-  {
-    if (im.load_status == MIM.LoadStatus.NotLoaded)
-      im.Load ();
-    if (im.load_status != MIM.LoadStatus.Loaded)
-      alert ('im:' + im.name + ' error:' + im.load_status);
-    this.im = im;
-    this.target = target;
-    this.domain = new Xex.Domain ('context', im.domain, this);
-    this.active = true;
-    this.reset ();
-    this.spot = 0;
-  }
-
-  MIM.CandidateTable = function ()
-  {
-    this.table = new Array ();
-  }
-
-  MIM.CandidateTable.prototype.get = function (from)
-  {
-    for (var i = 0; i < this.table.length; i++)
-      {
-       var elt = this.table[i];
-       if (elt.from <= from && elt.to > from)
-         return elt.val;
-      }
-  }
-
-  MIM.CandidateTable.prototype.put = function (from, to, candidates)
-  {
-    for (var i = 0; i < this.table.length; i++)
-      {
-       var elt = this.table[i];
-       if (elt.from >= from && elt.from < to
-           || elt.to >= from && elt.to < to)
-         {
-           elt.from = from;
-           elt.to = to;
-           elt.val = candidates;
-           return;
-         }
-      }
-    this.table.push ({ from: from, to: to, val: candidates });
-  }
-
-  MIM.CandidateTable.prototype.adjust = function (from, to, inserted)
-  {
-    var diff = inserted - (to - from);
-    for (var i = 0; i < this.table.length; i++)
-      {
-       var elt = this.table[i];
-       if (elt.from >= to)
-         {
-           elt.from += diff;
-           elt.to += diff;
-         }
-      }
-  }
-
-  MIM.CandidateTable.prototype.clear = function ()
-  {
-    this.table.length = 0;
-  }
-
-  function detach_candidates (ic)
-  {
-    ic.candidate_table.clear ();
-    ic.candidates = null;
-    ic.changed |= (MIM.ChangedStatus.Preedit | MIM.ChangedStatus.CursorPos
-                  | ChangedStatus.CandidateList
-                  | ChangedStatus.CandidateIndex
-                  | ChangedStatus.CandidateShow);
-  }
-
-  function set_cursor (prefix, pos)
-  {
-    this.cursor_pos = pos;
-    if (pos > 0)
-      this.candidates = this.candidate_table.get (pos - 1);
-    else
-      this.candidates = null;
-  }
-
-  function save_state ()
-  {
-    this.state_var_values = this.domain.SaveValues ();
-    this.state_preedit = this.preedit;
-    this.state_key_head = this.key_head;
-    this.state_pos = this.cursor_pos;
-  }
-
-  function restore_state ()
-  {
-    this.domain.RestoreValues (this.state_var_values);
-    this.preedit = this.state_preedit;
-    set_cursor.call (this, "restore", this.state_pos);
-  }
-
-  function handle_key ()
-  {
-    var out = this.keymap.Lookup (this.keys, this.key_head);
-    var sub = out.map;
-    var branch_actions = this.state.keymap.actions;
-
-    Xex.Log ('handling ' + this.keys.val[this.key_head]
-            + ' in ' + this.state.name + ':' + this.keymap.name + "\n");
-    this.key_head = out.index;
-    if (sub != this.keymap)
-      {
-
-       restore_state.call (this);
-       this.keymap = sub;
-       Xex.Log ('submap found\n');
-       if (this.keymap.actions)
-         {
-           Xex.Log ('taking map actions:\n');
-           if (! this.take_actions (this.keymap.actions))
-             return false;
-         }
-       else if (this.keymap.submaps)
-         {
-           Xex.Log ('no map actions');
-           for (var i = this.state_key_head; i < this.key_head; i++)
-             {
-               Xex.Log ('inserting key:' + this.keys.val[i].key);
-               this.insert (this.keys.val[i].key, null);
-             }
-         }
-       if (! this.keymap.submaps)
-         {
-           Xex.Log ('terminal:');
-           if (this.keymap.branch_actions != null)
-             {
-               Xex.Log ('branch actions:');
-               if (! this.take_actions (branch_actions))
-                 return false;
-             }
-           if (this.keymap != this.state.keymap)
-             this.shift (this.state);
-         }
-      }
-    else
-      {
-       Xex.Log ('no submap');
-       var current_state = this.state;
-       var map = this.keymap;
-
-       if (branch_actions)
-         {
-           Xex.Log ('branch actions');
-           if (! this.take_actions (this.keymap.branch_actions))
-             return false;
-         }
-
-       if (map == this.keymap)
-         {
-           Xex.Log ('no state change');
-           if (map == this.initial_state.keymap
-               && this.key_head < this.keys.val.length)
-             {
-               Xex.Log ('unhandled');
-               return false;
-             }
-           if (this.keymap != current_state.keymap)
-             this.shift (current_state);
-           else if (this.keymap.actions == null)
-             this.shift (this.initial_state);
-         }
-      }
-    return true;
-  }
-
-  proto = {
-    reset: function ()
-    {
-      this.produced = null;
-      this.preedit = '';
-      this.preedit_saved = '';
-      this.cursor_pos = 0;
-      this.marker_positions = {};
-      this.candidates = null;
-      this.candidate_show = false;
-      this.state = null;
-      this.prev_state = null;
-      this.initial_state = this.im.initial_state;
-      this.title = this.initial_state.title;
-      this.state_preedit = '';
-      this.state_key_head = 0;
-      this.state_var_values = {};
-      this.state_pos = 0;
-      this.keymap = null;
-      this.keys = new MIM.KeySeq ();
-      this.key_head = 0;
-      this.key_unhandled = false;
-      this.unhandled_key = null;
-      this.changed = MIM.ChangedStatus.None;
-      this.error_message = '';
-      this.title = this.initial_state.title;
-      this.produced = '';
-      this.preedit = '';
-      this.preedit_saved = '';
-      this.marker_positions = {};
-      this.candidate_table = new MIM.CandidateTable ();
-      this.candidates = null;
-      this.candidate_show = false;
-      this.shift (this.initial_state);
-    },
-
-    catch_args: new Array (Xex.CatchTag._mimtag, null),
-
-    take_actions: function (actions)
-    {
-      var func_progn = this.domain.GetFunc ('progn');
-      var func_catch = this.domain.GetFunc ('catch');
-      this.catch_args[1] = new Xex.Funcall (func_progn, null, actions);
-      var term = new Xex.Funcall (func_catch, null, this.catch_args);
-      term = term.Eval (this.domain);
-      return (! term.IsSymbol || term.val != '@mimtag');
-    },
-
-    GetSurroundingChar: function (pos)
-    {
-      pos += this.spot;
-      Xex.Log (0, 'getting char at ' + pos);
-      if (pos < 0 || pos >= this.target.value.length)
-       return 0;
-      return this.target.value.charCodeAt (pos);
-    },
-    
-    adjust_markers: function (from, to, inserted)
-    {
-      var diff = inserted - (to - from);
-
-      for (var m in this.marker_positions)
-       if (this.marker_positions[m] > from)
-         this.marker_positions[m] = (this.marker_positions[m] >= to
-                                     ? pos + diff : from);
-      if (this.cursor_pos >= to)
-       set_cursor.call (this, 'adjust', this.cursor_pos + diff);
-      else if (this.cursor_pos > from)
-       set_cursor.call (this, 'adjust', from)
-    },
-
-    preedit_replace: function (from, to, text, candidates)
-    {
-      this.preedit = (this.preedit.substring (0, from)
-                     + text + this.preedit.substring (to));
-      this.adjust_markers (from, to, text.length);
-      this.candidate_table.adjust (from, to, text.length);
-      if (candidates)
-       this.candidate_table.put (from, from + text.length, candidates)
-    },
-
-    insert: function (text, candidates)
-    {
-      this.preedit_replace (this.cursor_pos, this.cursor_pos, text, candidates);
-      this.changed = MIM.ChangedStatus.Preedit | MIM.ChangedStatus.CursorPos;
-    },
-
-    del: function (pos)
-    {
-      var deleted = pos - this.cursor_pos;
-      if (pos < 0)
-       {
-         this.DelSurroundText (pos);
-         pos = 0;
-       }
-      else if (pos > this.preedit.length)
-       {
-         this.DelSurroundText (pos - this.preedit.length);
-         pos = this.preedit.length;
-       }
-      if  (pos < this.cursor_pos)
-       this.preedit = (this.predit.substring (0, pos)
-                       + this.preedit.substring (this.cursor_pos));
-      else
-       this.preedit = (this.preedit.substring (0, this.cursor_pos)
-                       + this.predit.substring (pos));
-      return deleted;
-    },
-
-    show: function ()
-    {
-      this.candidate_show = true;
-      this.changed |= MIM.ChangedStatus.CandidateShow;
-    },
-
-    hide: function ()
-    {
-      this.candidate_show = false;
-      this.changed |= MIM.ChangedStatus.CandidateShow;
-    },
-
-    move: function (pos)
-    {
-      if (pos < 0)
-       pos = 0;
-      else if (pos > this.preedit.length)
-       pos = this.preedit.length;
-      if (pos != this.cursor_pos)
-       {
-         set_cursor.call (this, 'move', pos);
-         this.changed |= MIM.ChangedStatus.Preedit;
-       }
-    },
-
-    pushback: function (n)
-    {
-      if (n instanceof MIM.KeySeq)
-       {
-         if (this.key_head > 0)
-           this.key_head--;
-         if (this.key_head < this.keys.val.length)
-           this.keys.val.splice (this.key_head,
-                                 this.keys.val.length - this.key_head);
-         for (var i = 0; i < n.val.length; i++)
-           this.keys.val.push (n.val[i]);
-         return;
-       }
-      if (n > 0)
-       {
-         this.key_head -= n;
-         if (this.key_head < 0)
-           this.key_head = 0;
-       }
-      else if (n == 0)
-       this.key_head = 0;
-      else
-      {
-       this.key_head = - n;
-       if (this.key_head > this.keys.val.length)
-         this.key_head = this.keys.val.length;
-      }
-    },
-
-    pop: function ()
-    {
-      if (this.key_head < this.keys.val.length)
-       this.keys.val.splice (this.key_head, 1);
-    },
-
-    commit: function ()
-    {
-      if (this.preedit.length > 0)
-      {
-       this.candidate_table.clear ();
-       this.produced += this.preedit;
-       this.preedit_replace.call (this, 0, this.preedit.length, '', null);
-      }
-    },
-
-    shift: function (state)
-    {
-      if (state == null)
-        {
-         Xex.Log ("shifting back to previous");
-         if (this.prev_state == null)
-           return;
-         state = this.prev_state;
-       }
-      else
-       Xex.Log ("shifting to " + state.name);
-
-      if (state == this.initial_state)
-        {
-         if (this.state)
-           {
-             this.commit ();
-             this.keys.val.splice (0, this.key_head);
-             this.key_head = 0;
-             this.prev_state = null;
-           }
-       }
-      else
-       {
-         if (state != this.state)
-           this.prev_state = this.state;
-       }
-      if (state != this.state && state.enter_actions)
-       this.take_actions (state.enter_actions);
-      if (! this.state || this.state.title != state.title)
-       this.changed |= MIM.ChangedStatus.StateTitle;
-      this.state = state;
-      this.keymap = state.keymap;
-      this.state_key_head = this.key_head;
-      save_state.call (this);
-    },
-
-    Filter: function (key)
-    {
-      if (! this.active)
-       {
-         this.key_unhandled = true;
-         this.unhandled_key = key;
-         return false;
-       }
-      if (key.key == '_reload')
-       return true;
-      this.changed = MIM.ChangedStatus.None;
-      this.produced = '';
-      this.key_unhandled = false;
-      this.keys.val.push (key);
-      var count = 0;
-      while (this.key_head < this.keys.val.length)
-       {
-         if (! handle_key.call (this))
-           {
-             if (this.key_head < this.keys.val.length)
-               {
-                 this.unhandled_key = this.keys.val[this.key_head];
-                 this.keys.val.splice (this.key_head, this.key_head + 1);
-               }
-             this.key_unhandled = true;
-             break;
-           }
-         if (++count == 10)
-           {
-             this.reset ();
-             this.key_unhandled = true;
-             break;
-           }
-       }
-      if (this.key_unhandled)
-       {
-         this.keys.val.length = 0;
-         this.key_head = this.state_key_head = this.commit_key_head = 0;
-       }
-      return (! this.key_unhandled
-             && this.produced.length == 0
-             && this.preedit.length == 0);
-    }
-  }
-
-  MIM.IC.prototype = proto;
-
-  var node = Xex.Load (null, "imlist.xml");
-  for (node = node.firstChild; node; node = node.nextSibling)
-    if (node.nodeName == 'input-method')
-      {
-       var lang = null, name = null, extra_id = null, file = null;
-
-       for (var n = node.firstChild; n; n = n.nextSibling)
-         {
-           if (n.nodeName == 'language')
-             lang = n.firstChild.nodeValue;
-           else if (n.nodeName == 'name')
-             name = n.firstChild.nodeValue;
-           else if (n.nodeName == 'extra-id')
-             extra_id = n.firstChild.nodeValue;
-           else if (n.nodeName == 'filename')
-             file = n.firstChild.nodeValue;
-         }
-       if (name && name != 'nil')
-         {
-           if (! MIM.imlist[lang])
-             MIM.imlist[lang] = {};
-           MIM.imlist[lang][name] = new MIM.IM (lang, name, extra_id, file);
-         }
-       else if (extra_id && extra_id != 'nil')
-         {
-           if (! MIM.imextra[lang])
-             MIM.imextra[lang] = {};
-           MIM.imextra[lang][extra_id] = new MIM.IM (lang, name, extra_id, file);
-         }
-      }
-  if (MIM.imextra.t && MIM.imextra.t.global)
-    MIM.im_global = MIM.imextra.t.global;
-  else
-    {
-      MIM.im_global = new MIM.IM ('t', 'nil', 'global', null);
-      MIM.im_global.load_status = MIM.LoadStatus.Error;
-    }
-  node = undefined;
-}) ();
-
-(function () {
-  var keys = new Array ();
-  keys[0x09] = 'tab';
-  keys[0x08] = 'backspace';
-  keys[0x0D] = 'return';
-  keys[0x1B] = 'escape';
-  keys[0x20] = 'space';
-  keys[0x21] = 'pageup';
-  keys[0x22] = 'pagedown';
-  keys[0x23] = 'end';
-  keys[0x24] = 'home';
-  keys[0x25] = 'left';
-  keys[0x26] = 'up';
-  keys[0x27] = 'right';
-  keys[0x28] = 'down';
-  keys[0x2D] = 'insert';
-  keys[0x2E] = 'delete';
-  for (var i = 1; i <= 12; i++)
-    keys[111 + i] = "f" + i;
-  keys[0x90] = "numlock";
-  keys[0xF0] = "capslock";
-
-  MIM.decode_key_event = function (event)
-  {
-    var key = ((event.type == 'keydown' || event.keyCode) ? event.keyCode
-              : event.charCode ? event.charCode
-              : false);
-    if (! key)
-      return false;
-    if (event.type == 'keydown')
-      {
-       key = keys[key];
-       if (! key)
-         return false;
-       if (event.shiftKey) key = "S-" + key ;
-      }
-    else
-      key = String.fromCharCode (key);
-    if (event.altKey) key = "A-" + key ;
-    if (event.ctrlKey) key = "C-" + key ;
-    return new MIM.Key (key);
-  }
-}) ();
-
-MIM.add_event_listener
-  = (window.addEventListener
-     ? function (target, type, listener) {
-       target.addEventListener (type, listener, false);
-     }
-     : window.attachEvent
-     ? function (target, type, listener) {
-       target.attachEvent ('on' + type,
-                          function() {
-                            listener.call (target, window.event);
-                          });
-     }
-     : function (target, type, listener) {
-       target['on' + type]
-        = function (e) { listener.call (target, e || window.event); };
-     });
-
-MIM.debug_print = function (event, ic)
-{
-  if (! MIM.debug)
-    return;
-  if (! MIM.debug_nodes)
-    {
-      MIM.debug_nodes = new Array ();
-      MIM.debug_nodes['keydown'] = document.getElementById ('keydown');
-      MIM.debug_nodes['keypress'] = document.getElementById ('keypress');
-      MIM.debug_nodes['status0'] = document.getElementById ('status0');
-      MIM.debug_nodes['status1'] = document.getElementById ('status1');
-      MIM.debug_nodes['keymap0'] = document.getElementById ('keymap0');
-      MIM.debug_nodes['keymap1'] = document.getElementById ('keymap1');
-      MIM.debug_nodes['preedit0'] = document.getElementById ('preedit0');
-      MIM.debug_nodes['preedit1'] = document.getElementById ('preedit1');
-    }
-  var target = event.target;
-  var code = event.keyCode;
-  var ch = event.type == 'keydown' ? 0 : event.charCode;
-  var key = MIM.decode_key_event (event);
-  var index;
-
-  MIM.debug_nodes[event.type].innerHTML = "" + code + "/" + ch + " : " + key;
-  index = (event.type == 'keydown' ? '0' : '1');
-  if (ic)
-    MIM.debug_nodes['status' + index].innerHTML = ic.im.load_status;
-  else
-    MIM.debug_nodes['status' + index].innerHTML = 'no IM';
-  MIM.debug_nodes['keymap' + index].innerHTML = ic.state.name;
-  MIM.debug_nodes['preedit' + index].innerHTML = ic.preedit;
-};
-
-MIM.get_range = function (target, range)
-{
-  if (target.selectionStart != null) // for Mozilla
-    {
-      range[0] = target.selectionStart;
-      range[1] = target.selectionEnd;
-    }
-  else                         // for IE
-    {
-      var r = document.selection.createRange ();
-      var rr = r.duplicate ();
-
-      rr.moveToElementText (target);
-      rr.setEndPoint ('EndToEnd', range);
-      range[0] = rr.text.length - r.text.length;
-      range[1] = rr.text.length;
-    }
-}
-
-MIM.set_caret = function (target, ic)
-{
-  if (target.setSelectionRange)        // Mozilla
-    {
-      var scrollTop = target.scrollTop;
-      target.setSelectionRange (ic.spot, ic.spot + ic.preedit.length);
-      target.scrollTop = scrollTop;
-    }
-  else                         // IE
-    {
-      var range = target.createTextRange ();
-      range.moveStart ('character', ic.spot);
-      range.moveEnd ('character', ic.spot + ic.preedit.length);
-      range.select ();
-    }
-};
-
-(function () {
-  var range = new Array ();
-
-  MIM.check_range = function (target, ic)
-  {
-    MIM.get_range (target, range);
-    if (range[0] != ic.spot || range[1] - range[0] != ic.preedit.length
-       || target.value.substring (range[0], range[1]) != ic.preedit)
-      {
-       Xex.Log ('reset:' + ic.spot + '-' + (ic.spot + ic.preedit.length)
-                + '/' + range[0] + '-' + range[1]);
-       ic.reset ();
-      }
-    target.value = (target.value.substring (0, range[0])
-                   + target.value.substring (range[1]));
-    ic.spot = range[0];
-  }
-}) ();
-
-MIM.update = function (target, ic)
-{
-  var text = target.value;
-  target.value = (text.substring (0, ic.spot)
-                 + ic.produced
-                 + ic.preedit
-                 + text.substring (ic.spot));
-  ic.spot += ic.produced.length;
-  MIM.set_caret (target, ic);
-};
-
-MIM.reset_ic = function (event)
-{
-  if (event.target.mim_ic)
-    {
-      var ic = event.target.mim_ic;
-      var pos = ic.spot + ic.preedit.length;
-      ic.reset ();
-      if (pos > ic.spot)
-       event.target.setSelectionRange (pos, pos);
-    }
-};
-
-MIM.keydown = function (event)
-{
-  var target = event.target;
-  if (! (target.type == "text" || target.type == "textarea"))
-    return;
-
-  var ic = target.mim_ic;
-  if (! ic || ic.im != MIM.current)
-    {
-      Xex.Log ('creating IC');
-      ic = new MIM.IC (MIM.current, target);
-      target.mim_ic = ic;
-      MIM.add_event_listener (target, 'blur', MIM.reset_ic);
-    }
-  if (ic.im.load_status != MIM.LoadStatus.Loaded)
-    return;
-  MIM.check_range (target, ic);
-  MIM.debug_print (event, ic);
-  ic.key = MIM.decode_key_event (event);
-};
-
-MIM.keypress = function (event)
-{
-  if (! (event.target.type == "text" || event.target.type == "textarea"))
-    return;
-
-  var ic = event.target.mim_ic;
-  var i;
-
-  try {
-    if (ic.im.load_status != MIM.LoadStatus.Loaded)
-      return;
-    if (! ic.key)
-      ic.key = MIM.decode_key_event (event);
-    if (! ic.key)
-      {
-       ic.reset ();
-       return;
-      }
-    
-    Xex.Log ("filtering " + ic.key);
-    var result = ic.Filter (ic.key);
-    MIM.update (event.target, ic);
-    if (! ic.key_unhandled)
-      event.preventDefault ();
-  } finally {
-    MIM.debug_print (event, ic);
-  }
-  return;
-};
-
-MIM.select_im = function (event)
-{
-  var target = event.target.parentNode;
-  while (target.tagName != "SELECT")
-    target = target.parentNode;
-  var idx = 0;
-  var im = false;
-  for (var lang in MIM.imlist)
-    for (var name in MIM.imlist[lang])
-      if (idx++ == target.selectedIndex)
-       {
-         im = MIM.imlist[lang][name];
-         break;
-       }
-  document.getElementsByTagName ('body')[0].removeChild (target);
-  target.target.focus ();
-  if (im && im != MIM.current)
-    {
-      MIM.current = im;
-      Xex.Log ('select IM: ' + im.name);
-    }
-};
-
-MIM.destroy_menu = function (event)
-{
-  if (event.target.tagName == "SELECT")
-    document.getElementsByTagName ('body')[0].removeChild (event.target);
-};
-
-MIM.select_menu = function (event)
-{
-  var target = event.target;
-
-  if (! ((target.type == "text" || target.type == "textarea")
-        && event.which == 1 && event.ctrlKey))
-    return;
-
-  var sel = document.createElement ('select');
-  sel.onclick = MIM.select_im;
-  sel.onmouseout = MIM.destroy_menu;
-  sel.style.position='absolute';
-  sel.style.left = (event.clientX - 10) + "px";
-  sel.style.top = (event.clientY - 10) + "px";
-  sel.target = target;
-  var idx = 0;
-  for (var lang in MIM.imlist)
-    for (var name in MIM.imlist[lang])
-      {
-       var option = document.createElement ('option');
-       var imname = lang + "-" + name;
-       option.appendChild (document.createTextNode (imname));
-       option.value = imname;
-       sel.appendChild (option);
-       if (MIM.imlist[lang][name] == MIM.current)
-         sel.selectedIndex = idx;
-       idx++;
-      }
-  sel.size = idx;
-  document.getElementsByTagName ('body')[0].appendChild (sel);
-};
-
-MIM.test = function ()
-{
-  var im = MIM.imlist['t']['latn-post'];
-  var ic = new MIM.IC (im, null);
-
-  ic.Filter (new MIM.Key ('a'));
-  ic.Filter (new MIM.Key ("'"));
-
-  if (true)
-    document.getElementById ('text').value = ic.produced + ic.preedit;
-  else {
-    try {
-      document.getElementById ('text').value
-       = Xex.Term.Parse (domain, body).Eval (domain).toString ();
-    } catch (e) {
-      if (e instanceof Xex.ErrTerm)
-       alert (e);
-      throw e;
-    }
-  }
-}
-
-
-MIM.init = function ()
-{
-  MIM.add_event_listener (window, 'keydown', MIM.keydown);
-  MIM.add_event_listener (window, 'keypress', MIM.keypress);
-  MIM.add_event_listener (window, 'mousedown', MIM.select_menu);
-  if (window.location == 'http://localhost/mim/index.html')
-    MIM.server = 'http://localhost/mim';
-  MIM.current = MIM.imlist['vi']['telex'];
-};
-
-MIM.init_debug = function ()
-{
-  MIM.debug = true;
-  Xex.LogNode = document.getElementById ('log');
-  MIM.init ();
-};