org.jpc.query

Class DeterministicPrologQuery

java.lang.Object

org.jpc.query.Cursor<Solution>

org.jpc.query.Query

org.jpc.query.PrologQuery

org.jpc.query.DeterministicPrologQuery

All Implemented Interfaces:

AutoCloseable, Iterator<Solution>

public abstract class DeterministicPrologQuery
extends PrologQuery

Constructor Summary

Constructors

Constructor and Description
DeterministicPrologQuery(PrologEngine prologEngine, Term goal, boolean errorHandledQuery, Jpc context)

Method Summary

Modifier and Type	Method and Description
protected void	basicAbort()
protected void	basicClose()
protected Solution	basicNext() Returns the next available element in the cursor.
Solution	oneSolutionOrThrow()

Methods inherited from class org.jpc.query.PrologQuery

exceptionHandledQueryTerm, getDefaultSelectedTerm, getGoal, getInstrumentedGoal, getJpcContext, getPrologEngine, instrumentGoal, isErrorHandledQuery, toString, withOperatorsQueryTerm

Methods inherited from class org.jpc.query.Query

allSolutionsMultimap, asTerm, basicAllSolutions, cachedNext, errorCheck, getAllSolutionsBindingsTerm, select, select, select, selectObject, selectObject, selectObject, selectObject, selectObject, selectObject, shouldVerifySolution

Methods inherited from class org.jpc.query.Cursor

abort, adapt, allSolutions, basicOneSolutionOrThrow, basicSolutionsRange, close, filter, finalize, getState, hasNext, hasSolution, isAbortable, isExhausted, isOpen, isReady, iterativeAllSolutions, next, nonSynchronizedClose, nSolutions, numberOfSolutions, oneSolution, remove, setState, solutionsRange

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Iterator

forEachRemaining

Constructor Detail

DeterministicPrologQuery

public DeterministicPrologQuery(PrologEngine prologEngine,
                                Term goal,
                                boolean errorHandledQuery,
                                Jpc context)

Method Detail

oneSolutionOrThrow

public Solution oneSolutionOrThrow()

Overrides:

oneSolutionOrThrow in class Cursor<Solution>

Returns:

the first solution to the query.

basicAbort

protected void basicAbort()

Specified by:

basicAbort in class Cursor<Solution>

basicClose

protected void basicClose()

Specified by:

basicClose in class Cursor<Solution>

basicNext

protected Solution basicNext()

Description copied from class: Cursor

Returns the next available element in the cursor. If the cursor is exhausted it should throw a NoSuchElementException the first time it is invoked. Its behavior is undetermined if invoked more than once after the cursor has been exhausted.

Specified by:

basicNext in class Cursor<Solution>

Returns: