Class DefaultConjunctiveQuery

java.lang.Object

fr.lirmm.graphik.integraal.core.DefaultConjunctiveQuery

All Implemented Interfaces:

ConjunctiveQuery, Query, CloseableIterable<Atom>, CloseableIterableWithoutException<Atom>, Iterable<Atom>

public class DefaultConjunctiveQuery
extends Object
implements ConjunctiveQuery

Class representing a conjunctive query. A conjunctive query is composed of a fact and a set of answer variables.

Constructor Summary

Constructors

Constructor	Description
DefaultConjunctiveQuery()	Creates an empty conjunctive query.
DefaultConjunctiveQuery(ConjunctiveQuery query)	Creates a copy of the specified conjunctive query.
DefaultConjunctiveQuery(InMemoryAtomSet atomSet)	Creates a conjunctive query whose answer variables are the variables of the atom set.
DefaultConjunctiveQuery(InMemoryAtomSet atomSet, List<Term> ans)	Creates a conjunctive query with the specified body and answer variables.
DefaultConjunctiveQuery(CloseableIterator<Atom> atomSet, CloseableIterator<Term> answerVariables)	Creates a conjunctive query from iterators over atoms and answer variables.
DefaultConjunctiveQuery(CloseableIteratorWithoutException<Atom> atomSet, CloseableIteratorWithoutException<Term> answerVariables)	Creates a conjunctive query from closeable iterators that do not throw checked exceptions.
DefaultConjunctiveQuery(String label, InMemoryAtomSet atomSet, List<Term> ans)	Creates a labeled conjunctive query.

Method Summary

Modifier and Type	Method	Description
void	appendTo(StringBuilder sb)
boolean	equals(ConjunctiveQuery other)	Compares this query with another one by body and answer variables.
boolean	equals(Object obj)
List<Term>	getAnswerVariables()	Returns the answer variables of the query.
InMemoryAtomSet	getAtomSet()	Returns the fact of the query.
String	getLabel()	The label (the name) for this query.
boolean	isBoolean()	Returns whether the query expects a boolean answer.
CloseableIteratorWithoutException<Atom>	iterator()	Return an iterator over the atoms conjunction of the query.
void	setAnswerVariables(List<Term> v)	Replaces the answer variables.
void	setAtomSet(InMemoryAtomSet atomSet)	Replaces the query body.
void	setLabel(String label)	Sets the query label.
String	toString()

Methods inherited from class Object

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

Methods inherited from interface Iterable

forEach, spliterator

Constructor Details

DefaultConjunctiveQuery

public DefaultConjunctiveQuery()

Creates an empty conjunctive query.

DefaultConjunctiveQuery

public DefaultConjunctiveQuery(InMemoryAtomSet atomSet)

Creates a conjunctive query whose answer variables are the variables of the atom set.

Parameters:

atomSet - the atom set forming the query body

DefaultConjunctiveQuery

public DefaultConjunctiveQuery(InMemoryAtomSet atomSet,
 List<Term> ans)

Creates a conjunctive query with the specified body and answer variables.

Parameters:

atomSet - the atom set forming the query body

ans - the answer variables

DefaultConjunctiveQuery

public DefaultConjunctiveQuery(CloseableIterator<Atom> atomSet,
 CloseableIterator<Term> answerVariables)
                        throws IteratorException

Creates a conjunctive query from iterators over atoms and answer variables.

Parameters:

atomSet - the atom iterator forming the query body

answerVariables - the answer-variable iterator

Throws:

IteratorException - if reading either iterator fails

DefaultConjunctiveQuery

public DefaultConjunctiveQuery(CloseableIteratorWithoutException<Atom> atomSet,
 CloseableIteratorWithoutException<Term> answerVariables)

Creates a conjunctive query from closeable iterators that do not throw checked exceptions.

Parameters:

atomSet - the atom iterator forming the query body

answerVariables - the answer-variable iterator

DefaultConjunctiveQuery

public DefaultConjunctiveQuery(String label,
 InMemoryAtomSet atomSet,
 List<Term> ans)

Creates a labeled conjunctive query.

Parameters:

label - the name of this query

atomSet - the conjunction of atoms representing the query

ans - the list of answer variables

DefaultConjunctiveQuery

public DefaultConjunctiveQuery(ConjunctiveQuery query)

Creates a copy of the specified conjunctive query.

Parameters:

query - the query to copy

Method Details

getLabel

public String getLabel()

Description copied from interface: ConjunctiveQuery

The label (the name) for this query.

Specified by:

getLabel in interface ConjunctiveQuery

Specified by:

getLabel in interface Query

Returns:

the label of this query.

setLabel

public void setLabel(String label)

Description copied from interface: Query

Sets the query label.

Specified by:

setLabel in interface Query

Parameters:

label - the new query label

getAtomSet

public InMemoryAtomSet getAtomSet()

Returns the fact of the query.

Specified by:

getAtomSet in interface ConjunctiveQuery

Returns:

an atom set representing the atom conjunction of the query.

setAtomSet

public void setAtomSet(InMemoryAtomSet atomSet)

Replaces the query body.

Parameters:

atomSet - the new query body

getAnswerVariables

public List<Term> getAnswerVariables()

Returns the answer variables of the query.

Specified by:

getAnswerVariables in interface ConjunctiveQuery

Returns:

an Collection of Term representing the answer variables.

setAnswerVariables

public void setAnswerVariables(List<Term> v)

Replaces the answer variables.

Specified by:

setAnswerVariables in interface ConjunctiveQuery

Parameters:

v - the new answer variables

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.

iterator

public CloseableIteratorWithoutException<Atom> iterator()

Description copied from interface: ConjunctiveQuery

Return an iterator over the atoms conjunction of the query.

Specified by:

iterator in interface CloseableIterable<Atom>

Specified by:

iterator in interface CloseableIterableWithoutException<Atom>

Specified by:

iterator in interface ConjunctiveQuery

Specified by:

iterator in interface Iterable<Atom>

Returns:

the iterator over the elements

toString

public String toString()

Overrides:

toString in class Object

appendTo

public void appendTo(StringBuilder sb)

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

equals

public boolean equals(ConjunctiveQuery other)

Compares this query with another one by body and answer variables.

Parameters:

other - the query to compare with

Returns:

true if both queries are equivalent