Class ConstantOnlyAtomValidator

java.lang.Object

fr.inria.rules.integraal.util.validator.data.ConstantOnlyAtomValidator

All Implemented Interfaces:

Validator<Atom>

public class ConstantOnlyAtomValidator
extends Object
implements Validator<Atom>

Validates that an atom contains only constants.

Author:

Florent Tornil Checks that the atom only contains constants

Constructor Summary

Constructors

Constructor	Description
ConstantOnlyAtomValidator()	Creates the constant-only atom validator.

Method Summary

Modifier and Type	Method	Description
boolean	check(Atom element)	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

ConstantOnlyAtomValidator

public ConstantOnlyAtomValidator()

Creates the constant-only atom validator.

Method Details

check

public boolean check(Atom element)

Description copied from interface: Validator

Checks whether the supplied element satisfies this validator.

Specified by:

check in interface Validator<Atom>

Parameters:

element - element to check

Returns:

true iff the element respect a implementation defined property