com.ugos.jiprolog.engine

Class JIPClausesDatabase

java.lang.Object

com.ugos.jiprolog.engine.JIPClausesDatabase

Direct Known Subclasses:

JDBCClausesDatabase, PrologClausesDatabase, TextClausesDatabase

public abstract class JIPClausesDatabase
extends Object

JIPClausesDatabase is the base class for external database of clauses
To implement a custom database of clauses, developers should implement the following methods:
- setAttributes
- addClauseAt
- addClause
- removeClause
- clauses
For more information see the section "How to implement a custom detabase of clauses" in the Reference Manual.

Version:

2.0

Author:

Ugo Chirico 2002
Home Page: http://www.ugochirico.com

See Also:

JIPClausesEnumeration

Constructor Summary

Constructors

Constructor and Description
JIPClausesDatabase() Constucts a new JIPClausesDatabase

Method Summary

Methods

Modifier and Type	Method and Description
abstract boolean	addClause(JIPClause clause) Appends a clause to the database Note that some databases may not allow to append a clause.
abstract boolean	addClauseAt(int nPos, JIPClause clause) Adds a clause to the database at the position specified Note that some databases may not allow to add a clause at a given position.
abstract Enumeration<JIPClause>	clauses() Returns an enumeration of the clauses contained in this database
int	getArity() Returns the arity of the functor associated to this database
String	getFunctorName() Returns the name of the functor associated to this database
JIPEngine	getJIPEngine() Returns the JIPEngine object attached to this database
abstract boolean	removeClause(JIPClause clause) Removes a clause from the database Note that some databases may not allow to remove a clause.
abstract void	setAttributes(String strAttribs) Sets the attributes to pass to the database (i.e. login info, filename, etc.)

Methods inherited from class java.lang.Object

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

Constructor Detail

JIPClausesDatabase

public JIPClausesDatabase()

Constucts a new JIPClausesDatabase

Method Detail

getFunctorName

public final String getFunctorName()

Returns the name of the functor associated to this database

getArity

public final int getArity()

Returns the arity of the functor associated to this database

getJIPEngine

public final JIPEngine getJIPEngine()

Returns the JIPEngine object attached to this database

setAttributes

public abstract void setAttributes(String strAttribs)

Sets the attributes to pass to the database (i.e. login info, filename, etc.)

Parameters:

strAttribs - the attributes to pass

addClauseAt

public abstract boolean addClauseAt(int nPos,
                  JIPClause clause)

Adds a clause to the database at the position specified
Note that some databases may not allow to add a clause at a given position.

Parameters:

nPos - Position of the clause to add

clause - Clause to add

Returns:

true if the clause has been added.

See Also:

JIPClause

addClause

public abstract boolean addClause(JIPClause clause)

Appends a clause to the database
Note that some databases may not allow to append a clause.

Parameters:

clause - Clause to add

Returns:

true if the clause has been appended.

See Also:

JIPClause

removeClause

public abstract boolean removeClause(JIPClause clause)

Removes a clause from the database Note that some databases may not allow to remove a clause.

Parameters:

clause - Clause to remove

Returns:

true if the clause has been removed.

See Also:

JIPClause

clauses

public abstract Enumeration<JIPClause> clauses()

Returns an enumeration of the clauses contained in this database

Returns:

an enumeration of the clauses contained in this database

See Also:

JIPClause, JIPClausesEnumeration