JsonSerializationContext context) {
JsonObject obj = new JsonObject();
obj.add("to", context.serialize(objref.getReferredName()));
JsonElement js_attr;
if (objref.getAttr() == null) {
js_attr = new JsonNull();
} else {
js_attr = context.serialize(objref.getAttr());
}
obj.add("attr", js_attr);
obj.addProperty("href", objref.getHRef());