JSON { public static JsonObject parse(InputStream input) { JSONMaker maker = new JSONMaker() ; _parse(input, maker) ; return (JsonObject)maker.jsonValue() ; }  static JsonObject parse(InputStream input); static JsonObject parse(String string); static JsonValue parseAny(InputStream input); static JsonValue parseAny(String string); static JsonObject read(String filename); static JsonValue readAny(String filename); static String toString(JsonValue jValue); static String toStringFlat(JsonValue jValue); static void write(OutputStream output, JsonValue jValue); static void write(IndentedWriter output, JsonValue jValue); static void write(JsonValue jValue); static JsonValue copy(JsonValue arg); static JsonObject buildObject(Consumer<JsonBuilder> setup);  }
@Test(expected = JsonParseException.class) public void js_value_9() { JSON.parse("[1 2 3]") ; }
@Test(expected = JsonParseException.class) public void js_value_10() { JSON.parse("1") ; }
@Test(expected = JsonParseException.class) public void js_value_11() { JSON.parse("\"foo\"") ; }
@Test() public void js_value_12() { JSON.parse("{}") ; }