diff sat_frontends/jp/output_std.py @ 2562:26edcf3a30eb

core, setup: huge cleaning: - moved directories from src and frontends/src to sat and sat_frontends, which is the recommanded naming convention - move twisted directory to root - removed all hacks from setup.py, and added missing dependencies, it is now clean - use https URL for website in setup.py - removed "Environment :: X11 Applications :: GTK", as wix is deprecated and removed - renamed sat.sh to sat and fixed its installation - added python_requires to specify Python version needed - replaced glib2reactor which use deprecated code by gtk3reactor sat can now be installed directly from virtualenv without using --system-site-packages anymore \o/
author Goffi <goffi@goffi.org>
date Mon, 02 Apr 2018 19:44:50 +0200
parents frontends/src/jp/output_std.py@0046283a285d
children 56f94936df1e
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/sat_frontends/jp/output_std.py	Mon Apr 02 19:44:50 2018 +0200
@@ -0,0 +1,98 @@
+#! /usr/bin/python
+# -*- coding: utf-8 -*-
+
+# jp: a SàT command line tool
+# Copyright (C) 2009-2018 Jérôme Poisson (goffi@goffi.org)
+
+# This program is free software: you can redistribute it and/or modify
+# it under the terms of the GNU Affero General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU Affero General Public License for more details.
+
+# You should have received a copy of the GNU Affero General Public License
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
+"""Standard outputs"""
+
+
+from sat_frontends.jp.constants import Const as C
+from sat.tools.common.ansi import ANSI as A
+import json
+
+__outputs__ = ["Simple", "Json"]
+SIMPLE = u'simple'
+JSON = u'json'
+JSON_RAW = u'json_raw'
+
+
+class Simple(object):
+    """Default outputs"""
+
+    def __init__(self, host):
+        self.host = host
+        host.register_output(C.OUTPUT_TEXT, SIMPLE, self.simple_print)
+        host.register_output(C.OUTPUT_LIST, SIMPLE, self.list)
+        host.register_output(C.OUTPUT_DICT, SIMPLE, self.dict)
+        host.register_output(C.OUTPUT_LIST_DICT, SIMPLE, self.list_dict)
+        host.register_output(C.OUTPUT_DICT_DICT, SIMPLE, self.dict_dict)
+        host.register_output(C.OUTPUT_COMPLEX, SIMPLE, self.simple_print)
+
+    def simple_print(self, data):
+        self.host.disp(unicode(data))
+
+    def list(self, data):
+        self.host.disp(u'\n'.join(data))
+
+    def dict(self, data, indent=0, header_color=C.A_HEADER):
+        options = self.host.parse_output_options()
+        self.host.check_output_options({u'no-header'}, options)
+        show_header = not u'no-header' in options
+        for k, v in data.iteritems():
+            if show_header:
+                header = A.color(header_color, k) + u': '
+            else:
+                header = u''
+
+            self.host.disp((u'{indent}{header}{value}'.format(
+                indent=indent*u' ',
+                header=header,
+                value=v)))
+
+    def list_dict(self, data):
+        for idx, datum in enumerate(data):
+            if idx:
+                self.host.disp(u'\n')
+            self.dict(datum)
+
+    def dict_dict(self, data):
+        for key, sub_dict in data.iteritems():
+            self.host.disp(A.color(C.A_HEADER, key))
+            self.dict(sub_dict, indent=4, header_color=C.A_SUBHEADER)
+
+
+class Json(object):
+    """outputs in json format"""
+
+    def __init__(self, host):
+        self.host = host
+        host.register_output(C.OUTPUT_TEXT, JSON, self.dump)
+        host.register_output(C.OUTPUT_LIST, JSON, self.dump_pretty)
+        host.register_output(C.OUTPUT_LIST, JSON_RAW, self.dump)
+        host.register_output(C.OUTPUT_DICT, JSON, self.dump_pretty)
+        host.register_output(C.OUTPUT_DICT, JSON_RAW, self.dump)
+        host.register_output(C.OUTPUT_LIST_DICT, JSON, self.dump_pretty)
+        host.register_output(C.OUTPUT_LIST_DICT, JSON_RAW, self.dump)
+        host.register_output(C.OUTPUT_DICT_DICT, JSON, self.dump_pretty)
+        host.register_output(C.OUTPUT_DICT_DICT, JSON_RAW, self.dump)
+        host.register_output(C.OUTPUT_COMPLEX, JSON, self.dump_pretty)
+        host.register_output(C.OUTPUT_COMPLEX, JSON_RAW, self.dump)
+
+    def dump(self, data):
+        self.host.disp(json.dumps(data, default=str))
+
+    def dump_pretty(self, data):
+        self.host.disp(json.dumps(data, indent=4, default=str))