src/app_polygen.vala

   1 /*
   2  * app_wm - zavai window management functions
   3  *
   4  * Copyright (C) 2009  Enrico Zini <enrico@enricozini.org>
   5  *
   6  * This program is free software; you can redistribute it and/or modify
   7  * it under the terms of the GNU General Public License as published by
   8  * the Free Software Foundation; either version 2 of the License, or
   9  * (at your option) any later version.
  10  *
  11  * This program is distributed in the hope that it will be useful,
  12  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14  * GNU General Public License for more details.
  15  *
  16  * You should have received a copy of the GNU General Public License
  17  * along with this program; if not, write to the Free Software
  18  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
  19  */
  20
  21 using GLib;
  22
  23 namespace zavai {
  24 namespace ui {
  25 namespace polygen {
  26
  27 protected class PolygenPage : Object
  28 {
  29     public string name { get; construct; }
  30     public Gtk.ListStore model;
  31     public Gtk.TreeView list;
  32     public Gtk.ScrolledWindow scroll;
  33     public signal void selected(string page, string name, string type);
  34
  35     public PolygenPage(string name)
  36     {
  37         this.name = name;
  38         model = new Gtk.ListStore(3, typeof(string), typeof(string), typeof(string));
  39         list = new Gtk.TreeView.with_model(model);
  40         list.insert_column_with_attributes (-1, "Name", new Gtk.CellRendererText(), "text", 0);
  41         list.insert_column_with_attributes (-1, "Title", new Gtk.CellRendererText(), "text", 1);
  42         scroll = new Gtk.ScrolledWindow (null, null);
  43         scroll.set_policy(Gtk.PolicyType.NEVER, Gtk.PolicyType.AUTOMATIC);
  44         scroll.add(list);
  45
  46         list.row_activated += on_row_activated;
  47     }
  48
  49     public void select()
  50     {
  51         // Get currently selected/focused
  52         Gtk.TreePath path;
  53         Gtk.TreeViewColumn col;
  54         list.get_cursor(out path, out col);
  55
  56         // Activate it
  57         list.row_activated(path, col);
  58     }
  59
  60     private void on_row_activated(Gtk.TreeView tv, Gtk.TreePath path, Gtk.TreeViewColumn column)
  61     {
  62         Gtk.TreeIter iter;
  63         if (!model.get_iter(out iter, path)) return;
  64         Value grm_name, grm_type;
  65         model.get_value(iter, 0, out grm_name);
  66         model.get_value(iter, 2, out grm_type);
  67         selected(name, (string)grm_name, (string)grm_type);
  68     }
  69 }
  70
  71 protected class PolygenRun : Gtk.VBox
  72 {
  73     public Gtk.ScrolledWindow scroll;
  74     protected Gtk.TextBuffer text_buffer;
  75     protected Gtk.TextView text;
  76     protected Regex unhtml;
  77     protected Regex seplines;
  78
  79     public string grm_name { get; set; }
  80     public string grm_type { get; set; }
  81
  82     public PolygenRun()
  83     {
  84         grm_name = "";
  85         grm_type = "";
  86         unhtml = new Regex("[ ]*<[^>]+>[ ]*", 0, 0);
  87         seplines = new Regex("\n");
  88         text_buffer = new Gtk.TextBuffer(null);
  89         text = new Gtk.TextView.with_buffer(text_buffer);
  90         text.wrap_mode = Gtk.WrapMode.WORD;
  91         text.cursor_visible = false;
  92         text.editable = false;
  93         text.add_events(Gdk.EventMask.BUTTON_PRESS_MASK);
  94         text.button_press_event += on_button_press;
  95         scroll = new Gtk.ScrolledWindow (null, null);
  96         scroll.set_policy(Gtk.PolicyType.NEVER, Gtk.PolicyType.AUTOMATIC);
  97         scroll.add(text);
  98                 pack_start(scroll, true, true, 0);
  99     }
 100
 101     public bool on_button_press(Gdk.EventButton event)
 102     {
 103         update();
 104         return true;
 105     }
 106
 107     public void update()
 108     {
 109         if (grm_name == "") return;
 110         string[] args = new string[5];
 111         args[0] = "/usr/bin/polygen";
 112         args[1] = "/usr/share/polygen/" + grm_name + ".grm";
 113         if (grm_type == "line/text" || grm_type == "line/html")
 114         {
 115             args[2] = "-X";
 116             args[3] = "10";
 117             args[4] = null;
 118         }
 119         else
 120             args[2] = null;
 121         int pipe_out;
 122         Process.spawn_async_with_pipes(config.homedir, args, null, 0, null, null, null, out pipe_out, null);
 123         IOChannel ch = new IOChannel.unix_new(pipe_out);
 124         string result;
 125         size_t res_len;
 126         ch.read_to_end(out result, out res_len);
 127         ch.shutdown(false);
 128
 129         if (grm_type == "line/html" || grm_type == "block/html")
 130         {
 131             result = unhtml.replace(result, (long)res_len, 0, " ", 0);
 132         } else if (grm_type == "line/text") {
 133             result = seplines.replace(result, (long)res_len, 0, "\n\n", 0);
 134         }
 135
 136
 137         text_buffer.text = result;
 138         Gtk.TextIter iter;
 139         text_buffer.get_iter_at_offset(out iter, 0);
 140         Gtk.TextMark mark = text_buffer.create_mark(null, iter, true);
 141         text.scroll_mark_onscreen(mark);
 142     }
 143 }
 144
 145 public class Polygen : Applet
 146 {
 147     protected Gee.ArrayList<PolygenPage> pages;
 148     protected Gtk.Notebook notebook;
 149     protected PolygenRun result;
 150
 151     private void add_grammar(string page, string name, string type, string title)
 152     {
 153         PolygenPage pg = null;
 154         foreach (PolygenPage p in pages)
 155         {
 156             if (p.name == page)
 157             {
 158                 pg = p;
 159                 break;
 160             }
 161         }
 162         if (pg == null)
 163         {
 164             pg = new PolygenPage(page);
 165             pg.selected += on_selected;
 166             pages.add(pg);
 167         }
 168
 169         Gtk.TreeIter iter;
 170         pg.model.append (out iter);
 171         pg.model.set(iter, 0, name);
 172         pg.model.set(iter, 1, title);
 173         pg.model.set(iter, 2, type);
 174     }
 175
 176     protected void on_selected(string page, string name, string type)
 177     {
 178         result.grm_name = page + "/" + name;
 179         result.grm_type = type;
 180         result.update();
 181         notebook.set_current_page(notebook.get_n_pages()-1);
 182     }
 183
 184         public Polygen(string label, IOChannel data)
 185         {
 186                 _label = label;
 187         pages = new Gee.ArrayList<PolygenPage>();
 188
 189         while (true)
 190         {
 191             string line;
 192             var res = data.read_line(out line, null, null);
 193             if (res != IOStatus.NORMAL) break;
 194             string[] vals = line.split(" ", 3);
 195             if (vals == null) break;
 196             string[] np = vals[0].split("/", 2);
 197             if (np == null) break;
 198             add_grammar(np[0], np[1], vals[1], vals[2].strip());
 199         }
 200
 201         notebook = new Gtk.Notebook();
 202         foreach (PolygenPage p in pages)
 203         {
 204             notebook.append_page(p.scroll, new Gtk.Label(p.name));
 205         }
 206         result = new PolygenRun();
 207         notebook.append_page(result, new Gtk.Label("Result"));
 208
 209                 pack_start(notebook, true, true, 0);
 210
 211         Gtk.Button select = new Gtk.Button.with_label("Select");
 212         button_box.pack_start(select, true, true, 0);
 213         select.clicked += on_click;
 214         }
 215
 216     private void on_click(Gtk.Button b)
 217     {
 218         stderr.printf("ZA\n");
 219         if (notebook.page >= pages.size)
 220             result.update(); // If we are in the result page, just update
 221         else
 222         {
 223             PolygenPage page = pages[notebook.page];
 224             page.select();
 225         }
 226     }
 227 }
 228
 229 Polygen polygen;
 230
 231 public void init()
 232 {
 233     var menu_misc = new zavai.Menu("Misc");
 234     zavai.registry.register_menu("menu.misc", menu_misc);
 235     zavai.registry.getmenu("menu.main").add_applet("menu.misc");
 236
 237     try {
 238         var data = new IOChannel.file(zavai.config.homedir + "/polygen-info", "r");
 239         polygen = new Polygen("Polygen", data);
 240         data.shutdown(false);
 241
 242         zavai.registry.register_applet("ui.polygen", polygen);
 243         zavai.registry.getmenu("menu.misc").add_applet("ui.polygen");
 244     } catch (FileError e) {
 245         polygen = null;
 246         zavai.log.error("Skipping polygen plugin: " + e.message);
 247     }
 248 }
 249
 250 }
 251 }
 252 }