ubc.cs.JLog.Extras.DataBase
Class jDBConnect
java.lang.Object
ubc.cs.JLog.Foundation.jType
ubc.cs.JLog.Terms.jTerm
ubc.cs.JLog.Terms.iPredicate
ubc.cs.JLog.Terms.jBuiltinPredicate
ubc.cs.JLog.Terms.jQuadaryBuiltinPredicate
ubc.cs.JLog.Extras.DataBase.jDBConnect
- All Implemented Interfaces:
- iType, iUnifiable, iConsultable, iName, iNameArity, iTerm, iValue
public class jDBConnect
- extends jQuadaryBuiltinPredicate
Fields inherited from class ubc.cs.JLog.Foundation.jType |
type |
Fields inherited from interface ubc.cs.JLog.Foundation.iType |
TYPE_ARITHMETIC, TYPE_ATOM, TYPE_BUILTINPREDICATE, TYPE_COMMAND, TYPE_COMPARE, TYPE_COMPOUND, TYPE_CONS, TYPE_IF, TYPE_INTEGER, TYPE_LIST, TYPE_NULLLIST, TYPE_NUMERICCOMPARE, TYPE_OBJECT, TYPE_OPERATOR, TYPE_OR, TYPE_ORPREDICATE, TYPE_PREDICATE, TYPE_PREDICATETERMS, TYPE_REAL, TYPE_TYPE, TYPE_UNARYARITHMETIC, TYPE_UNARYOPERATOR, TYPE_UNDEFINED, TYPE_VARIABLE |
Methods inherited from class ubc.cs.JLog.Terms.jQuadaryBuiltinPredicate |
addGoals, addGoals, compareArguments, consult, consultReset, copy, duplicate, enumerateVariables, equivalenceArguments, getArguments, getArity, getTerm1, getTerm2, getTerm3, getTerm4, isConsultNeeded, registerUnboundVariables, registerVariables, toString, unifyArguments |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
jDBConnect
public jDBConnect(jTerm driver,
jTerm url,
jTerm user,
jTerm pwd)
getConnection
public static java.sql.Connection getConnection()
closeConnection
public static void closeConnection()
getName
public java.lang.String getName()
- Description copied from interface:
iName
- Returns the name of this instance.
- Specified by:
getName
in interface iName
- Specified by:
getName
in interface iTerm
- Overrides:
getName
in class jTerm
- Returns:
String
containing name of this instance.
prove
public boolean prove(jQuadaryBuiltinPredicateGoal qg)
- Overrides:
prove
in class jQuadaryBuiltinPredicate
duplicate
public jQuadaryBuiltinPredicate duplicate(jTerm t1,
jTerm t2,
jTerm t3,
jTerm t4)
- Specified by:
duplicate
in class jQuadaryBuiltinPredicate