Class ResultEntry


  • class ResultEntry
    extends java.lang.Object
    A result entry consisting of an xtext and a result model.
    Author:
    Holger Eichelberger
    • Field Detail

      • eProject

        private de.uni_hildesheim.sse.ivml.Project eProject
      • project

        private net.ssehub.easy.varModel.model.Project project
      • uri

        private java.net.URI uri
      • errorCount

        private int errorCount
    • Constructor Detail

      • ResultEntry

        ResultEntry​(de.uni_hildesheim.sse.ivml.Project eProject,
                    net.ssehub.easy.varModel.model.Project project,
                    TypeContext context,
                    Utils.SplitResult splitResult)
        Creates the result entry.
        Parameters:
        eProject - the xtext project
        project - the result project
        context - the actual type context
        splitResult - the type splitted model elements of eProject
    • Method Detail

      • setRegistrationInfo

        void setRegistrationInfo​(java.net.URI uri,
                                 int errorCount)
        Sets additional information required to register a successfully created model with VarModel.
        Parameters:
        uri - the URI of the model (if given, indicates that a successfully loaded model shall be registered)
        errorCount - the initial error count
      • completeLoading

        void completeLoading​(ModelTranslator.Result result)
        Completes loading.
        Parameters:
        result - the parent instance
      • getProject

        net.ssehub.easy.varModel.model.Project getProject()
        Returns the (result) project.
        Returns:
        the project
      • getSplitResult

        Utils.SplitResult getSplitResult()
        Returns the splitted entries.
        Returns:
        the splitted entries
      • getContext

        TypeContext getContext()
        Returns the actual type context.
        Returns:
        the type context
      • getEProject

        de.uni_hildesheim.sse.ivml.Project getEProject()
        Returns the xText project.
        Returns:
        the xText project
      • registerIfNeeded

        boolean registerIfNeeded​(int errorCount)
        Registers the (successful) result if needed, i.e., if setRegistrationInfo(URI, int) has been called with a URL.
        Parameters:
        errorCount - the actual error count
        Returns:
        true if a registration happened, false else