Class TermErrors

    • Constructor Summary

      Constructors 
      Constructor Description
      TermErrors()
      Create new TermErrors instance
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void addError​(DFTerm term, java.lang.String error)
      Add a new error to this object
      int getErrorsCount()
      Get the number of errors.
      java.util.List<java.lang.String> getErrorsFor​(DFTerm term)
      Get the error for the given term.
      java.util.List<DFTerm> getWrongTerms()
      Return list of all incorrect terms.
      boolean hasErrors()
      Test if there are any errors?
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • TermErrors

        public TermErrors()
        Create new TermErrors instance
    • Method Detail

      • hasErrors

        public boolean hasErrors()
        Test if there are any errors?
        Returns:
        True if there are some errors, otherwise false.
      • getWrongTerms

        public java.util.List<DFTerm> getWrongTerms()
        Return list of all incorrect terms. What are the errors for each of them is possible to find out from getErrorsFor(DFTerm). If everything is correct, then returns empty List.
        Returns:
        The set of incorrect terms
      • getErrorsFor

        public java.util.List<java.lang.String> getErrorsFor​(DFTerm term)
        Get the error for the given term. If there is no error for this term then returns empty List. Never returns null.
        Parameters:
        term - The term
        Returns:
        The list of errors for the specified term. Never returns null.
      • addError

        public void addError​(DFTerm term,
                             java.lang.String error)
        Add a new error to this object
        Parameters:
        term - The term which is incorrect
        error - The error message
      • getErrorsCount

        public int getErrorsCount()
        Get the number of errors.
        Returns:
        The number of errors (0 or more).
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object