From 8e50033918bee037d940226406c87b9bc97779da Mon Sep 17 00:00:00 2001
From: handa <handa>
Date: Mon, 28 Sep 2009 06:12:32 +0000
Subject: [PATCH] *** empty log message ***

---
 MInputMethod.cs |  106 ++++++++++++++++++++++++--------------------------
 input.txt       |   49 +++++++++++++++++++++++
 xex.txt         |  116 +++++++++++++++++++++++++++----------------------------
 3 files changed, 158 insertions(+), 113 deletions(-)
 create mode 100644 input.txt

diff --git a/MInputMethod.cs b/MInputMethod.cs
index e75f5bc..a6c8552 100644
--- a/MInputMethod.cs
+++ b/MInputMethod.cs
@@ -34,15 +34,12 @@ namespace M17N.Input
     private static MSymbol Mvariable = "variable";
     private static MSymbol Mcommand = "command";
     private static MSymbol Mmodule = "module";
-    private static MSymbol Mmodule_list = "module-list";
     private static MSymbol Mtitle = "title";
     private static MSymbol Minclude = "include";
     private static MSymbol Mmacro = "macro";
-    private static MSymbol Mmacro_list = "macro-list";
     private static MSymbol Mmap = "map";
     private static MSymbol Mmap_list = "map-list";
     private static MSymbol Mstate = "state";
-    private static MSymbol Mstate_list = "state-list";
     internal static MSymbol Mcandidates = "candidates";
     private static MSymbol Minsert = "insert";
     private static MSymbol Mdelete = "delete";
@@ -70,28 +67,6 @@ namespace M17N.Input
 
     internal static MInputMethod im_global = null;
 
-    // Sub classes
-    private class Exception : System.Exception
-    {
-      bool error;
-
-      public Exception (string msg) : base (msg)
-	{
-	  error = true;
-	}
-
-      public Exception (string fmt, params object[] args)
-	: base (String.Format (fmt, args))
-	{
-	  error = true;
-	}
-
-      public Exception (string msg, bool error) : base (msg)
-	{
-	  this.error = error;
-	}
-    }
-
     [FlagsAttribute]
     private enum LoadStatus
     {
@@ -857,11 +832,7 @@ namespace M17N.Input
       List<MDatabase> list = MDatabase.List (tag);
       M17n.DebugPrint ("Found {0} input methods\n", list.Count);
       foreach (MDatabase mdb in list)
-	{
-	  im_table[mdb.tag] = new MInputMethod (mdb.tag);
-	}
-      tag = new MDatabase.Tag (Minput_method, MSymbol.t, MSymbol.nil, "global");
-      im_global = im_table[tag];
+	im_table[mdb.tag] = new MInputMethod (mdb.tag);
     }
 
     // Constructor
@@ -1335,6 +1306,19 @@ namespace M17N.Input
 	}
     }
 
