org.jpc.term

Class AbstractVar

java.lang.Object

org.jpc.term.Term

org.jpc.term.AbstractVar

Direct Known Subclasses:

BindableVar, CompiledVar, Var

public abstract class AbstractVar
extends Term

An abstract Prolog variable.

Author:

sergioc

Constructor Summary

Constructors

Constructor and Description
AbstractVar()

Method Summary

Modifier and Type	Method and Description
void	accept(TermVisitor termVisitor) Accepts a Jpc term visitor.
protected void	basicRead(TermContentHandler contentHandler, com.google.common.base.Function<Term,Term> termExpander)
boolean	equals(Object obj) A Variable is equal to another if their names are the same and they are not anonymous.
abstract String	getName()
static List<String>	getVariableNames(List<AbstractVar> vars)
boolean	hasFunctor(Functor functor) Whether this term has a given functor.
abstract boolean	isAnonymous()
boolean	isGround()
String	toEscapedString()
String	toString() Returns a Prolog source text representation of this Variable
String	toString(OperatorsContext operatorsContext)

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, preCompile, prepareForFrame, prepareForFrame, prepareForQuery, prepareForQuery, read, read, replaceVariables, resolveBindings, termEquals, termEquals, termExpansion, toEscapedString, toEscapedString, unify, unifyAndBind, varBindings

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractVar

public AbstractVar()

Method Detail

isAnonymous

public abstract boolean isAnonymous()

getName

public abstract String getName()

isGround

public boolean isGround()

Specified by:

isGround in class Term

Returns:

true if the term is ground (it does not have unbound variables). false otherwise.

getVariableNames

public static List<String> getVariableNames(List<AbstractVar> vars)

Returns:

the variables names present in the term.

hasFunctor

public boolean hasFunctor(Functor functor)

Description copied from class: Term

Whether this term has a given functor.

Specified by:

hasFunctor in class Term

Parameters:

functor - the functor of this term.

Returns:

true if the term has the given functor. False otherwise.

accept

public void accept(TermVisitor termVisitor)

Description copied from class: Term

Accepts a Jpc term visitor.

Specified by:

accept in class Term

Parameters:

termVisitor - the accepted visitor

basicRead

protected void basicRead(TermContentHandler contentHandler,
                         com.google.common.base.Function<Term,Term> termExpander)

Specified by:

basicRead in class Term

toString

public String toString(OperatorsContext operatorsContext)

Specified by:

toString in class Term

toString

public String toString()

Returns a Prolog source text representation of this Variable

Overrides:

toString in class Term

Returns:

a Prolog source text representation of this Variable

toEscapedString

public String toEscapedString()

Specified by:

toEscapedString in class Term

equals

public boolean equals(Object obj)

A Variable is equal to another if their names are the same and they are not anonymous.

Overrides:

equals in class Object

Parameters:

obj - The Object to compare.

Returns:

true if the Object is a Variable and the above condition apply.