Class DefaultUnionOfConjunctiveQueries

java.lang.Object

fr.lirmm.graphik.integraal.core.DefaultUnionOfConjunctiveQueries

All Implemented Interfaces:

Query, UnionOfConjunctiveQueries, CloseableIterable<EffectiveConjunctiveQuery>

public class DefaultUnionOfConjunctiveQueries
extends Object
implements UnionOfConjunctiveQueries

This class represents query which is the union of conjunctive queries.

Author:

Clément Sipieter (INRIA) clement@6pi.fr

Constructor Summary

Constructors

Constructor	Description
DefaultUnionOfConjunctiveQueries(List<Term> ans, ConjunctiveQuery... queries)	Creates a union of conjunctive queries from a varargs list of queries.
DefaultUnionOfConjunctiveQueries(List<Term> ans, CloseableIterator<EffectiveConjunctiveQuery> queries)	Creates a union of conjunctive queries from an iterator of effective queries.
DefaultUnionOfConjunctiveQueries(List<Term> ans, CloseableIteratorWithoutException<EffectiveConjunctiveQuery> queries)	Creates a union of conjunctive queries from an iterator of effective queries.
DefaultUnionOfConjunctiveQueries(List<Term> ans, Collection<ConjunctiveQuery> queries)	Creates a union of conjunctive queries from a collection of queries.

Method Summary

Modifier and Type	Method	Description
void	appendTo(StringBuilder sb)
List<Term>	getAnswerVariables()	Get the answer variables
List<ConjunctiveQuery>	getConjunctiveQueries()	Returns all conjunctive queries contained in this union.
String	getLabel()	The label (the name) of this query.
boolean	isBoolean()	Returns whether the query expects a boolean answer.
boolean	isEmpty()	Returns true if there is no queries in this union, false otherwise.
CloseableIteratorWithoutException<EffectiveConjunctiveQuery>	iterator()	Returns a closeable iterator over the elements of this iterable.
void	setLabel(String label)	Updates the query label.
int	size()	Returns the number of queries.
String	toString()

Methods inherited from class Object

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

Constructor Details

DefaultUnionOfConjunctiveQueries

public DefaultUnionOfConjunctiveQueries(List<Term> ans,
 Collection<ConjunctiveQuery> queries)

Creates a union of conjunctive queries from a collection of queries.

Parameters:

ans - the answer variables

queries - the conjunctive queries to wrap

DefaultUnionOfConjunctiveQueries

public DefaultUnionOfConjunctiveQueries(List<Term> ans,
 CloseableIteratorWithoutException<EffectiveConjunctiveQuery> queries)

Creates a union of conjunctive queries from an iterator of effective queries.

Parameters:

ans - the answer variables

queries - the effective query iterator

DefaultUnionOfConjunctiveQueries

public DefaultUnionOfConjunctiveQueries(List<Term> ans,
 CloseableIterator<EffectiveConjunctiveQuery> queries)
                                 throws IteratorException

Creates a union of conjunctive queries from an iterator of effective queries.

Parameters:

ans - the answer variables

queries - the effective query iterator

Throws:

IteratorException - if the iterator cannot be consumed

DefaultUnionOfConjunctiveQueries

public DefaultUnionOfConjunctiveQueries(List<Term> ans,
 ConjunctiveQuery... queries)

Creates a union of conjunctive queries from a varargs list of queries.

Parameters:

ans - the answer variables

queries - the conjunctive queries to wrap

Method Details

getAnswerVariables

public List<Term> getAnswerVariables()

Description copied from interface: UnionOfConjunctiveQueries

Get the answer variables

Specified by:

getAnswerVariables in interface UnionOfConjunctiveQueries

Returns:

an Collection of Term representing the answer variables.

getConjunctiveQueries

public List<ConjunctiveQuery> getConjunctiveQueries()

Description copied from interface: UnionOfConjunctiveQueries

Returns all conjunctive queries contained in this union.

Specified by:

getConjunctiveQueries in interface UnionOfConjunctiveQueries

Returns:

All the conjunctive queries as a list.

iterator

public CloseableIteratorWithoutException<EffectiveConjunctiveQuery> iterator()

Description copied from interface: CloseableIterable

Returns a closeable iterator over the elements of this iterable.

Specified by:

iterator in interface CloseableIterable<EffectiveConjunctiveQuery>

Specified by:

iterator in interface UnionOfConjunctiveQueries

Returns:

the iterator over the elements

isEmpty

public boolean isEmpty()

Description copied from interface: UnionOfConjunctiveQueries

Returns true if there is no queries in this union, false otherwise.

Specified by:

isEmpty in interface UnionOfConjunctiveQueries

Returns:

true if there is no queries in this union, false otherwise.

size

public int size()

Description copied from interface: UnionOfConjunctiveQueries

Returns the number of queries.

Specified by:

size in interface UnionOfConjunctiveQueries

Returns:

the number of queries.

isBoolean

public boolean isBoolean()

Description copied from interface: Query

Returns whether the query expects a boolean answer.

Specified by:

isBoolean in interface Query

Returns:

true if the expected answer is boolean, false otherwise.

setLabel

public void setLabel(String label)

Updates the query label.

Specified by:

setLabel in interface Query

Parameters:

label - the new label

getLabel

public String getLabel()

Description copied from interface: UnionOfConjunctiveQueries

The label (the name) of this query.

Specified by:

getLabel in interface Query

Specified by:

getLabel in interface UnionOfConjunctiveQueries

Returns:

the label of this query

toString

public String toString()

Overrides:

toString in class Object

appendTo

public void appendTo(StringBuilder sb)