gtk-stream 0.1__py3-none-any.whl

gtk_stream/__init__.py

@@ -0,0 +1,4 @@
+import gi
+gi.require_version("Gtk", "4.0")
+from gi.repository import Gtk, Gdk, GLib, Gio, GObject
+

gtk_stream/application.py

@@ -0,0 +1,85 @@
+import sys
+
+from . import Gtk, GLib, Gdk
+from .common import printEvent
+from .properties import parse_property
+
+class GtkStreamApp(Gtk.Application):
+    def __init__(self, name = None, **kwargs):
+        super().__init__(**kwargs)
+        if name != None:
+            GLib.set_application_name(name)
+        self.namedWidgets = { }
+        self.namedWindows = { }
+        
+        self.callback_queue = []
+
+        def run_when_idle_before_startup(cb):
+            self.callback_queue.append(cb)
+        self.run_when_idle = run_when_idle_before_startup
+        
+        def on_startup(_):
+            for cb in self.callback_queue:
+                GLib.idle_add(cb)
+            self.run_when_idle = GLib.idle_add
+        self.connect('startup', on_startup)
+        
+    def nameWidget(self, id, w):
+        if id is not None:
+            self.namedWidgets[id] = w
+
+    def openFileDialog(self, id, parent):
+        def cb():
+            dialog = Gtk.FileDialog()
+            dialog.props.modal = True
+            def on_choose(_, b):
+                try:
+                    file = dialog.open_finish(b)
+                    print(f"{id}:selected:{file.get_path()}")
+                    sys.stdout.flush()
+                except GLib.GError as e:
+                    print(f"{id}:none-selected")
+                    sys.stdout.flush()
+                    
+            dialog.open(parent = self.namedWindows[parent], callback = on_choose)
+        self.run_when_idle(cb)
+    def newWindow(self, document, id, title = "Window", width = None, height = None):
+        def cb():
+            win = Gtk.Window(application=self)
+            win.set_title(title)
+            if width != None and height != None:
+                win.set_default_size(int(width), int(height))
+            self.namedWindows[id] = win
+            win.set_child(document.render())
+            win.connect('close-request', printEvent('close-request', id))
+            win.present()
+            return False
+        self.run_when_idle(cb)
+    def addStyle(self, style):
+        def cb():
+            provider = Gtk.CssProvider()
+            provider.load_from_data(style)
+            Gtk.StyleContext.add_provider_for_display(Gdk.Display.get_default(), provider, Gtk.STYLE_PROVIDER_PRIORITY_APPLICATION)
+        self.run_when_idle(cb)
+    def closeWindow(self, id):
+        def cb():
+            self.namedWindows[id].close()
+        self.run_when_idle(cb)
+    def removeWidget(self, id):
+        def cb():
+            w = self.namedWidgets[id]
+            w.get_parent().remove(w)
+        self.run_when_idle(cb)
+    def appendWidget(self, to, document):
+        def cb():
+            if to in self.namedWidgets:
+                w = self.namedWidgets[to]
+                w.attach_child(document)
+            else:
+                raise Exception(f"Error: unknown widget id '{to}'")
+        self.run_when_idle(cb)
+    def setProp(self, id, name, value):
+        def cb():
+            w = self.namedWidgets[id]
+            w.set_property(name, parse_property(name, value))
+        self.run_when_idle(cb)

gtk_stream/command_line.py

@@ -0,0 +1,14 @@
+import io
+import xml.sax as sax
+import signal
+
+from .parser import GtkStreamXMLHandler
+
+def main():
+    handler = GtkStreamXMLHandler()
+    parser = sax.make_parser()
+    parser.setContentHandler(handler)
+    try:
+        parser.parse(io.FileIO(0, 'r', closefd=False))
+    finally:
+        handler.app.release()

gtk_stream/common.py

