Mercurial Hosting > luan

annotate src/luan/lib/json/JsonToString.java @ 1115:809d74db1415

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add json_pretty_string
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 03 Aug 2017 16:57:50 -0600
parents 22652f4020fb
children 633ca24d4d6e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1113
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
1 package luan.lib.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
1113
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
8 public final class JsonToString {
720
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9
1113
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
10 public static final class JsonException extends RuntimeException {
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
11 private JsonException(String msg) {
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
12 super(msg);
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
13 }
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 public static 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
17 StringBuilder sb = new StringBuilder();
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
18 toString(obj,sb);
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
19 return sb.toString();
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
20 }
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
21
1113
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
22 private static void toString(Object obj,StringBuilder sb) throws JsonException {
758
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
23 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
24 sb.append(obj);
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
25 return;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
26 }
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
27 if( obj instanceof String ) {
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
28 toString((String)obj,sb);
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
29 return;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
30 }
1113
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
31 if( obj instanceof List ) {
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
32 toString((List)obj,sb);
758
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
33 return;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
34 }
1113
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
35 if( obj instanceof Map ) {
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
36 toString((Map)obj,sb);
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
37 return;
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
38 }
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
39 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
40 }
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 private static void toString(final String s,StringBuilder sb) {
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
43 sb.append('"');
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
44 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
45 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
46 switch(c) {
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
47 case '"':
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
48 sb.append("\\\"");
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
49 break;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
50 case '\\':
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
51 sb.append("\\\\");
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
52 break;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
53 case '\b':
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
54 sb.append("\\b");
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
55 break;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
56 case '\f':
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
57 sb.append("\\f");
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
58 break;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
59 case '\n':
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
60 sb.append("\\n");
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
61 break;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
62 case '\r':
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
63 sb.append("\\r");
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
64 break;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
65 case '\t':
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
66 sb.append("\\t");
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
67 break;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
68 default:
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
69 sb.append(c);
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
70 }
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
71 }
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
72 sb.append('"');
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
73 }
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
74
1113
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
75 private static void toString(List list,StringBuilder sb) {
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
76 if( list.isEmpty() ) {
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
77 sb.append("{}");
758
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
78 return;
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
79 }
1113
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
80 sb.append('[');
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
81 toString(list.get(0),sb);
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
82 for( int i=1; i<list.size(); i++ ) {
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
83 sb.append(',');
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
84 toString(list.get(i),sb);
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
85 }
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
86 sb.append(']');
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
87 return;
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
88 }
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
89
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
90 private static void toString(Map map,StringBuilder sb) throws JsonException {
758
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
91 sb.append('{');
1113
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
92 Iterator<Map.Entry> i = map.entrySet().iterator();
758
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
93 toString(i.next(),sb);
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
94 while( i.hasNext() ) {
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
95 sb.append(',');
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
96 toString(i.next(),sb);
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
97 }
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
98 sb.append('}');
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
99 }
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
100
1113
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
101 private static void toString(Map.Entry entry,StringBuilder sb) throws JsonException {
758
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
102 Object key = entry.getKey();
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
103 if( !(key instanceof String) )
1113
22652f4020fb add JsonToString
Franklin Schmidt <fschmidt@gmail.com>
parents: 1112
diff changeset
104 throw new JsonException("table keys must be strings");
758
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
105 toString((String)key,sb);
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
106 sb.append(':');
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
107 toString(entry.getValue(),sb);
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
108 }
c29d11d675fd added Json.toString() and rpc now sends tables as json
Franklin Schmidt <fschmidt@gmail.com>
parents: 720
diff changeset
109
1115
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
110
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
111 public static String toPrettyString(Object obj) throws JsonException {
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
112 StringBuilder sb = new StringBuilder();
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
113 toString(obj,sb,0);
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
114 sb.append('\n');
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
115 return sb.toString();
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
116 }
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
117
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
118 private static void toString(Object obj,StringBuilder sb,int indented) throws JsonException {
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
119 if( obj instanceof List ) {
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
120 toString((List)obj,sb,indented);
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
121 return;
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
122 }
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
123 if( obj instanceof Map ) {
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
124 toString((Map)obj,sb,indented);
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
125 return;
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
126 }
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
127 toString(obj,sb);
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
128 }
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
129
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
130 private static void indent(StringBuilder sb,int indented) {
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
131 sb.append('\n');
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
132 for( int i=0; i<indented; i++ ) {
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
133 sb.append('\t');
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
134 }
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
135 }
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
136
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
137 private static void toString(List list,StringBuilder sb,int indented) {
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
138 if( list.isEmpty() ) {
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
139 sb.append("{}");
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
140 return;
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 indent(sb,indented+1);
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
144 toString(list.get(0),sb,indented+1);
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
145 for( int i=1; i<list.size(); i++ ) {
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
146 sb.append(',');
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
147 indent(sb,indented+1);
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
148 toString(list.get(i),sb,indented+1);
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
149 }
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
150 indent(sb,indented);
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
151 sb.append(']');
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
152 return;
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
153 }
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
154
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
155 private static void toString(Map map,StringBuilder sb,int indented) throws JsonException {
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
156 sb.append('{');
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
157 Iterator<Map.Entry> i = map.entrySet().iterator();
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
158 indent(sb,indented+1);
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
159 toString(i.next(),sb,indented+1);
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
160 while( i.hasNext() ) {
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
161 sb.append(',');
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
162 indent(sb,indented+1);
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
163 toString(i.next(),sb,indented+1);
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
164 }
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
165 indent(sb,indented);
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
166 sb.append('}');
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
167 }
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
168
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
169 private static void toString(Map.Entry entry,StringBuilder sb,int indented) throws JsonException {
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
170 Object key = entry.getKey();
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
171 if( !(key instanceof String) )
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
172 throw new JsonException("table keys must be strings");
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
173 toString((String)key,sb);
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
174 sb.append(": ");
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
175 toString(entry.getValue(),sb,indented);
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
176 }
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
177
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
178
809d74db1415 add json_pretty_string
Franklin Schmidt <fschmidt@gmail.com>
parents: 1113
diff changeset
179 private JsonToString() {} // never
720
bdd766df1c17 add json parser
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
180 }