+    private Xex.Variable get_global_var (Xex.Symbol name)
+    {
+      if (im_global == null || this != im_global)
+	{
+	  tag = new MDatabase.Tag (Minput_method, MSymbol.t, MSymbol.nil,
+				   "global");
+	  im_global = im_table[tag];
+	  if (! im_global.Open ())
+	    throw new Exception ("Failed to load global"); 
+	}
+      return im_global.domain.GetVar (name, false);
+    }
+
     private void parse_variables (MPlist plist)
     {
       var_names = new Xex.Symbol[plist.Count];
@@ -1349,8 +1333,7 @@ namespace M17N.Input
 	  var_names[i] = name;
 	  p = p.next;
 	  string desc = (string) parse_description (p);
-	  Xex.Variable vari
-	    = im_global != null ? im_global.domain.GetVar (name, false) : null;
+	  Xex.Variable vari = get_global_var (name);
 	  if (vari != null)
 	    domain.Defvar (vari);
 	  if (desc != null)
@@ -1377,8 +1360,7 @@ namespace M17N.Input
       for (int i = 0; i < node_list.Count; i++)
 	{
 	  Xex.Symbol name = node_list[i].Attributes[0].Value;
-	  Xex.Variable vari = im_global.domain.GetVar (name, false);
-
+	  Xex.Variable vari = get_global_var (name);
 	  if (vari != null)
 	    domain.Defvar (vari);
 	  else
@@ -1870,17 +1852,13 @@ namespace M17N.Input
     private MText produced;
     private bool active;
     private MText status;
-    private bool status_changed;
     internal MText preedit;
-    private bool preedit_changed;
     internal int cursor_pos;
-    private bool cursor_pos_changed;
     private Candidates candidates;
     private MPlist candidate_group;
     private int candidate_index;
     private int candidate_from, candidate_to;
     private bool candidate_show;
-    private bool candidate_changed;
 
     private Stack<MInputMethod.State> states;
     internal MInputMethod.KeySeq keys;
@@ -1897,6 +1875,25 @@ namespace M17N.Input
 
     internal Xex.Domain domain;
 
+    [FlagsAttribute]
+    public enum ChangedStatus
+    {
+      None =		0x00,
+      StateTitle = 	0x01,
+      Preedit	 =	0x02,
+      CursorPos =	0x04,
+      CandidateList =	0x08,
+      CandidateIndex =	0x10,
+      CandidateShow =	0x20,
+    }
+
+    private static ChangedStatus CandidateAll = (ChangedStatus.CandidateList
+						 | ChangedStatus.CandidateIndex
+						 | ChangedStatus.CandidateShow);
+    private ChangedStatus changed;
+
+    public ChangedStatus Changed { get { return changed; } }
+
     public MInputContext (MInputMethod im)
     {
       this.im = im;
@@ -1949,8 +1946,7 @@ namespace M17N.Input
 	preedit_replace (cursor_pos, cursor_pos, arg.Intval);
       else
 	preedit_replace (cursor_pos, cursor_pos, new MText (arg.Strval));
-      preedit_changed = true;
-      cursor_pos_changed = true;
+      changed |= ChangedStatus.Preedit | ChangedStatus.CursorPos;
     }
 
     private class Candidates
@@ -2070,9 +2066,8 @@ namespace M17N.Input
       {
 	ic.preedit.PopProp (0, ic.preedit.Length, MInputMethod.Mcandidates);
 	ic.candidates = null;
-	ic.preedit_changed = true;
-	ic.cursor_pos_changed = true;
-	ic.candidate_changed = true;
+	ic.changed |= (ChangedStatus.Preedit | ChangedStatus.CursorPos
+		       | CandidateAll);
       }
 
       // Fill the array "group" by candidates stating from INDEX.
@@ -2225,9 +2220,8 @@ namespace M17N.Input
       preedit.PushProp (candidate_from, candidate_to,
 			MInputMethod.Mcandidates, this);
       cursor_pos = candidate_from;
-      preedit_changed = true;
-      cursor_pos_changed = true;
-      candidate_changed = true;
+      changed |= (ChangedStatus.Preedit | ChangedStatus.CursorPos
+		  | CandidateAll);
     }
 
     internal void insert_candidates (Xex.Term arg)
@@ -2368,20 +2362,19 @@ namespace M17N.Input
 	preedit_replace (pos, cursor_pos, null);
       else
 	preedit_replace (cursor_pos, pos, null);
-      preedit_changed = true;
-      cursor_pos_changed = true;
+      changed |= ChangedStatus.Preedit | ChangedStatus.CursorPos;
     }
 
     internal void show ()
     {
       candidate_show = true;
-      candidate_changed = true;
+      changed |= ChangedStatus.CandidateShow;
     }
 
     internal void hide ()
     {
       candidate_show = false;
-      candidate_changed = true;
+      changed |= ChangedStatus.CandidateShow;
     }
 
     internal void move (int pos)