@@ -0,0 +1,10 @@
+import sys
+
+def printEvent(event, id):
+    def ret(w):
+        try:
+            print(f"{id}:{event}", file=sys.stdout)
+            sys.stdout.flush()
+        except:
+            print("Broken pipe, right ?", file=sys.stderr)
+    return ret

gtk_stream/documents/__init__.py

@@ -0,0 +1,11 @@
+from .classes.Document import Document
+
+from .classes.Label import Label
+from .classes.Button import Button
+from .classes.ProgressBar import ProgressBar
+from .classes.Dropdown import Dropdown, Item
+
+from .classes.Box import Box
+from .classes.Paned import Paned
+from .classes.Frame import Frame
+from .classes.Grid import Grid, Cell

gtk_stream/documents/classes/Box.py

@@ -0,0 +1,10 @@
+from ... import Gtk
+from .. import Document
+
+class Box(Document):
+    def __init__(self, app, **kwargs):
+        super().__init__(app, **kwargs)
+    def render_raw(self):
+        return Gtk.Box()
+    def attach_child(self, w, d):
+        w.append(d.render())

gtk_stream/documents/classes/Button.py

@@ -0,0 +1,13 @@
+from ... import Gtk
+from ...common import printEvent
+from .. import Document
+
+class Button(Document):
+    def __init__(self, app, id, **kwargs):
+        super().__init__(app, id = id, **kwargs)
+    def render_raw(self):
+        button = Gtk.Button()
+        button.connect('clicked', printEvent('clicked', self.id))
+        return button
+    def attach_child(self, w, d):
+        w.set_child(d.render())

gtk_stream/documents/classes/Document.py

@@ -0,0 +1,30 @@
+import sys
+from ...properties import parse_property
+
+class Document:
+    def __init__(self, app, id = None, **attrs):
+        self.id = id
+        self.app = app
+        self.props = { attr: parse_property(attr, val) for (attr, val) in attrs.items() }
+        self.children = []
+
+    def add_child(self, child):
+        self.children.append(child)
+        
+    def render_raw(self):
+        """Method to render the document to a widet"""
+        raise Exception("Method 'render' not implemented")
+    def set_properties(self, w):
+        self.app.nameWidget(self.id, w)
+        for (p,v) in self.props.items():
+            w.set_property(p, v)
+        w.attach_child = lambda d: self.attach_child(w, d)
+    def render(self):
+        w = self.render_raw()
+        self.set_properties(w)
+        for child in self.children:
+            self.attach_child(w, child)
+        return w
+    
+    def attach_child(self, w, child):
+        raise Exception("Unimplemented method 'attach_child'")

gtk_stream/documents/classes/Dropdown.py

@@ -0,0 +1,50 @@
+from ... import Gtk, Gio, GObject
+from .. import Document
+
+class Item(Document):
+    def __init__(self, app, value, **kwargs):
+        super().__init__(app, **kwargs)
+        self.child = None
+        self.value = value
+    def add_child(self, child):
+        self.child = child
+    def render(self):
+        return self.child.render()
+class _ItemObject(GObject.Object):
+    def __init__(self, doc):
+        super().__init__()
+        self.doc = doc
+        self.value = doc.value
+
+    @GObject.Property(type=str)
+    def item_value(self):
+        return self.value
+        
+class Dropdown(Document):
+    def __init__(self, app, id, **kwargs):
+        super().__init__(app, id=id, **kwargs)
+    def render_raw(self):
+        model = Gio.ListStore(item_type=_ItemObject)
+        for item in self.children:
+            model.append(_ItemObject(item))
+
+        factory = Gtk.SignalListItemFactory()
+        def on_list_setup(_, list_item):
+            list_item.item_value = None
+        def on_list_bind(_, list_item):
+            item = list_item.get_item()
+            if list_item.item_value != item.value:
+                list_item.item_value = item.value
+                list_item.set_child(item.doc.render())
+        factory.connect("setup", on_list_setup)
+        factory.connect("bind", on_list_bind)
+
+        ret = Gtk.DropDown(model=model, expression=Gtk.PropertyExpression.new(_ItemObject, None, 'item_value'), factory=factory)
+        
+        def on_selection_change(w,d):
+            print(f"{self.id}:selected:{w.get_selected_item().value}")
+            sys.stdout.flush()
+        ret.connect('notify::selected-item', on_selection_change)
+        return ret
+    def attach_child(self, w, d):
+        pass

