Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
1 result
Blame Permalink
xmlview.py 3.20 KiB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83 






from gi.repository import GObject, Gtk, Pango
from xml.etree import ElementTree as ET

class Section:
    def __init__(self, name, start, end):
        self.name = name
        self.start = start
        self.end = end

class Word:
    def __init__(self, text, start, end):
        self.text = text
        self.start = start
        self.end = end

class XmlView(Gtk.ScrolledWindow):
    def __init__(self, filename):
        super(XmlView, self).__init__()
        self.sections = []
        self.words = []

        self.view = Gtk.TextView()
        self.view.set_editable(False)
        self.view.set_cursor_visible(False)
        self.buffer = self.view.get_buffer()

        self.set_policy(Gtk.PolicyType.NEVER, Gtk.PolicyType.ALWAYS)
        self.add_with_viewport(self.view)

        #self.inactive_section = self.buffer.create_tag("inactive_section", background="#ffffff")
        self.active_section = self.buffer.create_tag("active_section", background="red")
        self.section_title = self.buffer.create_tag("section_title", scale=2, weight=Pango.Weight.BOLD, justification=Gtk.Justification.CENTER)
        self.subsection_title = self.buffer.create_tag("subsection_title", scale=1.5, weight=Pango.Weight.BOLD, justification=Gtk.Justification.CENTER)

        self.parse_xml(filename)

        self.last_section = None
        self.show_section(0)

    def get_view(self):
        return self

    def parse_sequence(self, sequence, name):
        self.buffer.insert_with_tags(self.buffer.get_end_iter(), 'Sequence %s\n' % name, self.subsection_title)

        text = str(sequence.text)
        for node in sequence:
            text += node.text
            text += node.tail
        for line in text.split('\n'):
            line = line.strip()
            if line != '':
                self.buffer.insert_with_tags(self.buffer.get_end_iter(), '   %s\n' % line)

    def parse_section(self, section):
        name = section.get('id')
        section_start = self.buffer.create_mark('section-start %s' % name, self.buffer.get_end_iter(), True)
        self.buffer.insert_with_tags(self.buffer.get_end_iter(), 'Section %s\n' % section.get('id'), self.section_title)

        num = 1
        for sequence in section.findall('./sequence'):
            self.parse_sequence(sequence, section.get('id') + '.' + str(num))
            num += 1
        self.sections.append(Section(name, section_start, self.buffer.create_mark('section-end %s' % name, self.buffer.get_end_iter(), True)))

    def parse_xml(self, filename):
        root = ET.parse(filename)
        treestore = Gtk.TreeStore(str)
        for section in root.findall(".//section"):
            self.parse_section(section)
        return treestore

    def show_section(self, section):
        if self.last_section != None:
            self.buffer.remove_tag(self.active_section, 
                    self.buffer.get_iter_at_mark(self.sections[self.last_section].start), 
                    self.buffer.get_iter_at_mark(self.sections[self.last_section].end))
        self.last_section = section
        self.buffer.apply_tag(self.active_section, 
                self.buffer.get_iter_at_mark(self.sections[section].start), 
                self.buffer.get_iter_at_mark(self.sections[section].end))