Mercurial > libervia-backend
annotate tools/xml_tools.py @ 165:8a2053de6f8c
Frontends: management of unlaunched SàT Backend (information message and exit)
DBus Bridge Frontend: added an exception to manage unlaunched SàT Backend (BridgeExceptionNoService)
Quick App, jp: a message is print when the previous exception is launched
| author | Goffi <goffi@goffi.org> |
|---|---|
| date | Mon, 09 Aug 2010 21:36:31 +0800 |
| parents | f494cba56a9e |
| children | 9ee4a1d0d7fb |
| rev | line source |
|---|---|
|
33
b9bb5d8e0cc7
In-band-registration: data form 2 xml conversion
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
1 #!/usr/bin/python |
|
b9bb5d8e0cc7
In-band-registration: data form 2 xml conversion
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
2 # -*- coding: utf-8 -*- |
|
b9bb5d8e0cc7
In-band-registration: data form 2 xml conversion
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
3 |
|
b9bb5d8e0cc7
In-band-registration: data form 2 xml conversion
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
4 """ |
|
b9bb5d8e0cc7
In-band-registration: data form 2 xml conversion
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
5 SAT: a jabber client |
| 57 | 6 Copyright (C) 2009, 2010 Jérôme Poisson (goffi@goffi.org) |
|
33
b9bb5d8e0cc7
In-band-registration: data form 2 xml conversion
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
7 |
|
b9bb5d8e0cc7
In-band-registration: data form 2 xml conversion
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
8 This program is free software: you can redistribute it and/or modify |
|
b9bb5d8e0cc7
In-band-registration: data form 2 xml conversion
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
9 it under the terms of the GNU General Public License as published by |
|
b9bb5d8e0cc7
In-band-registration: data form 2 xml conversion
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
10 the Free Software Foundation, either version 3 of the License, or |
|
b9bb5d8e0cc7
In-band-registration: data form 2 xml conversion
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
11 (at your option) any later version. |
|
b9bb5d8e0cc7
In-band-registration: data form 2 xml conversion
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
12 |
|
b9bb5d8e0cc7
In-band-registration: data form 2 xml conversion
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
13 This program is distributed in the hope that it will be useful, |
|
b9bb5d8e0cc7
In-band-registration: data form 2 xml conversion
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
14 but WITHOUT ANY WARRANTY; without even the implied warranty of |
|
b9bb5d8e0cc7
In-band-registration: data form 2 xml conversion
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
|
b9bb5d8e0cc7
In-band-registration: data form 2 xml conversion
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
16 GNU General Public License for more details. |
|
b9bb5d8e0cc7
In-band-registration: data form 2 xml conversion
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
17 |
|
b9bb5d8e0cc7
In-band-registration: data form 2 xml conversion
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
18 You should have received a copy of the GNU General Public License |
|
b9bb5d8e0cc7
In-band-registration: data form 2 xml conversion
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
19 along with this program. If not, see <http://www.gnu.org/licenses/>. |
|
b9bb5d8e0cc7
In-band-registration: data form 2 xml conversion
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
20 """ |
|
b9bb5d8e0cc7
In-band-registration: data form 2 xml conversion
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
21 |
|
b9bb5d8e0cc7
In-band-registration: data form 2 xml conversion
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
22 from logging import debug, info, error |
|
b9bb5d8e0cc7
In-band-registration: data form 2 xml conversion
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
23 from xml.dom import minidom |
|
37
a61beb21d16d
Gateway registration, unregistration & edition
Goffi <goffi@goffi.org>
parents:
35
diff
changeset
|
24 from wokkel import data_form |
|
33
b9bb5d8e0cc7
In-band-registration: data form 2 xml conversion
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
25 import pdb |
|
b9bb5d8e0cc7
In-band-registration: data form 2 xml conversion
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
26 |
| 102 | 27 """This library help manage XML used in SàT (parameters, registration, etc) """ |
|
33
b9bb5d8e0cc7
In-band-registration: data form 2 xml conversion
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
28 |
|
b9bb5d8e0cc7
In-band-registration: data form 2 xml conversion
Goffi <goffi@goffi.org>
parents:
diff
changeset
|
29 |
| 102 | 30 def dataForm2xml(form): |
| 31 """Take a data form (xep-0004, Wokkel's implementation) and convert it to a SàT xml""" | |
| 32 | |
| 105 | 33 form_ui = XMLUI("form", "vertical") |
| 104 | 34 |
| 102 | 35 if form.instructions: |
| 105 | 36 form_ui.addText('\n'.join(form.instructions), 'instructions') |
| 103 | 37 |
|
160
f494cba56a9e
xml tools: pairs layout is not used anymore if there is no label in dataForm2xml
Goffi <goffi@goffi.org>
parents:
146
diff
changeset
|
38 labels = filter(lambda field:field.label,form.fieldList) |
|
f494cba56a9e
xml tools: pairs layout is not used anymore if there is no label in dataForm2xml
Goffi <goffi@goffi.org>
parents:
146
diff
changeset
|
39 if labels: |
|
f494cba56a9e
xml tools: pairs layout is not used anymore if there is no label in dataForm2xml
Goffi <goffi@goffi.org>
parents:
146
diff
changeset
|
40 #if there is no label, we don't need to use pairs |
|
f494cba56a9e
xml tools: pairs layout is not used anymore if there is no label in dataForm2xml
Goffi <goffi@goffi.org>
parents:
146
diff
changeset
|
41 form_ui.changeLayout("pairs") |
| 103 | 42 |
| 102 | 43 for field in form.fieldList: |
| 44 if field.fieldType == 'fixed': | |
| 45 __field_type = 'text' | |
| 46 elif field.fieldType == 'text-single': | |
| 47 __field_type = "string" | |
| 48 elif field.fieldType == 'text-private': | |
| 49 __field_type = "password" | |
| 50 elif field.fieldType == 'list-single': | |
| 51 __field_type = "list" | |
| 52 else: | |
| 53 error (u"FIXME FIXME FIXME: Type [%s] is not managed yet by SàT" % field.fieldType) | |
| 54 __field_type = "string" | |
|
35
c45deebb40a5
Wix: Registration form management (not finished yet)
Goffi <goffi@goffi.org>
parents:
33
diff
changeset
|
55 |
|
160
f494cba56a9e
xml tools: pairs layout is not used anymore if there is no label in dataForm2xml
Goffi <goffi@goffi.org>
parents:
146
diff
changeset
|
56 if labels: |
|
f494cba56a9e
xml tools: pairs layout is not used anymore if there is no label in dataForm2xml
Goffi <goffi@goffi.org>
parents:
146
diff
changeset
|
57 if field.label: |
|
f494cba56a9e
xml tools: pairs layout is not used anymore if there is no label in dataForm2xml
Goffi <goffi@goffi.org>
parents:
146
diff
changeset
|
58 form_ui.addLabel(field.label) |
|
f494cba56a9e
xml tools: pairs layout is not used anymore if there is no label in dataForm2xml
Goffi <goffi@goffi.org>
parents:
146
diff
changeset
|
59 else: |
|
f494cba56a9e
xml tools: pairs layout is not used anymore if there is no label in dataForm2xml
Goffi <goffi@goffi.org>
parents:
146
diff
changeset
|
60 form_ui.addEmpty() |
| 103 | 61 |
|
146
7c00c4b0a5c2
xml_tools: removed unused content parameter in addElement
Goffi <goffi@goffi.org>
parents:
107
diff
changeset
|
62 elem = form_ui.addElement(__field_type, field.var, field.value, [option.value for option in field.options]) |
| 105 | 63 return form_ui.toXml() |
|
37
a61beb21d16d
Gateway registration, unregistration & edition
Goffi <goffi@goffi.org>
parents:
35
diff
changeset
|
64 |
| 102 | 65 def tupleList2dataForm(values): |
| 66 """convert a list of tuples (name,value) to a wokkel submit data form""" | |
| 67 form = data_form.Form('submit') | |
| 68 for value in values: | |
| 69 field = data_form.Field(var=value[0], value=value[1]) | |
| 70 form.addField(field) | |
|
37
a61beb21d16d
Gateway registration, unregistration & edition
Goffi <goffi@goffi.org>
parents:
35
diff
changeset
|
71 |
| 102 | 72 return form |
| 103 | 73 |
| 105 | 74 def paramsXml2xmlUI(xml): |
| 75 """Convert the xml for parameter to a SàT XML User Interface""" | |
| 76 params_doc = minidom.parseString(xml) | |
| 77 top = params_doc.documentElement | |
| 78 if top.nodeName != 'params': | |
| 79 error(_('INTERNAL ERROR: parameters xml not valid')) | |
| 80 assert(False) | |
| 81 param_ui = XMLUI("param", "tabs") | |
| 82 for category in top.getElementsByTagName("category"): | |
| 83 name = category.getAttribute('name') | |
| 84 if not name: | |
| 85 error(_('INTERNAL ERROR: params categories must have a name')) | |
| 86 assert(False) | |
| 87 param_ui.addCategory(name, 'pairs') | |
| 88 for param in category.getElementsByTagName("param"): | |
| 89 name = param.getAttribute('name') | |
| 90 if not name: | |
| 91 error(_('INTERNAL ERROR: params must have a name')) | |
| 92 assert(False) | |
| 93 type = param.getAttribute('type') | |
| 94 value = param.getAttribute('value') or None | |
| 106 | 95 callback_id = param.getAttribute('callback_id') or None |
| 96 if type == "button": | |
| 97 param_ui.addEmpty() | |
| 98 else: | |
| 99 param_ui.addLabel(name) | |
| 100 param_ui.addElement(name=name, type=type, value=value, callback_id=callback_id) | |
| 105 | 101 |
| 102 return param_ui.toXml() | |
| 103 | |
| 104 | |
| 105 | |
| 106 | |
| 103 | 107 class XMLUI: |
| 108 """This class is used to create a user interface (form/window/parameters/etc) using SàT XML""" | |
| 109 | |
| 107 | 110 def __init__(self, panel_type, layout="vertical", title=None): |
| 103 | 111 """Init SàT XML Panel |
| 112 @param panel_type: one of | |
| 113 - window (new window) | |
| 114 - form (formulaire, depend of the frontend, usually a panel with cancel/submit buttons) | |
| 115 - param (parameters, presentatio depend of the frontend) | |
| 116 @param layout: disposition of elements, one of: | |
| 107 | 117 - vertical: elements are disposed up to bottom |
| 118 - horizontal: elements are disposed left to right | |
| 119 - pairs: elements come on two aligned columns | |
| 103 | 120 (usually one for a label, the next for the element) |
| 107 | 121 - tabs: elemens are in categories with tabs (notebook) |
| 122 @param title: title or default if None | |
| 103 | 123 """ |
| 124 if not panel_type in ['window', 'form', 'param']: | |
| 125 error(_("Unknown panel type [%s]") % panel_type) | |
| 126 assert(False) | |
| 127 self.type = panel_type | |
| 128 impl = minidom.getDOMImplementation() | |
| 129 | |
| 130 self.doc = impl.createDocument(None, "sat_xmlui", None) | |
| 131 top_element = self.doc.documentElement | |
| 132 top_element.setAttribute("type", panel_type) | |
| 107 | 133 if title: |
| 134 top_element.setAttribute("title", title) | |
| 104 | 135 self.parentTabsLayout = None #used only we have 'tabs' layout |
| 136 self.currentCategory = None #used only we have 'tabs' layout | |
| 137 self.changeLayout(layout) | |
| 103 | 138 |
| 139 def __del__(self): | |
| 140 self.doc.unlink() | |
|
37
a61beb21d16d
Gateway registration, unregistration & edition
Goffi <goffi@goffi.org>
parents:
35
diff
changeset
|
141 |
| 103 | 142 def __createLayout(self, layout, parent=None): |
| 143 """Create a layout element | |
| 144 @param type: layout type (cf init doc) | |
| 145 @parent: parent element or None | |
| 146 """ | |
| 104 | 147 if not layout in ['vertical', 'horizontal', 'pairs', 'tabs']: |
| 103 | 148 error (_("Unknown layout type [%s]") % layout) |
| 149 assert (False) | |
| 150 layout_elt = self.doc.createElement('layout') | |
| 151 layout_elt.setAttribute('type',layout) | |
| 152 if parent != None: | |
| 153 parent.appendChild(layout_elt) | |
| 154 return layout_elt | |
|
37
a61beb21d16d
Gateway registration, unregistration & edition
Goffi <goffi@goffi.org>
parents:
35
diff
changeset
|
155 |
| 103 | 156 def __createElem(self, type, name=None, parent = None): |
| 157 """Create an element | |
| 158 @param type: one of | |
| 159 - empty: empty element (usefull to skip something in a layout, e.g. skip first element in a PAIRS layout) | |
| 160 - text: text to be displayed in an multi-line area, e.g. instructions | |
| 161 @param name: name of the element or None | |
| 162 @param parent: parent element or None | |
| 163 """ | |
| 164 elem = self.doc.createElement('elem') | |
| 165 if name: | |
| 166 elem.setAttribute('name', name) | |
| 167 elem.setAttribute('type', type) | |
| 168 if parent != None: | |
| 169 parent.appendChild(elem) | |
| 170 return elem | |
| 171 | |
| 172 def changeLayout(self, layout): | |
| 173 """Change the current layout""" | |
| 104 | 174 self.currentLayout = self.__createLayout(layout, self.currentCategory if self.currentCategory else self.doc.documentElement) |
| 175 if layout == "tabs": | |
| 176 self.parentTabsLayout = self.currentLayout | |
| 103 | 177 |
| 178 | |
| 179 def addEmpty(self, name=None): | |
| 180 """Add a multi-lines text""" | |
| 181 elem = self.__createElem('empty', name, self.currentLayout) | |
| 182 | |
| 183 def addText(self, text, name=None): | |
| 184 """Add a multi-lines text""" | |
| 185 elem = self.__createElem('text', name, self.currentLayout) | |
| 186 text = self.doc.createTextNode(text) | |
| 187 elem.appendChild(text) | |
| 188 | |
| 189 def addLabel(self, text, name=None): | |
| 190 """Add a single line text, mainly useful as label before element""" | |
| 191 elem = self.__createElem('label', name, self.currentLayout) | |
| 192 elem.setAttribute('value', text) | |
| 193 | |
| 194 def addString(self, name=None, value=None): | |
| 195 """Add a string box""" | |
| 196 elem = self.__createElem('string', name, self.currentLayout) | |
| 197 if value: | |
| 198 elem.setAttribute('value', value) | |
| 199 | |
| 200 def addPassword(self, name=None, value=None): | |
| 201 """Add a password box""" | |
| 202 elem = self.__createElem('password', name, self.currentLayout) | |
| 203 if value: | |
| 204 elem.setAttribute('value', value) | |
| 205 | |
| 107 | 206 def addTextBox(self, name=None, value=None): |
| 207 """Add a string box""" | |
| 208 elem = self.__createElem('textbox', name, self.currentLayout) | |
| 209 if value: | |
| 210 elem.setAttribute('value', value) | |
| 211 | |
| 212 def addList(self, options, name=None, value=None, style=set()): | |
| 103 | 213 """Add a list of choices""" |
| 107 | 214 styles = set(style) |
| 103 | 215 assert (options) |
| 107 | 216 assert (styles.issubset(['multi'])) |
| 103 | 217 elem = self.__createElem('list', name, self.currentLayout) |
| 218 self.addOptions(options, elem) | |
| 219 if value: | |
| 220 elem.setAttribute('value', value) | |
| 107 | 221 for style in styles: |
| 222 elem.setAttribute(style, 'yes') | |
| 105 | 223 |
| 107 | 224 def addButton(self, callback_id, name, value, fields_back=[]): |
| 105 | 225 """Add a button |
| 226 @param callback: callback which will be called if button is pressed | |
| 106 | 227 @param name: name |
| 107 | 228 @param value: label of the button |
| 229 @fields_back: list of names of field to give back when pushing the button""" | |
| 105 | 230 elem = self.__createElem('button', name, self.currentLayout) |
| 106 | 231 elem.setAttribute('callback_id', callback_id) |
| 107 | 232 elem.setAttribute('value', value) |
| 233 for field in fields_back: | |
| 234 fback_el = self.doc.createElement('field_back') | |
| 235 fback_el.setAttribute('name', field) | |
| 236 elem.appendChild(fback_el) | |
| 237 | |
| 105 | 238 |
| 103 | 239 |
|
146
7c00c4b0a5c2
xml_tools: removed unused content parameter in addElement
Goffi <goffi@goffi.org>
parents:
107
diff
changeset
|
240 def addElement(self, type, name = None, value = None, options = None, callback_id = None): |
| 103 | 241 """Convenience method to add element, the params correspond to the ones in addSomething methods""" |
| 242 if type == 'empty': | |
| 243 self.addEmpty(name) | |
| 244 elif type == 'text': | |
|
146
7c00c4b0a5c2
xml_tools: removed unused content parameter in addElement
Goffi <goffi@goffi.org>
parents:
107
diff
changeset
|
245 assert(value!=None) |
|
7c00c4b0a5c2
xml_tools: removed unused content parameter in addElement
Goffi <goffi@goffi.org>
parents:
107
diff
changeset
|
246 self.addText(value, name) |
| 103 | 247 elif type == 'label': |
| 248 assert(value) | |
|
146
7c00c4b0a5c2
xml_tools: removed unused content parameter in addElement
Goffi <goffi@goffi.org>
parents:
107
diff
changeset
|
249 self.addLabel(value) |
| 103 | 250 elif type == 'string': |
| 251 self.addString(name, value) | |
| 252 elif type == 'password': | |
| 253 self.addPassword(name, value) | |
| 107 | 254 elif type == 'textbox': |
| 255 self.addTextBox(name, value) | |
| 103 | 256 elif type == 'list': |
| 257 self.addList(options, name, value) | |
| 105 | 258 elif type == 'button': |
| 106 | 259 assert(callback_id and value) |
| 260 self.addButton(callback_id, name, value) | |
| 103 | 261 |
| 262 def addOptions(self, options, parent): | |
| 263 """Add options to a multi-values element (e.g. list) | |
| 264 @param parent: multi-values element""" | |
| 265 for option in options: | |
| 266 opt = self.doc.createElement('option') | |
| 267 opt.setAttribute('value', option) | |
| 268 parent.appendChild(opt) | |
| 269 | |
| 104 | 270 def addCategory(self, name, layout): |
| 271 """Add a category to current layout (must be a tabs layout)""" | |
| 272 assert(layout != 'tabs') | |
| 273 if not self.parentTabsLayout: | |
| 274 error(_("Trying to add a category without parent tabs layout")) | |
| 275 assert(False) | |
| 276 if self.parentTabsLayout.getAttribute('type') != 'tabs': | |
| 277 error(_("parent layout of a category is not tabs")) | |
| 278 assert(False) | |
| 279 self.currentCategory = cat = self.doc.createElement('category') | |
| 280 cat.setAttribute('name', name) | |
| 281 self.changeLayout(layout) | |
| 282 self.parentTabsLayout.appendChild(cat) | |
| 283 | |
| 103 | 284 def toXml(self): |
| 285 """return the XML representation of the panel""" | |
| 286 return self.doc.toxml() |