gtk_stream/documents/classes/Frame.py

@@ -0,0 +1,14 @@
+from ... import Gtk
+from .. import Document
+
+class Frame(Document):
+    def __init__(self, app, label=None, **kwargs):
+        super().__init__(app,**kwargs)
+        self.label = label
+    def render_raw(self):
+        ret = Gtk.Frame()
+        if self.label != None:
+            ret.set_label(self.label)
+        return ret
+    def attach_child(self, w, d):
+        w.set_child(d.render())

gtk_stream/documents/classes/Grid.py

@@ -0,0 +1,24 @@
+from ... import Gtk
+from .. import Document
+
+class Cell(Document):
+    def __init__(self, app, x, y, w="1", h="1"):
+        super().__init__(app)
+        self.child = None
+        self.x = int(x)
+        self.y = int(y)
+        self.w = int(w)
+        self.h = int(h)
+    def render(self):
+        return self.child.render()
+    def add_child(self, child):
+        self.child = child
+
+class Grid(Document):
+    def __init__(self, app, **kwargs):
+        super().__init__(app, **kwargs)
+
+    def render_raw(self):
+        return Gtk.Grid()
+    def attach_child(self, w, d):
+        w.attach(d.render(), d.x, d.y, d.w, d.h)

gtk_stream/documents/classes/Label.py

@@ -0,0 +1,11 @@
+from ... import Gtk
+from .. import Document
+
+class Label(Document):
+    def __init__(self, app, text, **kwargs):
+        super().__init__(app, **kwargs)
+        self.text = text
+    def render_raw(self):
+        l = Gtk.Label()
+        l.set_text(self.text)
+        return l

gtk_stream/documents/classes/Paned.py

@@ -0,0 +1,20 @@
+from ... import Gtk
+from .. import Document
+
+class Paned(Document):
+    def __init__(self, app, **kwargs):
+        super().__init__(app, **kwargs)
+    def render(self):
+        if len(self.children) == 1:
+            return self.children[0].render()
+        
+        l = self.children[0].render()
+        for (r,rem_size) in zip(self.children[1:], range(len(self.children),1,-1)):
+            j = Gtk.Paned()
+            j.set_shrink_start_child(False)
+            j.set_shrink_end_child(False)
+            j.props.start_child = l
+            j.props.end_child = r.render()
+            self.set_properties(j)
+            l = j
+        return l

gtk_stream/documents/classes/ProgressBar.py

@@ -0,0 +1,8 @@
+from ... import Gtk
+from .. import Document
+
+class ProgressBar(Document):
+    def __init__(self, app, **kwargs):
+        super().__init__(app, **kwargs)
+    def render_raw(self):
+        return Gtk.ProgressBar()

gtk_stream/parser.py

