Interface Validator<T>

Type Parameters:
T - the type of the elements to be checked
All Known Implementing Classes:
ConjunctionFormulaValidator, ConjunctiveHeadRuleValidator, ConstantOnlyAtomValidator, CQValidator, DatalogRuleValidator, PositiveFormulaValidator, PositiveHeadRuleValidator, UCQValidator
public interface Validator<T>
Checks whether elements satisfy an implementation-defined property.
Author:
Florent Tornil

Validate a specific condition over the given elements

  • Method Summary

    Modifier and Type
    Method
    Description
    default boolean
    check(Collection<? extends T> elements)
    Checks whether every supplied element satisfies this validator.
    boolean
    check(T element)
    Checks whether the supplied element satisfies this validator.

  • Method Details

    • check

      default boolean check(Collection<? extends T> elements)
      Checks whether every supplied element satisfies this validator.
      Parameters:
      elements - elements to check
      Returns:
      true iff all the elements respect a implementation defined property

    • check

      boolean check(T element)
      Checks whether the supplied element satisfies this validator.
      Parameters:
      element - element to check
      Returns:
      true iff the element respect a implementation defined property