Separate lines in a multiline grammar
[gregoa/zavai.git] / src / app_polygen.vala
index af01b8fd4061d58f3c6af5d56d3eae78414f0e2d..b3a997a976394adff725870562dc9036f9db770f 100644 (file)
@@ -30,12 +30,12 @@ protected class PolygenPage : Object
     public Gtk.ListStore model;
     public Gtk.TreeView list;
     public Gtk.ScrolledWindow scroll;
-    public signal void selected(string page, string name);
+    public signal void selected(string page, string name, string type);
 
     public PolygenPage(string name)
     {
         this.name = name;
-        model = new Gtk.ListStore(2, typeof(string), typeof(string));
+        model = new Gtk.ListStore(3, typeof(string), typeof(string), typeof(string));
         list = new Gtk.TreeView.with_model(model);
         list.insert_column_with_attributes (-1, "Name", new Gtk.CellRendererText(), "text", 0);
         list.insert_column_with_attributes (-1, "Title", new Gtk.CellRendererText(), "text", 1);
@@ -50,43 +50,84 @@ protected class PolygenPage : Object
     {
         Gtk.TreeIter iter;
         if (!model.get_iter(out iter, path)) return;
-        Value grm_name;
+        Value grm_name, grm_type;
         model.get_value(iter, 0, out grm_name);
-        selected(name, (string)grm_name);
+        model.get_value(iter, 2, out grm_type);
+        selected(name, (string)grm_name, (string)grm_type);
     }
 }
 
 protected class PolygenRun : Gtk.VBox
 {
-    protected Gtk.Label text;
-    protected Gtk.Button text_button;
-
-    private string _grammar;
-    public string grammar {
-        get { return _grammar; }
-        set {
-            _grammar = value;
-            update();
-        }
-    }
+    public Gtk.ScrolledWindow scroll;
+    protected Gtk.TextBuffer text_buffer;
+    protected Gtk.TextView text;
+    protected Regex unhtml;
+    protected Regex seplines;
+
+    public string grm_name { get; set; }
+    public string grm_type { get; set; }
 
     public PolygenRun()
     {
-        _grammar = "";
-        text = new Gtk.Label("");
-        text.use_markup = true;
-        text.wrap = true;
-        text_button = new Gtk.Button();
-        text_button.set_image(text);
-               pack_start(text_button, true, true, 0);
-        text_button.clicked += on_clicked;
+        grm_name = "";
+        grm_type = "";
+        unhtml = new Regex("[ ]*<[^>]+>[ ]*", 0, 0);
+        seplines = new Regex("\n");
+        text_buffer = new Gtk.TextBuffer(null);
+        text = new Gtk.TextView.with_buffer(text_buffer);
+        text.wrap_mode = Gtk.WrapMode.WORD;
+        text.cursor_visible = false;
+        text.editable = false;
+        text.add_events(Gdk.EventMask.BUTTON_PRESS_MASK);
+        text.button_press_event += on_button_press;
+        scroll = new Gtk.ScrolledWindow (null, null);
+        scroll.set_policy(Gtk.PolicyType.NEVER, Gtk.PolicyType.AUTOMATIC);
+        scroll.add(text);
+               pack_start(scroll, true, true, 0);
     }
 
-    public void on_clicked(Gtk.Button button) { update(); }
+    public bool on_button_press(Gdk.EventButton event)
+    {
+        update();
+        return true;
+    }
 
     public void update()
     {
-        text.label = "ciao " + _grammar;
+        if (grm_name == "") return;
+        string[] args = new string[5];
+        args[0] = "/usr/bin/polygen";
+        args[1] = "/usr/share/polygen/" + grm_name + ".grm";
+        if (grm_type == "line/text" || grm_type == "line/html")
+        {
+            args[2] = "-X";
+            args[3] = "10";
+            args[4] = null;
+        }
+        else
+            args[2] = null;
+        int pipe_out;
+        Process.spawn_async_with_pipes(config.homedir, args, null, 0, null, null, null, out pipe_out, null);
+        IOChannel ch = new IOChannel.unix_new(pipe_out);
+        string result;
+        size_t res_len;
+        ch.read_to_end(out result, out res_len);
+        ch.shutdown(false);
+
+        if (grm_type == "line/html" || grm_type == "block/html")
+        {
+            result = unhtml.replace(result, (long)res_len, 0, " ", 0);
+        } else if (grm_type == "line/text") {
+            result = seplines.replace(result, (long)res_len, 0, "\n\n", 0);
+        }
+        
+
+        text_buffer.text = result;
+        Gtk.TextIter iter;
+        text_buffer.get_iter_at_offset(out iter, 0);
+        Gtk.TextMark mark = text_buffer.create_mark(null, iter, true);
+        text.scroll_mark_onscreen(mark);
     }
 }
 
@@ -96,7 +137,7 @@ public class Polygen : Applet
     protected Gtk.Notebook notebook;
     protected PolygenRun result;
 
-    private void add(string page, string name, string title)
+    private void add_grammar(string page, string name, string type, string title)
     {
         PolygenPage pg = null;
         foreach (PolygenPage p in pages)
@@ -118,11 +159,14 @@ public class Polygen : Applet
         pg.model.append (out iter);
         pg.model.set(iter, 0, name);
         pg.model.set(iter, 1, title);
+        pg.model.set(iter, 2, type);
     }
 
-    protected void on_selected(string page, string name)
+    protected void on_selected(string page, string name, string type)
     {
-        result.grammar = page + "/" + name;
+        result.grm_name = page + "/" + name;
+        result.grm_type = type;
+        result.update();
         notebook.set_current_page(notebook.get_n_pages()-1);
     }
 
@@ -136,11 +180,11 @@ public class Polygen : Applet
             string line;
             var res = data.read_line(out line, null, null);
             if (res != IOStatus.NORMAL) break;
-            string[] vals = line.split(" ", 2);
+            string[] vals = line.split(" ", 3);
             if (vals == null) break;
             string[] np = vals[0].split("/", 2);
             if (np == null) break;
-            add(np[0], np[1], vals[1].strip());
+            add_grammar(np[0], np[1], vals[1], vals[2].strip());
         }
 
         notebook = new Gtk.Notebook();