@@ -0,0 +1,165 @@
+import threading
+import signal
+import xml.sax as sax
+
+from . import GLib
+from .documents import Document, Label, Box, Button, ProgressBar, Dropdown, Item, Paned, Frame, Grid, Cell
+from .application import GtkStreamApp
+
+class _Object:
+    pass
+   
+WIDGET_DOCUMENTS = {
+    'progress-bar': ProgressBar,
+    'label': Label,
+    'box': Box,
+    'button': Button,
+    'dropdown': Dropdown,
+    'item': Item,
+    'paned': Paned,
+    'grid': Grid,
+    'cell': Cell,
+    'frame': Frame
+}
+
+class GtkStreamXMLHandler(sax.ContentHandler):
+    def __init__(self):
+        self.transition_enter = self.transE_conn
+        self.transition_leave = self.transL_final
+        self.transition_chars = self.ignore_chars
+        self.namedWidgets = { }
+        self.windows = { }
+
+    def setNamed(self, attrs, ):
+        if 'id' in attrs:
+            self.namedWidgets[attrs['id']] = widget
+    def ignore_chars(self, s):
+        pass
+        
+    def transE_final(self, name, attrs):
+        raise Exception(f"Unexpected tag '{name}'")
+    def transL_final(self, name):
+        raise Exception(f"Unexpected end tag '{name}'")
+    def transL_tag(self, tag, enter, leave_parent, leave = None):
+        def ret(name):
+            if name == tag:
+                if leave != None:
+                    leave()
+                self.transition_enter = enter
+                self.transition_leave = leave_parent
+            else:
+                raise Exception(f"Error: expected end tag '{tag}', got '{name}'")
+        return ret
+                               
+    def transE_conn(self, name, attrs):
+        match name:
+            case 'application':
+                self.app = GtkStreamApp(**attrs)
+                def on_activate(a):
+                    a.hold()
+                self.app.connect('activate', on_activate)
+                def appMain():
+                    self.app.run([])
+                threading.Thread(target = appMain).start()
+                def on_sigint(a,b):
+                    def cb():
+                        self.app.quit()
+                        sys.exit(0)
+                    GLib.idle_add(cb)
+                signal.signal(signal.SIGINT, on_sigint)
+                self.transition_enter = self.transE_message
+                self.transition_leave = self.transL_tag('application', self.transE_final, self.transL_final)
+            case _:
+                raise Exception("Error: expected 'application' tag")
+    def transE_message(self, name, attrs):
+        leave_parent = self.transition_leave
+        match name:
+            case 'style':
+                style = _Object()
+                def onchars(s):
+                    style.chars = s
+                def leave():
+                    self.transition_chars = self.ignore_chars
+                    self.app.addStyle(style.chars)
+                self.transition_chars = onchars
+                self.transition_enter = self.transE_final
+                self.transition_leave = self.transL_tag('style', self.transE_message, leave_parent, leave)
+                
+            case 'window':
+                if 'id' in attrs:
+                    store = _Object()
+                    def leave():
+                        self.app.newWindow(store.child, **attrs)
+                    def setChild(c):
+                        store.child = c
+                    self.transition_enter = self.transE_addChild(setChild)
+                    self.transition_leave = self.transL_tag('window', self.transE_message, leave_parent, leave)
+                else:
+                    raise Exception("Error: expected attribute 'id' in 'window' tag")
+                
+            case 'file-dialog':
+                id = attrs.get('id')
+                parent = attrs.get('parent')
+                if id != None and parent != None:
+                    self.app.openFileDialog(id, parent)
+                    self.transition_enter = self.transE_final
+                    self.transition_leave = self.transL_tag('file-dialog', self.transE_message, leave_parent)
+                else:
+                    raise Exception("Error: expected 'id' and 'parent' attributes on 'file-chooser'")
+
+            case 'close-window':
+                if 'id' in attrs:
+                    def leave():
+                        self.app.closeWindow(attrs['id'])
+                    self.transition_enter = self.transE_final
+                    self.transition_leave = self.transL_tag('close-window', self.transE_message, leave_parent, leave)
+                else:
+                    raise Exception("Error: expected 'id' attribute in 'close-window' tag")
+
+            case 'set-prop':
+                self.app.setProp(**attrs)
+                self.transition_enter = self.transE_final
+                self.transition_leave = self.transL_tag('set-prop', self.transE_message, leave_parent)
+                
+            case 'append':
+                if 'to' in attrs:
+                    children = []
+                    def leave():
+                        for child in children:
+                            self.app.appendWidget(attrs['to'], child)
+                    self.transition_enter = self.transE_addChild(lambda child: children.append(child))
+                    self.transition_leave = self.transL_tag('append', self.transE_message, leave_parent, leave)
+                else:
+                    raise Exception("Expected 'to' attribute of 'append' message")
+
+            case 'remove':
+                if 'id' in attrs:
+                    def leave():
+                        self.app.removeWidget(attrs['id'])
+                    self.transition_enter = self.transE_final
+                    self.transition_leave = self.transL_tag('remove', self.transE_message, leave_parent, leave)
+                else:
+                    raise Exception("Expected 'id' attribute of 'remove' message")
+
+            case _:
+                raise Exception(f"Error: unknown message '{name}'")
+
+    def transE_addChild(self, addChild):
+        def ret(name, attrs):
+            leave_parent = self.transition_leave
+            doc_class = WIDGET_DOCUMENTS.get(name)
+            if doc_class != None:
+                doc = doc_class(self.app, **attrs)
+                addChild(doc)
+                self.transition_enter = self.transE_addChild(lambda child: doc.add_child(child))
+                self.transition_leave = self.transL_tag(name, self.transE_addChild(addChild), leave_parent)
+            else:
+                raise Exception(f"Error: Unknown widget {name}")
+        return ret
+
+    def characters(self, s):
+        self.transition_chars(s)
+    def startElement(self, name, attrs):
+        self.transition_enter(name, attrs)
+    def endElement(self, name):
+        self.transition_leave(name)

