Interface InitializablePQuery

    • Method Detail

      • setStatus

        void setStatus​(PQuery.PQueryStatus status)
        Sets the query status. Only applicable if the pattern is still uninitialized.
        Parameters:
        status - the new status
      • addError

        void addError​(PProblem problem)
        Adds a detected error. Only applicable if the pattern is still uninitialized.
        Parameters:
        problem - the new problem
      • addAnnotation

        void addAnnotation​(PAnnotation annotation)
        Adds an annotation to the specification. Only applicable if the pattern is still uninitialized.
        Parameters:
        annotation -