Class PositiveHeadRuleValidator

java.lang.Object

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

All Implemented Interfaces:

Validator<FORule>

public class PositiveHeadRuleValidator
extends Object
implements Validator<FORule>

Validates that a rule head is positive.

Author:

Florent Tornil Checks that the head of the rule if positive

Constructor Summary

Constructors

Constructor	Description
PositiveHeadRuleValidator()	Creates the positive-head rule validator.

Method Summary

Modifier and Type	Method	Description
boolean	check(FORule rule)	Checks whether the supplied element satisfies this validator.

Methods inherited from class Object

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

Methods inherited from interface Validator

check

Constructor Details

PositiveHeadRuleValidator

public PositiveHeadRuleValidator()

Creates the positive-head rule validator.

Method Details

check

public boolean check(FORule rule)

Description copied from interface: Validator

Checks whether the supplied element satisfies this validator.

Specified by:

check in interface Validator<FORule>

Parameters:

rule - element to check

Returns:

true iff the element respect a implementation defined property