gtk_stream/properties.py

@@ -0,0 +1,38 @@
+from . import Gtk
+
+def _parse_orientation_property(val):
+    return (Gtk.Orientation.HORIZONTAL) if val == "horizontal" else (Gtk.Orientation.VERTICAL)
+def _parse_boolean_property(val):
+    return True if val == "true" else False
+def _parse_float_property(val):
+    return float(val)
+def _parse_int_property(val):
+    return int(val)
+def _parse_searchMode_property(val):
+    match val:
+        case 'exact':
+            return Gtk.StringFilterMatchMode.EXACT
+        case 'substring':
+            return Gtk.StringFilterMatchMode.SUBSTRING
+        case _:
+            return Gtk.StringFilterMatchMode.PREFIX
+def _parse_css_classes_property(val):
+    return val.split()
+        
+_PARSE_PROPERTY = {
+    'css-classes':       _parse_css_classes_property, 
+    'orientation':       _parse_orientation_property,
+    'fraction':          _parse_float_property,
+    'show-text':         _parse_boolean_property,
+    'enable-search':     _parse_boolean_property,
+    'search-match-mode': _parse_searchMode_property,
+    'hexpand':           _parse_boolean_property,
+    'hexpand-set':       _parse_boolean_property,
+    'vexpand':           _parse_boolean_property,
+    'vexpand-set':       _parse_boolean_property,
+    'xalign':            _parse_float_property,
+    'yalign':            _parse_float_property
+}
+
+def parse_property(prop, val):
+    return _PARSE_PROPERTY.get(prop, lambda x: x)(val)

gtk_stream-0.1.dist-info/METADATA

@@ -0,0 +1,11 @@
+Metadata-Version: 2.1
+Name: gtk-stream
+Version: 0.1
+Summary: A simple stream-oriented GUI protocol
+Author-email: Marc Coiffier <marc.coiffier@univ-grenoble-alpes.fr>
+Project-URL: Homepage, https://coiffiem.gricad-pages.univ-grenoble-alpes.fr/gtk-stream/
+Classifier: Development Status :: 4 - Beta
+Classifier: Intended Audience :: Developers
+Classifier: Topic :: Software Development :: User Interfaces
+Classifier: License :: OSI Approved :: GNU General Public License v2 (GPLv2)
+Requires-Dist: pygobject

gtk_stream-0.1.dist-info/RECORD

