diff -r 000000000000 -r 6474c204b198 mobile/android/thirdparty/org/json/simple/JSONStreamAware.java --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/mobile/android/thirdparty/org/json/simple/JSONStreamAware.java Wed Dec 31 06:09:35 2014 +0100 @@ -0,0 +1,15 @@ +package org.json.simple; + +import java.io.IOException; +import java.io.Writer; + +/** + * Beans that support customized output of JSON text to a writer shall implement this interface. + * @author FangYidong + */ +public interface JSONStreamAware { + /** + * write JSON string to out. + */ + void writeJSONString(Writer out) throws IOException; +}