org.jpc.term.compiler

Class CompiledVar

java.lang.Object

org.jpc.term.Term

org.jpc.term.AbstractVar

org.jpc.term.compiler.CompiledVar

public final class CompiledVar
extends AbstractVar

Field Summary

Fields

Modifier and Type	Field and Description
static int	ANONYMOUS_VAR_CODE
protected int	clauseId
protected int	varId

Constructor Summary

Constructors

Constructor and Description
CompiledVar(int clauseId, int varId)

Method Summary

Modifier and Type	Method and Description
static CompiledVar	anonymousVar(int clauseId) Implementation note: At the moment an anonymous variable keeps the clause id of the clause defining it for traceability reasons (e.g., to facilitate debugging).
String	getName()
int	hashCode()
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, notify, notifyAll, wait, wait, wait

Field Detail

ANONYMOUS_VAR_CODE

public static final int ANONYMOUS_VAR_CODE

See Also:

Constant Field Values

clauseId

protected final int clauseId

varId

protected final int varId

Constructor Detail

CompiledVar

public CompiledVar(int clauseId,
                   int varId)

Method Detail

anonymousVar

public static CompiledVar anonymousVar(int clauseId)

Implementation note: At the moment an anonymous variable keeps the clause id of the clause defining it for traceability reasons (e.g., to facilitate debugging).

Parameters:

clauseId - the clause id where this anonymous variable was declared.

Returns:

a compiled anonymous variable.

isAnonymous

public boolean isAnonymous()

Specified by:

isAnonymous in class AbstractVar

getName

public String getName()

Specified by:

getName in class AbstractVar

hashCode

public int hashCode()

Overrides:

hashCode in class Object

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:

unify

public void unify(Term term)

Overrides:

unify in class Term

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