+ serialize
+
+ redef fun core_serialize_to(v) do
+ v.serialize_attribute("name", name)
+ v.serialize_attribute("class_name", class_name)
+ v.serialize_attribute("full_name", full_name)
+ v.serialize_attribute("mdoc", mdoc_or_fallback)
+ v.serialize_attribute("visibility", visibility.to_s)
+ v.serialize_attribute("modifiers", collect_modifiers)
+ v.serialize_attribute("location", location)
+ end
+
+ # Serialize the full version of `self` to JSON
+ #
+ # See: `FullJsonSerializer`
+ fun serialize_to_full_json(plain, pretty: nullable Bool): String do
+ var stream = new StringWriter
+ var serializer = new FullJsonSerializer(stream)
+ serializer.plain_json = plain or else false
+ serializer.pretty_json = pretty or else false
+ serializer.serialize self
+ stream.close
+ return stream.to_s
+ end