@@ -2393,7 +2386,7 @@ namespace M17N.Input
       if (pos != cursor_pos)
 	{
 	  cursor_pos = pos;
-	  preedit_changed = true;
+	  changed |= ChangedStatus.Preedit;
 	}
     }
 
@@ -2454,7 +2447,7 @@ namespace M17N.Input
     {
       produced.Cat (preedit);
       preedit.Del ();
-      preedit_changed = true;
+      changed |= ChangedStatus.Preedit;
     }
 
     internal void shift (MSymbol sym)
@@ -2493,7 +2486,7 @@ namespace M17N.Input
 	      status = state.title;
 	      if (status == null)
 		status = im.title;
-	      status_changed = true;
+	      changed |= ChangedStatus.StateTitle;
 	      Xex on_entry
 		= (Xex) state.branches.Get (MSymbol.t);
 	      if (on_entry != null)
@@ -2532,9 +2525,12 @@ namespace M17N.Input
 
     internal void HandleKey ()
     {
-      MInputMethod.State state = states.Peek ();
+    }
 
-      
+    public bool Toggle ()
+    {
+      active = ! active;
+      return active;
     }
   }
 }
diff --git a/input.txt b/input.txt
new file mode 100644
index 0000000..0e626ce
--- /dev/null
+++ b/input.txt
@@ -0,0 +1,49 @@
+INPUT-METHOD =
+  '<input-method>'
+  TAGS
+  DESCRIPTION ?
+  TITLE ?
+  VARLIST ?
+  CMDLIST ?
+  MODULELIST ?
+  MACROLIST ?
+  MAPLIST ?
+  STATELIST ?
+  '</input-method>'
+
+VARLIST = '<variable-list>' DEFVAR * '</variable-list>'
+CMDLIST = '<command-list>' COMMAND * '</command-list>'
+MODULELIST = '<module-list>' MODULE * '</module-list>'
+MACROLIST = '<macro-list>' DEFUN * '</macro-list>'
+MAPLIST = '<map-list>' MAP * '</map-list>'
+STATELIST = '<state-list>' STATE * '</state-list>'
+
+MODULE = '<module>' DEFUN-NAME + '</module>'
+DEFUN-NAME = '<defun fname=">' FNAME '"/>'
+
+MAP = '<map id="' MAPNAME '">' RULE * '</map>'
+
+RULE = '<rule>' [ KEYSEQ | COMMAND-REF ] FUNCALL * '</rule>'
+
+STATE = '<state id="' STATENAME '">' BRANCH * '</state>'
+
+BRANCH = ...
+
+TERM += MIM-TERM
+PREDEFINED += MIM-PREDEFEIND
+
+MIM-TERM = KEYSEQ MARKER 
+
+KEYSEQ = '<keyseq>' [ INTTERM | STRTERM | SYMTERM ] + '</keyseq>'
+KEYSEQTERM = KEYSEQ | VAR (value is KEYSEQ) | FUNCALL (return KEYSEQ)
+
+MARKER = '<marker>' SYMTERM '</marker>'
+MARKERTERM = MARKER | VAR (value is MARKER) | FUNCALL (return MARKER)
+
+
+MIM-PREDEFINED = MARK MOVE PUSHBACK ...
+
+MOVE = '<move>' [ MARKERTERM | INTTERM ] '</move>'
+MARK = '<mark>' MARKERTERM '</mark>'
+PUSHBACK = '<pushback>' [ KEYSEQTERM | INTTERM ] '</pushback>'
+...
diff --git a/xex.txt b/xex.txt
index 5426526..7069f4b 100644
--- a/xex.txt
+++ b/xex.txt
@@ -65,19 +65,18 @@ VAR =
 
 FUNCALL =
   '<funcall fname="' FNAME '">' TERM * '</funcall>'
-  | '<' PREDEFINED '>' TERM * '</' PREDEFINED '>'
-  | '<' PREDEFINED 'vname="' VNAME '">' TERM * '</' PREDEFINED '>'
+  | PREDEFINED
 
 PREDEFINED =
