com.ugos.jiprolog.extensions.database

Class PrologClausesDatabase

java.lang.Object

com.ugos.jiprolog.engine.JIPClausesDatabase

com.ugos.jiprolog.extensions.database.PrologClausesDatabase

public class PrologClausesDatabase
extends JIPClausesDatabase

Constructor Summary

Constructors

Constructor and Description
PrologClausesDatabase()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	addClause(JIPClause clause) Appends a clause to the database Note that some databases may not allow to append a clause.
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.
Enumeration	clauses() Returns an enumeration of the clauses contained in this database
void	finalize()
String	getFileName()
boolean	removeClause(JIPClause clause) Removes a clause from the database Note that some databases may not allow to remove a clause.
void	setAttributes(String strAttribs) Sets the attributes to pass to the database (i.e. login info, filename, etc.)

Methods inherited from class com.ugos.jiprolog.engine.JIPClausesDatabase

getArity, getFunctorName, getJIPEngine

Methods inherited from class java.lang.Object

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

Constructor Detail

PrologClausesDatabase

public PrologClausesDatabase()

Method Detail

getFileName

public String getFileName()

setAttributes

public void setAttributes(String strAttribs)

Description copied from class: JIPClausesDatabase

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

Specified by:

setAttributes in class JIPClausesDatabase

Parameters:

strAttribs - the attributes to pass

addClauseAt

public boolean addClauseAt(int nPos,
                  JIPClause clause)

Description copied from class: JIPClausesDatabase

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.

Specified by:

addClauseAt in class JIPClausesDatabase

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 boolean addClause(JIPClause clause)

Description copied from class: JIPClausesDatabase

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

Specified by:

addClause in class JIPClausesDatabase

Parameters:

clause - Clause to add

Returns:

true if the clause has been appended.

See Also:

JIPClause

removeClause

public boolean removeClause(JIPClause clause)

Description copied from class: JIPClausesDatabase

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

Specified by:

removeClause in class JIPClausesDatabase

Parameters:

clause - Clause to remove

Returns:

true if the clause has been removed.

See Also:

JIPClause

clauses

public Enumeration clauses()

Description copied from class: JIPClausesDatabase

Returns an enumeration of the clauses contained in this database

Specified by:

clauses in class JIPClausesDatabase

Returns:

an enumeration of the clauses contained in this database

See Also:

JIPClause, JIPClausesEnumeration

finalize

public void finalize()

Overrides:

finalize in class Object