Package org.sosy_lab.common

Class JSON

java.lang.Object

org.sosy_lab.common.JSON

public final class JSON
extends Object

This class is based on code from the library JSON.simple in version 1.1 (https://code.google.com/p/json-simple/).

Significant performance improvements were made compared to the library.

Method Summary

Modifier and Type	Method	Description
static void	writeJSONString(@Nullable Object value, Appendable out)	Encode an object into JSON text and write it to out.
static void	writeJSONString(@Nullable Object value, Path file)	Encode an object into JSON text and write it to a file.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

writeJSONString

public static void writeJSONString(@Nullable Object value,
                                   Path file)
                            throws IOException

Encode an object into JSON text and write it to a file.

Throws:

IOException

writeJSONString

public static void writeJSONString(@Nullable Object value,
                                   Appendable out)
                            throws IOException

Encode an object into JSON text and write it to out.

Throws:

IOException