public JsonObject toJson() {
			// { "op": "+/-", "value": jsonvalue }
			JsonObject result = new JsonObject();
			result.addProperty("op", operation.getOpChar());
			if (value != null) {
				result.add("value", value);
			}
			return result;
		}
Converts this patch to a json array.

@return json array with json encoded patch/diff elements.
Ghidra/Features/Base/src/main/java/ghidra/app/util/bin/format/golang/rtti/JsonPatch.java