Mercurial Hosting > luan

annotate src/goodjava/json/JsonToString.java @ 1630:b735ed134662

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add nginx and ssl for host
author fffilimonov
date Fri, 10 Dec 2021 17:08:17 +0000
parents 99a8ac891914
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1402
27efb1fcbcb5 move luan.lib to goodjava
Franklin Schmidt <fschmidt@gmail.com>
parents: 1307
diff changeset
1 package goodjava.json;
720
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
3 import java.util.List;
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4 import java.util.Map;
758
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
5 import java.util.Iterator;
720
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
6
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
7
1419
59fd2e8b1b9d stringify and json_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1402
diff changeset
8 public final class JsonToString {
59fd2e8b1b9d stringify and json_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1402
diff changeset
9 public boolean compressed = false;
59fd2e8b1b9d stringify and json_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1402
diff changeset
10
1113
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
11 public static final class JsonException extends RuntimeException {
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
12 private JsonException(String msg) {
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
13 super(msg);
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
14 }
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
15 }
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
16
1419
59fd2e8b1b9d stringify and json_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1402
diff changeset
17 public String toString(Object obj) throws JsonException {
758
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
18 StringBuilder sb = new StringBuilder();
1419
59fd2e8b1b9d stringify and json_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1402
diff changeset
19 toString(obj,sb,0);
1132
b70102bab110 add json_compressed_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1117
diff changeset
20 return sb.toString();
b70102bab110 add json_compressed_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1117
diff changeset
21 }
b70102bab110 add json_compressed_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1117
diff changeset
22
b70102bab110 add json_compressed_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1117
diff changeset
23 private void toString(Object obj,StringBuilder sb,int indented) throws JsonException {
758
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
24 if( obj == null || obj instanceof Boolean || obj instanceof Number ) {
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
25 sb.append(obj);
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
26 return;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
27 }
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
28 if( obj instanceof String ) {
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
29 toString((String)obj,sb);
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
30 return;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
31 }
1113
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
32 if( obj instanceof List ) {
1117
9a1aa6fc0b4e remove json_pretty_string and make json_string somewhat pretty
Franklin Schmidt <fschmidt@gmail.com>
parents: 1116
diff changeset
33 toString((List)obj,sb,indented);
758
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
34 return;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
35 }
1113
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
36 if( obj instanceof Map ) {
1117
9a1aa6fc0b4e remove json_pretty_string and make json_string somewhat pretty
Franklin Schmidt <fschmidt@gmail.com>
parents: 1116
diff changeset
37 toString((Map)obj,sb,indented);
1113
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
38 return;
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
39 }
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
40 throw new JsonException("can't handle type "+obj.getClass().getName());
758
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
41 }
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
42
1295
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1132
diff changeset
43 private static void toString(final String s,StringBuilder sb) {
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1132
diff changeset
44 sb.append('"');
758
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
45 for( int i=0; i<s.length(); i++ ) {
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
46 char c = s.charAt(i);
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
47 switch(c) {
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
48 case '"':
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
49 sb.append("\\\"");
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
50 break;
1307
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
51 case '\\':
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
52 sb.append("\\\\");
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
53 break;
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
54 case '\b':
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
55 sb.append("\\b");
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
56 break;
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
57 case '\f':
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
58 sb.append("\\f");
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
59 break;
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
60 case '\n':
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
61 sb.append("\\n");
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
62 break;
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
63 case '\r':
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
64 sb.append("\\r");
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
65 break;
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
66 case '\t':
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
67 sb.append("\\t");
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
68 break;
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
69 default:
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
70 sb.append(c);
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
71 }
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
72 }
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
73 sb.append('"');
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
74 }
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
75
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
76 public static String javascriptEncode(String s) {
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
77 StringBuilder sb = new StringBuilder();
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
78 for( int i=0; i<s.length(); i++ ) {
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
79 char c = s.charAt(i);
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
80 switch(c) {
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
81 case '"':
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
82 sb.append("\\\"");
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
83 break;
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
84 case '\'': // added for javascript
1295
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1132
diff changeset
85 sb.append("\\'");
9dca1e912658 improve web shell
Franklin Schmidt <fschmidt@gmail.com>
parents: 1132
diff changeset
86 break;
758
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
87 case '\\':
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
88 sb.append("\\\\");
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
89 break;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
90 case '\b':
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
91 sb.append("\\b");
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
92 break;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
93 case '\f':
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
94 sb.append("\\f");
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
95 break;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
96 case '\n':
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
97 sb.append("\\n");
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
98 break;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
99 case '\r':
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
100 sb.append("\\r");
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
101 break;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
102 case '\t':
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
103 sb.append("\\t");
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
104 break;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
105 default:
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
106 sb.append(c);
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
107 }
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
108 }
1307
6c8ceca4a10b json fixes
Franklin Schmidt <fschmidt@gmail.com>
parents: 1295
diff changeset
109 return sb.toString();
758
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
110 }
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
111
1132
b70102bab110 add json_compressed_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1117
diff changeset
112 private void toString(List list,StringBuilder sb,int indented) {
1116
633ca24d4d6e fix JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1115
diff changeset
113 sb.append('[');
633ca24d4d6e fix JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1115
diff changeset
114 if( !list.isEmpty() ) {
633ca24d4d6e fix JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1115
diff changeset
115 indent(sb,indented+1);
633ca24d4d6e fix JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1115
diff changeset
116 toString(list.get(0),sb,indented+1);
1485
Franklin Schmidt <fschmidt@gmail.com>
parents: 1477
diff changeset
117 final int n = list.size();
Franklin Schmidt <fschmidt@gmail.com>
parents: 1477
diff changeset
118 for( int i=1; i<n; i++ ) {
1518
f989778ca9e1 stringify, json_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1485
diff changeset
119 sb.append(',');
f989778ca9e1 stringify, json_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1485
diff changeset
120 indent(sb,indented+1);
1116
633ca24d4d6e fix JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1115
diff changeset
121 toString(list.get(i),sb,indented+1);
633ca24d4d6e fix JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1115
diff changeset
122 }
633ca24d4d6e fix JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1115
diff changeset
123 indent(sb,indented);
1115
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
124 }
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
125 sb.append(']');
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
126 return;
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
127 }
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
128
1132
b70102bab110 add json_compressed_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1117
diff changeset
129 private void toString(Map map,StringBuilder sb,int indented) throws JsonException {
1115
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
130 sb.append('{');
1116
633ca24d4d6e fix JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1115
diff changeset
131 if( !map.isEmpty() ) {
633ca24d4d6e fix JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1115
diff changeset
132 Iterator<Map.Entry> i = map.entrySet().iterator();
1115
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
133 indent(sb,indented+1);
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
134 toString(i.next(),sb,indented+1);
1116
633ca24d4d6e fix JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1115
diff changeset
135 while( i.hasNext() ) {
633ca24d4d6e fix JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1115
diff changeset
136 sb.append(',');
633ca24d4d6e fix JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1115
diff changeset
137 indent(sb,indented+1);
633ca24d4d6e fix JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1115
diff changeset
138 toString(i.next(),sb,indented+1);
633ca24d4d6e fix JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1115
diff changeset
139 }
633ca24d4d6e fix JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1115
diff changeset
140 indent(sb,indented);
1115
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
141 }
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
142 sb.append('}');
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
143 }
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
144
1132
b70102bab110 add json_compressed_string()
Franklin Schmidt <fschmidt@gmail.com>
parents: 1117
diff changeset
145 private void toString(Map.Entry entry,StringBuilder sb,int indented) throws JsonException {
1115
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
146 Object key = entry.getKey();
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
147 if( !(key instanceof String) )
1477
Franklin Schmidt <fschmidt@gmail.com>
parents: 1419
diff changeset
148 throw new JsonException("table keys must be strings but got "+key.getClass().getSimpleName()+" ("+key+"="+entry.getValue()+")");
1115
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
149 toString((String)key,sb);
1518
f989778ca9e1 stringify, json_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1485
diff changeset
150 sb.append( compressed ? ":" : ": " );
1115
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
151 toString(entry.getValue(),sb,indented);
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
152 }
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
153
1419
59fd2e8b1b9d stringify and json_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1402
diff changeset
154 private void indent(StringBuilder sb,int indented) {
59fd2e8b1b9d stringify and json_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1402
diff changeset
155 if( compressed )
59fd2e8b1b9d stringify and json_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1402
diff changeset
156 return;
1117
9a1aa6fc0b4e remove json_pretty_string and make json_string somewhat pretty
Franklin Schmidt <fschmidt@gmail.com>
parents: 1116
diff changeset
157 sb.append('\n');
9a1aa6fc0b4e remove json_pretty_string and make json_string somewhat pretty
Franklin Schmidt <fschmidt@gmail.com>
parents: 1116
diff changeset
158 for( int i=0; i<indented; i++ ) {
9a1aa6fc0b4e remove json_pretty_string and make json_string somewhat pretty
Franklin Schmidt <fschmidt@gmail.com>
parents: 1116
diff changeset
159 sb.append('\t');
9a1aa6fc0b4e remove json_pretty_string and make json_string somewhat pretty
Franklin Schmidt <fschmidt@gmail.com>
parents: 1116
diff changeset
160 }
9a1aa6fc0b4e remove json_pretty_string and make json_string somewhat pretty
Franklin Schmidt <fschmidt@gmail.com>
parents: 1116
diff changeset
161 }
1115
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
162
720
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
163 }