Class PositiveFormulaValidator

java.lang.Object

fr.inria.rules.integraal.util.validator.rule.PositiveFormulaValidator

All Implemented Interfaces:

Validator<FOFormula>

public class PositiveFormulaValidator
extends Object
implements Validator<FOFormula>

Validates that a formula contains no negation.

Author:

Florent Tornil Checks that the formula is positive (i.e.: contains no negation)

Constructor Summary

Constructors

Constructor	Description
PositiveFormulaValidator()	Creates the positive-formula validator.

Method Summary

Modifier and Type	Method	Description
boolean	check(FOFormula element)	Checks whether the supplied element satisfies this validator.
static PositiveFormulaValidator	instance()	Returns the singleton instance of PositiveFormulaValidator.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface Validator

check

Constructor Details

PositiveFormulaValidator

public PositiveFormulaValidator()

Creates the positive-formula validator.

Method Details

instance

public static PositiveFormulaValidator instance()

Returns the singleton instance of PositiveFormulaValidator.

Returns:

the instance of PositiveFormulaValidator

check

public boolean check(FOFormula element)

Description copied from interface: Validator

Checks whether the supplied element satisfies this validator.

Specified by:

check in interface Validator<FOFormula>

Parameters:

element - element to check

Returns:

true iff the element respect a implementation defined property