-  'set'
-  | 'and' | 'or' | 'not'
-  | 'lt' | 'le' | 'eq' | 'ge' | 'gt' | 'noteq'
-  | 'add' | 'sub' | 'mul' | 'div' | 'mod'
-  | 'logand' | 'logior' | 'logxor' | 'lsh'
-  | 'append' | 'concat' | 'length' | 'nth'  | 'copy' | 'ins' | 'del'
-  | 'progn' | 'if' | 'when' | 'cond'
-  | 'loop' | 'while' | 'foreach' | 'break' | 'return'
-  | 'quote' | 'eval' | 'type'
+  SET
+  | AND | OR | NOT
+  | LT | LE | EQ | GE | GT | NOTEQ
+  | ADD | SUB | MUL | DIV | MOD
+  | LOGAND | LOGIOR | LOGXOR | LSH
+  | APPEND | CONCAT | LENGTH | NTH  | COPY | INS | DEL
+  | PROGN | IF | WHEN | COND
+  | LOOP | WHILE | FOREACH | BREAK | RETURN
+  | QUOTE | EVAL | TYPE
 
 ;; TERM has a value, and is evaluated to a TERM as below.
 ;; INT has an integer value, and is evaluated to itself .
@@ -91,56 +90,57 @@ PREDEFINED =
 
 INTTERM = INT | VAR (value is INT) | FUNCALL (return INT)
 STRTERM = STR | VAR (value is STR) | FUNCALL (return STR)
+SYMTERM = SYMBOL | VAR (value is SYMBOL) | FUNCALL (return SYMBOL)
 LISTTERM = LIST | VAR (value is LIST) | FUNCALL (return LIST)
 ANYTERM = TERM
 
 ;; Here after, when an argument is TERM, it is given to a function
 ;; without being evaluted.  Otherwise, an evaluated term is given.
 
