Class UCQValidator

java.lang.Object

fr.inria.rules.integraal.util.validator.query.UCQValidator

All Implemented Interfaces:

Validator<Query>

public class UCQValidator
extends Object
implements Validator<Query>

Validates that a query is a union of conjunctive queries.

Author:

Michel Leclère Checks that the query is a UCQ (i.e. a (possibly empty) set of CQ FOQueries)

Constructor Summary

Constructors

Constructor	Description
UCQValidator()	Creates the UCQ validator.

Method Summary

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

UCQValidator

public UCQValidator()

Creates the UCQ validator.

Method Details

check

public boolean check(Query element)

Description copied from interface: Validator

Checks whether the supplied element satisfies this validator.

Specified by:

check in interface Validator<Query>

Parameters:

element - element to check

Returns:

true iff the element respect a implementation defined property