org.jpc.term.compiler

Class BindableVar

java.lang.Object

org.jpc.term.Term

org.jpc.term.AbstractVar

org.jpc.term.compiler.BindableVar

public class BindableVar
extends AbstractVar

Method Summary

Modifier and Type	Method and Description
Term	getBinding()
String	getName()
AbstractVar	getVar()
VarCell	getVarCell()
boolean	isAnonymous()
Term	preCompile(Environment env)
Term	prepareForFrame(Environment env)
Term	prepareForQuery(Environment env)
boolean	termEquals(Term term) Test if this object is equivalent to the term representation of the object sent as parameter This is not testing for equality in a mathematical sense, for example: 'new Variable("_").equals(new Variable("_"))' is false, since both the receiver and the arguments are anonymous variables, not the same variable.
void	unify(Term term)

Methods inherited from class org.jpc.term.AbstractVar

accept, basicRead, equals, getVariableNames, hasFunctor, isGround, toEscapedString, toString, toString

Methods inherited from class org.jpc.term.Term

arg, arity, asList, basicIsList, canUnify, changeVariablesNames, compile, compile, compile, compile, compileAndUnify, compileAndUnifyVars, getArgs, getNamedVariables, getNamedVariablesNames, getNonUnderscoreVariableNames, getNonUnderscoreVariables, getVariableNames, getVariables, hasFunctor, hasFunctor, hasFunctor, hasFunctor, hasVariable, isHilog, isList, listLength, prepareForFrame, prepareForQuery, read, read, replaceVariables, resolveBindings, termEquals, termExpansion, toEscapedString, toEscapedString, unifyAndBind, varBindings

Methods inherited from class java.lang.Object

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

Method Detail

getBinding

public Term getBinding()

termEquals

public boolean termEquals(Term term)

Description copied from class: Term

Test if this object is equivalent to the term representation of the object sent as parameter This is not testing for equality in a mathematical sense, for example: 'new Variable("_").equals(new Variable("_"))' is false, since both the receiver and the arguments are anonymous variables, not the same variable. But: 'new Variable("_").termEquals(new Variable("_"))' is true, since they both have the same term representation

Overrides:

termEquals in class Term

Returns:

preCompile

public Term preCompile(Environment env)

Specified by:

preCompile in class Term

prepareForQuery

public Term prepareForQuery(Environment env)

Specified by:

prepareForQuery in class Term

prepareForFrame

public Term prepareForFrame(Environment env)

Specified by:

prepareForFrame in class Term

isAnonymous

public boolean isAnonymous()

Specified by:

isAnonymous in class AbstractVar

getName

public String getName()

Specified by:

getName in class AbstractVar

getVarCell

public VarCell getVarCell()

getVar

public AbstractVar getVar()

unify

public void unify(Term term)

Overrides:

unify in class Term