model_json: update ModelView

[nit.git] / src / model / model_json.nit

# This file is part of NIT ( http://www.nitlanguage.org ).
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.

# Make model entities Serializable.
#
# To avoid cycles, every reference from a MEntity to another is replaced by a
# MEntityRef.
#
# How subobjects are retrieved using the MEntityRef is the responsability of the
# client. Json objects can be returned as this or inflated with concrete objet
# rather than the refs.
#
# TODO consider serialization module?
module model_json

import model::model_collect
import json::static
import json::serialization_write
import loader

# A reference to another mentity.
class MEntityRef
        super MEntity

        # MEntity to link to.
        var mentity: MEntity

        redef fun core_serialize_to(v) do
                v.serialize_attribute("full_name", mentity.full_name)
        end
end

redef class MEntity
        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(mainmodule: MModule, plain, pretty: nullable Bool): String do
                var stream = new StringWriter
                var serializer = new FullJsonSerializer(stream, mainmodule)
                serializer.plain_json = plain or else false
                serializer.pretty_json = pretty or else false
                serializer.serialize self
                stream.close
                return stream.to_s
        end

        # Return the full json representation of `self` with references.
        #
        # By default, every reference to another MEntity is replaced by a pointer
        # to the MEntity::json_id.
        # Use this method to obtain a full object with mentities instead of pointers.
        fun to_full_json(mainmodule: MModule): String do
                return serialize_to_full_json(mainmodule, plain=true)
        end

        # Same as `to_full_json` but with pretty json.
        fun to_pretty_full_json(mainmodule: MModule): String do
                return serialize_to_full_json(mainmodule, plain=true, pretty=true)
        end

        # Sort mentities by name
        private fun sort_entities(mentities: Collection[MEntity]): Array[MEntity] do
                var sorter = new MEntityNameSorter
                var sorted = mentities.to_a
                sorter.sort(sorted)
                return sorted
        end
end

redef class MDoc
        serialize

        redef fun core_serialize_to(v) do
                super
                v.serialize_attribute("content", content.join("\n"))
                v.serialize_attribute("location", location)
        end
end

redef class nitc::Location
        serialize

        redef fun core_serialize_to(v) do
                v.serialize_attribute("column_end", column_end)
                v.serialize_attribute("column_start", column_start)
                v.serialize_attribute("line_end", line_end)
                v.serialize_attribute("line_start", line_start)
                var file = self.file
                if file != null then
                        v.serialize_attribute("file", file.filename)
                end
        end
end

redef class MPackage
        redef fun core_serialize_to(v) do
                super
                if v isa FullJsonSerializer then
                        v.serialize_attribute("root", to_mentity_ref(root))
                        v.serialize_attribute("mgroups", to_mentity_refs(sort_entities(mgroups)))
                        var ini = self.ini
                        if ini != null then v.serialize_attribute("ini", ini.to_map)
                end
        end
end

redef class MGroup
        redef fun core_serialize_to(v) do
                super
                if v isa FullJsonSerializer then
                        v.serialize_attribute("is_root", is_root)
                        v.serialize_attribute("mpackage", to_mentity_ref(mpackage))
                        v.serialize_attribute("default_mmodule", to_mentity_ref(default_mmodule))
                        v.serialize_attribute("parent", to_mentity_ref(parent))
                        v.serialize_attribute("mmodules", to_mentity_refs(sort_entities(mmodules)))
                        v.serialize_attribute("mgroups", to_mentity_refs(sort_entities(in_nesting.direct_smallers)))
                end
        end
end

redef class MModule
        redef fun core_serialize_to(v) do
                super
                if v isa FullJsonSerializer then
                        var view = new ModelView(model, v.mainmodule)
                        v.serialize_attribute("mpackage", to_mentity_ref(mpackage))
                        v.serialize_attribute("mgroup", to_mentity_ref(mgroup))
                        v.serialize_attribute("intro_mclasses", to_mentity_refs(sort_entities(intro_mclasses)))
                        v.serialize_attribute("mclassdefs", to_mentity_refs(sort_entities(mclassdefs)))
                        v.serialize_attribute("intro_mclassdefs", to_mentity_refs(sort_entities(collect_intro_mclassdefs(view))))
                        v.serialize_attribute("redef_mclassdefs", to_mentity_refs(sort_entities(collect_redef_mclassdefs(view))))
                        v.serialize_attribute("imports", to_mentity_refs(in_importation.direct_greaters))
                end
        end
end

redef class MClass
        redef fun core_serialize_to(v) do
                super
                v.serialize_attribute("mparameters", mparameters)
                if v isa FullJsonSerializer then
                        var view = new ModelView(model, v.mainmodule)
                        v.serialize_attribute("intro", to_mentity_ref(intro))
                        v.serialize_attribute("intro_mmodule", to_mentity_ref(intro_mmodule))
                        v.serialize_attribute("mpackage", to_mentity_ref(intro_mmodule.mpackage))
                        v.serialize_attribute("mclassdefs", to_mentity_refs(mclassdefs))
                        v.serialize_attribute("all_mproperties", to_mentity_refs(sort_entities(collect_accessible_mproperties(view))))
                        v.serialize_attribute("intro_mproperties", to_mentity_refs(sort_entities(collect_intro_mproperties(view))))
                        v.serialize_attribute("redef_mproperties", to_mentity_refs(sort_entities(collect_redef_mproperties(view))))
                        v.serialize_attribute("parents", to_mentity_refs(sort_entities(collect_parents(view))))
                end
        end
