Add missing Java packages

epi_judge_java/epi/test_framework/minimal_json/Json.java

@@ -0,0 +1,379 @@
+
+package epi.test_framework.minimal_json;
+
+import java.io.IOException;
+import java.io.Reader;
+
+/**
+ * This class serves as the entry point to the minimal_json API.
+ * <p>
+ * To <strong>parse</strong> a given JSON input, use the <code>parse()</code>
+ * methods like in this
+ * example:
+ * </p>
+ * <pre>
+ * JsonObject object = Json.parse(string).asObject();
+ * </pre>
+ * <p>
+ * To <strong>create</strong> a JSON data structure to be serialized, use the
+ * methods
+ * <code>value()</code>, <code>array()</code>, and <code>object()</code>. For
+ * example, the following
+ * snippet will produce the JSON string <em>{"foo": 23, "bar": true}</em>:
+ * </p>
+ * <pre>
+ * String string = Json.object().add("foo", 23).add("bar", true).toString();
+ * </pre>
+ * <p>
+ * To create a JSON array from a given Java array, you can use one of the
+ * <code>array()</code>
+ * methods with varargs parameters:
+ * </p>
+ * <pre>
+ * String[] names = ...
+ * JsonArray array = Json.array(names);
+ * </pre>
+ */
+public final class Json {
+  private Json() {
+    // not meant to be instantiated
+  }
+
+  /**
+   * Represents the JSON literal <code>null</code>.
+   */
+  public static final JsonValue NULL = new JsonLiteral("null");
+
+  /**
+   * Represents the JSON literal <code>true</code>.
+   */
+  public static final JsonValue TRUE = new JsonLiteral("true");
+
+  /**
+   * Represents the JSON literal <code>false</code>.
+   */
+  public static final JsonValue FALSE = new JsonLiteral("false");
+
+  /**
+   * Returns a JsonValue instance that represents the given <code>int</code>
+   * value.
+   *
+   * @param value
+   *          the value to get a JSON representation for
+   * @return a JSON value that represents the given value
+   */
+  public static JsonValue value(int value) {
+    return new JsonNumber(Integer.toString(value, 10));
+  }
+
+  /**
+   * Returns a JsonValue instance that represents the given <code>long</code>
+   * value.
+   *
+   * @param value
+   *          the value to get a JSON representation for
+   * @return a JSON value that represents the given value
+   */
+  public static JsonValue value(long value) {
+    return new JsonNumber(Long.toString(value, 10));
+  }
+
+  /**
+   * Returns a JsonValue instance that represents the given <code>float</code>
+   * value.
+   *
+   * @param value
+   *          the value to get a JSON representation for
+   * @return a JSON value that represents the given value
+   */
+  public static JsonValue value(float value) {
+    if (Float.isInfinite(value) || Float.isNaN(value)) {
+      throw new IllegalArgumentException(
+          "Infinite and NaN values not permitted in JSON");
+    }
+    return new JsonNumber(cutOffPointZero(Float.toString(value)));
+  }
+
+  /**
+   * Returns a JsonValue instance that represents the given <code>double</code>
+   * value.
+   *
+   * @param value
+   *          the value to get a JSON representation for
+   * @return a JSON value that represents the given value
+   */
+  public static JsonValue value(double value) {
+    if (Double.isInfinite(value) || Double.isNaN(value)) {
+      throw new IllegalArgumentException(
+          "Infinite and NaN values not permitted in JSON");
+    }
+    return new JsonNumber(cutOffPointZero(Double.toString(value)));
+  }
+
+  /**
+   * Returns a JsonValue instance that represents the given string.
+   *
+   * @param string
+   *          the string to get a JSON representation for
+   * @return a JSON value that represents the given string
+   */
+  public static JsonValue value(String string) {
+    return string == null ? NULL : new JsonString(string);
+  }
+
+  /**
+   * Returns a JsonValue instance that represents the given <code>boolean</code>
+   * value.
+   *
+   * @param value
+   *          the value to get a JSON representation for
+   * @return a JSON value that represents the given value
+   */
+  public static JsonValue value(boolean value) { return value ? TRUE : FALSE; }
+
+  /**
+   * Creates a new empty JsonArray. This is equivalent to creating a new
+   * JsonArray using the
+   * constructor.
+   *
+   * @return a new empty JSON array
+   */
+  public static JsonArray array() { return new JsonArray(); }
+
+  /**
+   * Creates a new JsonArray that contains the JSON representations of the given
+   * <code>int</code>
+   * values.
+   *
+   * @param values
+   *          the values to be included in the new JSON array
+   * @return a new JSON array that contains the given values
+   */
+  public static JsonArray array(int... values) {
+    if (values == null) {
+      throw new NullPointerException("values is null");
+    }
+    JsonArray array = new JsonArray();
+    for (int value : values) {
+      array.add(value);
+    }
+    return array;
+  }
+
+  /**
+   * Creates a new JsonArray that contains the JSON representations of the given
+   * <code>long</code>
+   * values.
+   *
+   * @param values
+   *          the values to be included in the new JSON array
+   * @return a new JSON array that contains the given values
+   */
+  public static JsonArray array(long... values) {
+    if (values == null) {
+      throw new NullPointerException("values is null");
+    }
+    JsonArray array = new JsonArray();
+    for (long value : values) {
+      array.add(value);
+    }
+    return array;
+  }
+
+  /**
+   * Creates a new JsonArray that contains the JSON representations of the given
+   * <code>float</code>
+   * values.
+   *
+   * @param values
+   *          the values to be included in the new JSON array
+   * @return a new JSON array that contains the given values
+   */
+  public static JsonArray array(float... values) {
+    if (values == null) {
+      throw new NullPointerException("values is null");
+    }
+    JsonArray array = new JsonArray();
+    for (float value : values) {
+      array.add(value);
+    }
+    return array;
+  }
+
+  /**
+   * Creates a new JsonArray that contains the JSON representations of the given
+   * <code>double</code>
+   * values.
+   *
+   * @param values
+   *          the values to be included in the new JSON array
+   * @return a new JSON array that contains the given values
+   */
+  public static JsonArray array(double... values) {
+    if (values == null) {
+      throw new NullPointerException("values is null");
+    }
+    JsonArray array = new JsonArray();
+    for (double value : values) {
+      array.add(value);
+    }
+    return array;
+  }
+
+  /**
+   * Creates a new JsonArray that contains the JSON representations of the given
+   * <code>boolean</code> values.
+   *
+   * @param values
+   *          the values to be included in the new JSON array
+   * @return a new JSON array that contains the given values
+   */
+  public static JsonArray array(boolean... values) {
+    if (values == null) {
+      throw new NullPointerException("values is null");
+    }
+    JsonArray array = new JsonArray();
+    for (boolean value : values) {
+      array.add(value);
+    }
+    return array;
+  }
+
+  /**
+   * Creates a new JsonArray that contains the JSON representations of the given
+   * strings.
+   *
+   * @param strings
+   *          the strings to be included in the new JSON array
+   * @return a new JSON array that contains the given strings
+   */
+  public static JsonArray array(String... strings) {
+    if (strings == null) {
+      throw new NullPointerException("values is null");
+    }
+    JsonArray array = new JsonArray();
+    for (String value : strings) {
+      array.add(value);
+    }
+    return array;
+  }
+
+  /**
+   * Creates a new empty JsonObject. This is equivalent to creating a new
+   * JsonObject using the
+   * constructor.
+   *
+   * @return a new empty JSON object
+   */
+  public static JsonObject object() { return new JsonObject(); }
+
+  /**
+   * Parses the given input string as JSON. The input must contain a valid JSON
+   * value, optionally
+   * padded with whitespace.
+   *
+   * @param string
+   *          the input string, must be valid JSON
+   * @return a value that represents the parsed JSON
+   * @throws ParseException
+   *           if the input is not valid JSON
+   */
+  public static JsonValue parse(String string) {
+    if (string == null) {
+      throw new NullPointerException("string is null");
+    }
+    DefaultHandler handler = new DefaultHandler();
+    new JsonParser(handler).parse(string);
+    return handler.getValue();
+  }
+
+  /**
+   * Reads the entire input from the given reader and parses it as JSON. The
+   * input must contain a
+   * valid JSON value, optionally padded with whitespace.
+   * <p>
+   * Characters are read in chunks into an input buffer. Hence, wrapping a
+   * reader in an additional
+   * <code>BufferedReader</code> likely won't improve reading performance.
+   * </p>
+   *
+   * @param reader
+   *          the reader to read the JSON value from
+   * @return a value that represents the parsed JSON
+   * @throws IOException
+   *           if an I/O error occurs in the reader
+   * @throws ParseException
+   *           if the input is not valid JSON
+   */
+  public static JsonValue parse(Reader reader) throws IOException {
+    if (reader == null) {
+      throw new NullPointerException("reader is null");
+    }
+    DefaultHandler handler = new DefaultHandler();
+    new JsonParser(handler).parse(reader);
+    return handler.getValue();
+  }
+
+  private static String cutOffPointZero(String string) {
+    if (string.endsWith(".0")) {
+      return string.substring(0, string.length() - 2);
+    }
+    return string;
+  }
+
+  static class DefaultHandler extends JsonHandler<JsonArray, JsonObject> {
+    protected JsonValue value;
+
+    @Override
+    public JsonArray startArray() {
+      return new JsonArray();
+    }
+
+    @Override
+    public JsonObject startObject() {
+      return new JsonObject();
+    }
+
+    @Override
+    public void endNull() {
+      value = NULL;
+    }
+
+    @Override
+    public void endBoolean(boolean bool) {
+      value = bool ? TRUE : FALSE;
+    }
+
+    @Override
+    public void endString(String string) {
+      value = new JsonString(string);
+    }
+
+    @Override
+    public void endNumber(String string) {
+      value = new JsonNumber(string);
+    }
+
+    @Override
+    public void endArray(JsonArray array) {
+      value = array;
+    }
+
+    @Override
+    public void endObject(JsonObject object) {
+      value = object;
+    }
+
+    @Override
+    public void endArrayValue(JsonArray array) {
+      array.add(value);
+    }
+
+    @Override
+    public void endObjectValue(JsonObject object, String name) {
+      object.add(name, value);
+    }
+
+    JsonValue getValue() { return value; }
+  }
+}