Interface ProblemSupport

    • Method Detail

      • getProblems

        java.util.List<? extends Problem> getProblems​(Element element)
        Parameters:
        element - the element to look up problems
        Returns:
        the problems associated with the given Element
      • addError

        void addError​(Element element,
                      java.lang.String message)
        Adds a problem marker with severity Problem.Severity#ERROR to the given element
        Parameters:
        element - the element to which associate the new problem marker
        message - the message for the problem marker
      • addWarning

        void addWarning​(Element element,
                        java.lang.String message)
        Adds a problem marker with severity Problem.Severity#WARNING to the given element
        Parameters:
        element - the element to which associate the new problem marker
        message - the message for the problem marker
      • validateLater

        void validateLater​(org.eclipse.xtext.xbase.lib.Procedures.Procedure0 validationCallback)
        Parameters:
        validationCallback - a callback that will be executed in the validation phase, when all transformations have been done and types are inferred.
        Since:
        2.7