-'<set vname="' VNAME '">' ANYTERM '</set>'
-'<add>' INTTERM + '</add>'
-'<add vname="' VNAME '">' INTTERM + '</add>'
-'<sub>' INTTERM + '</sub>'
-'<sub vname="' VNAME '">' INTTERM + '</sub>'
-'<mul>' INTTERM + '</mul>'
-'<mul vname="' VNAME '">' INTTERM + '</mul>'
-'<div>' INTTERM + '</div>'
-'<div vname="' VNAME '">' INTTERM + '</div>'
-'<mod>' INTTERM INTTERM '</mod>'
-'<mod vname="' VNAME '">' INTTERM '</div>'
-'<logand> INTTERM + '</logand>'
-'<logand vname="' VNAME '">' INTTERM + '</logand>'
-'<logior> INTTERM + '</logior>'
-'<logior> vname="' VNAME '">' INTTERM + '</logior>'
-'<logxor> INTTERM + '</logxor>'
-'<logxor> vname="' VNAME '">' INTTERM + '</logxor>'
-'<lsh>' INTTERM INTTERM '</lsh>'
-'<lsh vname="' VNAME '">' INTTERM '</mul>'
-'<lt>' INTTERM INTTERM '</lt>'
-'<le>' INTTERM INTTERM '</le>'
-'<eq>' INTTERM INTTERM '</eq>'
-'<noteq>' INTTERM INTTERM '</noteq>'
-'<ge>' INTTERM INTTERM '</ge>'
-'<gt>' INTTERM INTTERM '</gt>'
-'<append>' ANYTERM + '</append>'
-'<concat>' [ INTTERM | STRTERM | LISTTERM ] + '</concat>'
-'<length>' [ STRTERM | LISTTERM ] '</length>'
-'<nth>' INTTERM [ STRTERM | LISTTERM ] '</nth>'
-'<copy>' LISTTERM '</nth>'
-'<ins vname="' VNAME '">' INTTERM [ STRTERM | LISTTERM ] '</ins>'
-'<del vname="' VNAME '">' INTTERM INTTERM '</ins>'
-'<and>' TERM + '</and>'
-'<or>' TERM + '</or>'
-'<not>' TERM '</not>'
-'<progn>' TERM * '</progn>'
-'<if>' TERM TERM TERM ? '</if>'
-'<when>' TERM TERM * '</when>'
-'<cond>' LIST + '</cond>'
-'<loop>' TERM + '</loop>'
-'<while>' TERM + '</while>'
-'<foreach vname="' VNAME '">' TERM + '</foreach>'
-'<break>' ANYTERM ? '</break>'
-'<return>' ANYTERM ? '</return>'
-'<quote>' TERM '</quote>'
-'<eval>' TERM '</eval>'
-'<type>' ANYTERM '</type>'
+SET = '<set vname="' VNAME '">' ANYTERM '</set>'
+ADD = '<add>' INTTERM + '</add>'
+      | '<add vname="' VNAME '">' INTTERM + '</add>'
+SUB = '<sub>' INTTERM + '</sub>'
+      | '<sub vname="' VNAME '">' INTTERM + '</sub>'
+MUL = '<mul>' INTTERM + '</mul>'
+      | '<mul vname="' VNAME '">' INTTERM + '</mul>'
+DIB = '<div>' INTTERM + '</div>'
+      | '<div vname="' VNAME '">' INTTERM + '</div>'
+MOD = '<mod>' INTTERM INTTERM '</mod>'
+      | '<mod vname="' VNAME '">' INTTERM '</div>'
+LOGAND = '<logand> INTTERM + '</logand>'
+         | '<logand vname="' VNAME '">' INTTERM + '</logand>'
+LOGIOR = '<logior> INTTERM + '</logior>'
+         | '<logior> vname="' VNAME '">' INTTERM + '</logior>'
+LOGXOR = '<logxor> INTTERM + '</logxor>'
+         | '<logxor> vname="' VNAME '">' INTTERM + '</logxor>'
+LSH = '<lsh>' INTTERM INTTERM '</lsh>'
+      | '<lsh vname="' VNAME '">' INTTERM '</mul>'
+LT = '<lt>' INTTERM INTTERM '</lt>'
+LE = '<le>' INTTERM INTTERM '</le>'
+EQ = '<eq>' INTTERM INTTERM '</eq>'
+NOTEQ = '<noteq>' INTTERM INTTERM '</noteq>'
+GE = '<ge>' INTTERM INTTERM '</ge>'
+GT ='<gt>' INTTERM INTTERM '</gt>'
+APPEND = '<append>' ANYTERM + '</append>'
+CONCAT = '<concat>' [ INTTERM | STRTERM | LISTTERM ] + '</concat>'
+LENGTH = '<length>' [ STRTERM | LISTTERM ] '</length>'
+NTH = '<nth>' INTTERM [ STRTERM | LISTTERM ] '</nth>'
+COPY = '<copy>' LISTTERM '</nth>'
+INS = '<ins vname="' VNAME '">' INTTERM [ STRTERM | LISTTERM ] '</ins>'
+DEL = '<del vname="' VNAME '">' INTTERM INTTERM '</ins>'
+AND = '<and>' TERM + '</and>'
+OR = '<or>' TERM + '</or>'
+NOT = '<not>' TERM '</not>'
+PROGN = '<progn>' TERM * '</progn>'
+IF = '<if>' TERM TERM TERM ? '</if>'
+WHEN = '<when>' TERM TERM * '</when>'
+COND = '<cond>' LIST + '</cond>'
+LOOP = '<loop>' TERM + '</loop>'
+WHILE = '<while>' TERM + '</while>'
+FOREACH = '<foreach vname="' VNAME '">' TERM + '</foreach>'
+BREAK = '<break>' ANYTERM ? '</break>'
+RETURN = '<return>' ANYTERM ? '</return>'
+QUOTE = '<quote>' TERM '</quote>'
+EVAL = '<eval>' TERM '</eval>'
+TYPE = '<type>' ANYTERM '</type>'
-- 
1.7.10.4