@Override
public JsonElement serialize(Datum src, Type typeOfSrc, JsonSerializationContext context) {
JsonObject jsonObj = new JsonObject();
jsonObj.addProperty("type", TypeStringEncoder.encode(src.type()));
switch (src.kind()) {
case DATE:
jsonObj.addProperty("value", src.asInt4());
break;
case TIME:
jsonObj.addProperty("value", src.asInt8());
break;
case TIMESTAMP:
jsonObj.addProperty("value", src.asInt8());
break;
case INTERVAL:
IntervalDatum interval = (IntervalDatum)src;
jsonObj.addProperty("value", interval.getMonths() + "," + interval.getMilliSeconds());
break;
case ANY:
jsonObj.add("actual", serialize(((AnyDatum) src).getActual(), typeOfSrc, context));
break;
default:
jsonObj.add("body", context.serialize(src));
}
return jsonObj;
}
}