alice.tuprolog.clausestore

Class MapEntriesStore

java.lang.Object

alice.tuprolog.clausestore.MapEntriesStore

All Implemented Interfaces:

ClauseStore

public class MapEntriesStore
extends Object
implements ClauseStore

Constructor Summary

Constructors

Constructor and Description
MapEntriesStore(Prolog engine, Map map, Term key, Term value, List varList, JavaLibrary lib)

Method Summary

Methods

Modifier and Type	Method and Description
void	close() Clause the store and free any external resources or caches associated with it.
ClauseInfo	fetch() Get the next clause compatible with the current goal.
boolean	hasCompatibleClause() Return true if there are more clauses compatible with the current goal, irrespective of local variable bindings.
boolean	haveAlternatives() Return true if there are more clauses available compatible with the current goal and false otherwise.

Methods inherited from class java.lang.Object

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

Constructor Detail

MapEntriesStore

public MapEntriesStore(Prolog engine,
               Map map,
               Term key,
               Term value,
               List varList,
               JavaLibrary lib)

Method Detail

close

public void close()

Description copied from interface: ClauseStore

Clause the store and free any external resources or caches associated with it. This method must be implemented by variants that access external resources such disk or DBMSs.

This being a cleanup method, implementations should try not to throw any exceptions here. It should also be possible to call this method repeatedly on the same instance without failure.

Specified by:

close in interface ClauseStore

fetch

public ClauseInfo fetch()

Description copied from interface: ClauseStore

Get the next clause compatible with the current goal. As a side-effect, all variables local to the clause store should be freed and available for unification again.

Specified by:

fetch in interface ClauseStore

hasCompatibleClause

public boolean hasCompatibleClause()

Description copied from interface: ClauseStore

Return true if there are more clauses compatible with the current goal, irrespective of local variable bindings.

Specified by:

hasCompatibleClause in interface ClauseStore

haveAlternatives

public boolean haveAlternatives()

Description copied from interface: ClauseStore

Return true if there are more clauses available compatible with the current goal and false otherwise. A first call to this method is equivalent to a call to hasCompatibleClause (since no variables would have been bound as yet).

Specified by:

haveAlternatives in interface ClauseStore