@@ -0,0 +1,22 @@
+gtk_stream/__init__.py,sha256=pDhUSN4AYNsP8_tilU1zmDCYdiv7ak4PE1TW0qFrDlg,99
+gtk_stream/application.py,sha256=FZe4gQm5U0NGKKpi_Pp7VqxMtlbdbNJOYhcradzeSH4,3068
+gtk_stream/command_line.py,sha256=c2ghqIQB5hYxtCszss1z84yKoeRYvaMJJMi4aiTspWg,312
+gtk_stream/common.py,sha256=6v6vIFzi1mZvATUzSIb9hPKLcdCexjfBJJm2vafD8Ps,241
+gtk_stream/parser.py,sha256=GHq08hKSEVBphtnGm4G_evfE2PeB0QLzp5PDM6fR890,6731
+gtk_stream/properties.py,sha256=e6A2tjNjTVIGbNNQE8rOQUwB1uP9AZvIJl3MzdhbPIg,1392
+gtk_stream/documents/__init__.py,sha256=JArZ2Ry5u4Y9hyzdoBG_W47PgqZ-Og1UdWDdUVjhlW0,331
+gtk_stream/documents/classes/Box.py,sha256=6l9Z3GpC0Yv34jcGNTwlNLM5DpYyQ1iDihJsu1nxcy8,259
+gtk_stream/documents/classes/Button.py,sha256=CYTKNl0OR-xPB9VWvyXtnAtZWuQQ9CxrtxoqjxiwgMM,404
+gtk_stream/documents/classes/Document.py,sha256=scoJrdHen_1WRuqn3aN6FJUesHXPZZyKwmPuPDjjbzI,985
+gtk_stream/documents/classes/Dropdown.py,sha256=uDH1yfYoEGugen6O62EMf7Dh9WfqFjUj_fgxFZ395VY,1718
+gtk_stream/documents/classes/Frame.py,sha256=p8OcgYBki1NWe2tveZfRwb0aQzRAeHQa9wHmpjgRJoc,391
+gtk_stream/documents/classes/Grid.py,sha256=SRDbMhPZHV372KN7Qr9vvamH2xwr39eojeWmI0Rf8hE,622
+gtk_stream/documents/classes/Label.py,sha256=BeL3zlf9YPuBGYS_YtHI0Q-MoVVLPao7kPIzPlwpyHY,275
+gtk_stream/documents/classes/Paned.py,sha256=4jZGEebhv9pNzTyYbQ8lyx_nsKd9Nmr10703V5n_kNw,644
+gtk_stream/documents/classes/ProgressBar.py,sha256=2_KCboyweGsqpBck61TvVGZYIsN8QVzAyqwwTDh-pDU,212
+gtk_stream/documents/classes/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+gtk_stream-0.1.dist-info/METADATA,sha256=Hq2t55xlbQkAi4hXM9-0sykB31YXCN16TQq1aztu4tI,504
+gtk_stream-0.1.dist-info/WHEEL,sha256=PZUExdf71Ui_so67QXpySuHtCi3-J3wvF4ORK6k_S8U,91
+gtk_stream-0.1.dist-info/entry_points.txt,sha256=PmhKTb4MMQM6dN2HJcoDSMI8L0lZIFIlFn-BgdfPDpo,60
+gtk_stream-0.1.dist-info/top_level.txt,sha256=vE9zfHGe9Ke7FSe0wBK2WYJI-BpcQNu6xDC3Cu5O8rQ,11
+gtk_stream-0.1.dist-info/RECORD,,

gtk_stream-0.1.dist-info/WHEEL

@@ -0,0 +1,5 @@
+Wheel-Version: 1.0
+Generator: setuptools (75.6.0)
+Root-Is-Purelib: true
+Tag: py3-none-any
+

gtk_stream-0.1.dist-info/entry_points.txt

@@ -0,0 +1,2 @@
+[console_scripts]
+gtk-stream = gtk_stream.command_line:main

gtk_stream-0.1.dist-info/top_level.txt

@@ -0,0 +1 @@
+gtk_stream