end

redef class MClassDef
        redef fun core_serialize_to(v) do
                super
                v.serialize_attribute("is_intro", is_intro)
                v.serialize_attribute("mparameters", mclass.mparameters)
                if v isa FullJsonSerializer then
                        var view = new ModelView(model, v.mainmodule)
                        v.serialize_attribute("mmodule", to_mentity_ref(mmodule))
                        v.serialize_attribute("mclass", to_mentity_ref(mclass))
                        v.serialize_attribute("mpropdefs", to_mentity_refs(sort_entities(mpropdefs)))
                        v.serialize_attribute("intro_mproperties", to_mentity_refs(sort_entities(intro_mproperties)))
                        v.serialize_attribute("intro", to_mentity_ref(mclass.intro))
                        v.serialize_attribute("mpackage", to_mentity_ref(mmodule.mpackage))
                        v.serialize_attribute("intro_mpropdefs", to_mentity_refs(sort_entities(collect_intro_mpropdefs(view))))
                        v.serialize_attribute("redef_mpropdefs", to_mentity_refs(sort_entities(collect_redef_mpropdefs(view))))
                end
        end
end

redef class MProperty
        redef fun core_serialize_to(v) do
                super
                if v isa FullJsonSerializer then
                        v.serialize_attribute("intro", to_mentity_ref(intro))
                        v.serialize_attribute("intro_mclassdef", to_mentity_ref(intro_mclassdef))
                        v.serialize_attribute("mpropdefs", to_mentity_refs(sort_entities(mpropdefs)))
                        v.serialize_attribute("intro_mclass", to_mentity_ref(intro_mclassdef.mclass))
                        v.serialize_attribute("mpackage", to_mentity_ref(intro_mclassdef.mmodule.mpackage))
                end
        end
end

redef class MMethod
        redef fun core_serialize_to(v) do
                super
                v.serialize_attribute("is_init", is_init)
                v.serialize_attribute("msignature", intro.msignature)
        end
end

redef class MAttribute
        redef fun core_serialize_to(v) do
                super
                v.serialize_attribute("static_mtype", to_mentity_ref(intro.static_mtype))
        end
end

redef class MVirtualTypeProp
        redef fun core_serialize_to(v) do
                super
                v.serialize_attribute("mvirtualtype", to_mentity_ref(mvirtualtype))
                v.serialize_attribute("bound", to_mentity_ref(intro.bound))
        end
end

redef class MPropDef
        redef fun core_serialize_to(v) do
                super
                v.serialize_attribute("is_intro", is_intro)
                if v isa FullJsonSerializer then
                        v.serialize_attribute("mclassdef", to_mentity_ref(mclassdef))
                        v.serialize_attribute("mproperty", to_mentity_ref(mproperty))
                        v.serialize_attribute("intro", to_mentity_ref(mproperty.intro))
                        v.serialize_attribute("intro_mclassdef", to_mentity_ref(mproperty.intro.mclassdef))
                        v.serialize_attribute("mmodule", to_mentity_ref(mclassdef.mmodule))
                        v.serialize_attribute("mgroup", to_mentity_ref(mclassdef.mmodule.mgroup))
                        v.serialize_attribute("mpackage", to_mentity_ref(mclassdef.mmodule.mpackage))
                end
        end
end

redef class MMethodDef
        redef fun core_serialize_to(v) do
                super
                v.serialize_attribute("msignature", msignature)
        end
end

redef class MAttributeDef
        redef fun core_serialize_to(v) do
                super
                v.serialize_attribute("static_mtype", to_mentity_ref(static_mtype))
        end
end

redef class MVirtualTypeDef
        redef fun core_serialize_to(v) do
                super
                v.serialize_attribute("bound", to_mentity_ref(bound))
                v.serialize_attribute("is_fixed", is_fixed)
        end
end

redef class MSignature
        redef fun core_serialize_to(v) do
                v.serialize_attribute("arity", arity)
                v.serialize_attribute("mparams", mparameters)
                v.serialize_attribute("return_mtype", to_mentity_ref(return_mtype))
                v.serialize_attribute("vararg_rank", vararg_rank)
        end
end

redef class MParameterType
        redef fun core_serialize_to(v) do
                v.serialize_attribute("name", name)
                v.serialize_attribute("rank", rank)
                v.serialize_attribute("mtype", to_mentity_ref(mclass.intro.bound_mtype.arguments[rank]))
        end
end

redef class MParameter
        redef fun core_serialize_to(v) do
                v.serialize_attribute("is_vararg", is_vararg)
                v.serialize_attribute("name", name)
                v.serialize_attribute("mtype", to_mentity_ref(mtype))
        end
end

# Create a ref to a `mentity`.
fun to_mentity_ref(mentity: nullable MEntity): nullable MEntityRef do
        if mentity == null then return null
        return new MEntityRef(mentity)
end

# Return a collection of `mentities` as a JsonArray of MEntityRefs.
fun to_mentity_refs(mentities: Collection[MEntity]): Array[MEntityRef] do
        var array = new Array[MEntityRef]
        for mentity in mentities do
                var ref = to_mentity_ref(mentity)
                if ref == null then continue
                array.add ref
        end
        return array
end

# Use the FullJsonSerializer to generate the full json representation of a MEntity.
#
# See MEntity::to_full_json.
class FullJsonSerializer
        super JsonSerializer

        # FIXME tmp use of the mainmodule, a PR is comming to clean all the JSON mess
        var mainmodule: MModule
end